Skip to content

Actions: cksystemsteaching/selfie

Actions

Autograde Selfie Assignment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
grader.yml
328 workflow runs
328 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Does constant propagation alone fail on Linux and Windows? Autograde Selfie Assignment #1230: Commit e9cb892 pushed by ckirsch
May 23, 2024 16:26 16s rotor
rotor
May 23, 2024 16:26 16s
Enabling constant propagation as default Autograde Selfie Assignment #1229: Commit 72e2087 pushed by ckirsch
May 23, 2024 15:38 18s rotor
rotor
May 23, 2024 15:38 18s
Polishing constant propagation, does not yet work for synthesis Autograde Selfie Assignment #1228: Commit 89ae80f pushed by ckirsch
May 23, 2024 13:58 18s rotor
rotor
May 23, 2024 13:58 18s
Preparing constant propagation, not enabled yet Autograde Selfie Assignment #1227: Commit 7e643d2 pushed by ckirsch
May 23, 2024 08:43 19s rotor
rotor
May 23, 2024 08:43 19s
Prototyping propagating symbolic state Autograde Selfie Assignment #1226: Commit 05af256 pushed by ckirsch
May 7, 2024 12:55 18s rotor
rotor
May 7, 2024 12:55 18s
Printing propagated constants during initialization Autograde Selfie Assignment #1225: Commit 3e38f58 pushed by ckirsch
May 6, 2024 17:27 17s rotor
rotor
May 6, 2024 17:27 17s