Skip to content

Actions: cksystemsteaching/selfie

Actions

Autograde Selfie Assignment

Actions

Loading...

Show workflow options

Create status badge

grader.yml
348 workflow runs
348 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #387 from thomaswulz/halt-on-exit Autograde Selfie Assignment #1255: Commit 05316e2 pushed by ckirsch
June 4, 2024 08:40 18s rotor
rotor
June 4, 2024 08:40 18s
Generalizing printing pseudo instructions to include original non-pse… Autograde Selfie Assignment #1254: Commit 5e76e82 pushed by ckirsch
June 1, 2024 09:36 17s rotor
rotor
June 1, 2024 09:36 17s
Polishing pseudoinstruction printing Autograde Selfie Assignment #1253: Commit 3929de4 pushed by ckirsch
June 1, 2024 08:50 18s rotor
rotor
June 1, 2024 08:50 18s
Merge pull request #380 from Jean-M22/objdump-analyzer Autograde Selfie Assignment #1252: Commit d9411b6 pushed by ckirsch
June 1, 2024 08:18 16s rotor
rotor
June 1, 2024 08:18 16s
Proper bad line generation for unrolling Autograde Selfie Assignment #1251: Commit 2cc2400 pushed by ckirsch
May 30, 2024 08:11 15s rotor
rotor
May 30, 2024 08:11 15s
Revert "Going back to individually negated bad lines for unrolling to… Autograde Selfie Assignment #1250: Commit 3df1b53 pushed by ckirsch
May 29, 2024 18:54 18s rotor
rotor
May 29, 2024 18:54 18s
Going back to individually negated bad lines for unrolling to smt Autograde Selfie Assignment #1249: Commit c226a3c pushed by ckirsch
May 29, 2024 17:50 18s rotor
rotor
May 29, 2024 17:50 18s
Option for printing non-sequential BTOR2 Autograde Selfie Assignment #1248: Commit aa89058 pushed by ckirsch
May 29, 2024 17:03 21s rotor
rotor
May 29, 2024 17:03 21s
Fixing incomplete segment zeroing Autograde Selfie Assignment #1247: Commit 83ca383 pushed by ckirsch
May 29, 2024 15:41 17s rotor
rotor
May 29, 2024 15:41 17s
Experimenting with negated AND chain of bad properties for bitwuzla Autograde Selfie Assignment #1246: Commit 1bf2bb2 pushed by ckirsch
May 29, 2024 14:19 16s rotor
rotor
May 29, 2024 14:19 16s
Negating bad lines for bitwuzla Autograde Selfie Assignment #1245: Commit 534175b pushed by ckirsch
May 29, 2024 08:08 27s rotor
rotor
May 29, 2024 08:08 27s
Introducing -nocomments option to minimize model size Autograde Selfie Assignment #1244: Commit a4e3cf4 pushed by ckirsch
May 28, 2024 11:23 17s rotor
rotor
May 28, 2024 11:23 17s
Bringing step and instruction count in line Autograde Selfie Assignment #1243: Commit d48ac6f pushed by ckirsch
May 28, 2024 08:39 18s rotor
rotor
May 28, 2024 08:39 18s
Properly zeroed segments for unrolled code synthesis Autograde Selfie Assignment #1242: Commit 5f86263 pushed by ckirsch
May 28, 2024 07:57 18s rotor
rotor
May 28, 2024 07:57 18s
Initializing register file for unrolling Autograde Selfie Assignment #1241: Commit 3ba7084 pushed by ckirsch
May 27, 2024 18:41 16s rotor
rotor
May 27, 2024 18:41 16s
Addressing bitwuzla parsing issues, bad lines are negated in unroll, … Autograde Selfie Assignment #1240: Commit be4edfe pushed by ckirsch
May 26, 2024 08:19 16s rotor
rotor
May 26, 2024 08:19 16s
Polishing unroll and constant propagation a bit Autograde Selfie Assignment #1239: Commit 6ec9f7f pushed by ckirsch
May 25, 2024 17:02 15s rotor
rotor
May 25, 2024 17:02 15s
Proper unroll termination, still needs polishing Autograde Selfie Assignment #1238: Commit 40b138c pushed by ckirsch
May 25, 2024 15:28 15s rotor
rotor
May 25, 2024 15:28 15s
Preparing proper unroll termination Autograde Selfie Assignment #1237: Commit 04583ff pushed by ckirsch
May 25, 2024 14:45 16s rotor
rotor
May 25, 2024 14:45 16s
Removing uninitialized symbolic state specialization Autograde Selfie Assignment #1236: Commit 9925051 pushed by ckirsch
May 25, 2024 13:49 16s rotor
rotor
May 25, 2024 13:49 16s
Simpifying propagated constant printing Autograde Selfie Assignment #1235: Commit 013eb71 pushed by ckirsch
May 25, 2024 12:19 17s rotor
rotor
May 25, 2024 12:19 17s
Fixing compressed lui immediate assembly Autograde Selfie Assignment #1234: Commit 4796ded pushed by ckirsch
May 24, 2024 12:47 19s rotor
rotor
May 24, 2024 12:47 19s
Fixing symbolic signed division by zero issue Autograde Selfie Assignment #1233: Commit 84cae66 pushed by ckirsch
May 24, 2024 11:32 18s rotor
rotor
May 24, 2024 11:32 18s
Fixing disassembler bugs reported by Jean-Robert Autograde Selfie Assignment #1232: Commit 2c0de87 pushed by ckirsch
May 24, 2024 08:49 27s rotor
rotor
May 24, 2024 08:49 27s
Fixing overflow issue in evaluation of slice Autograde Selfie Assignment #1231: Commit 6e0a318 pushed by ckirsch
May 23, 2024 19:30 34s rotor
rotor
May 23, 2024 19:30 34s