Skip to content

Actions: cksystemsteaching/selfie

Actions

Autograde Selfie Assignment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
grader.yml
365 workflow runs
365 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Consolidating segment initialization code Autograde Selfie Assignment #1271: Commit 9eaa0ca pushed by ckirsch
July 18, 2024 13:01 16s rotor
rotor
July 18, 2024 13:01 16s
Printing SMT-LIB zeroed arrays Autograde Selfie Assignment #1270: Commit f04b4b4 pushed by ckirsch
July 15, 2024 16:16 20s rotor
rotor
July 15, 2024 16:16 20s
Fixing shift overflow bug Autograde Selfie Assignment #1269: Commit bd5b123 pushed by ckirsch
July 2, 2024 16:57 15s rotor
rotor
July 2, 2024 16:57 15s
Report two to the power overflow Autograde Selfie Assignment #1268: Commit 6af1b7f pushed by ckirsch
July 2, 2024 16:55 18s rotor
rotor
July 2, 2024 16:55 18s
Printing original consth in unrolled models Autograde Selfie Assignment #1267: Commit 6854175 pushed by ckirsch
June 30, 2024 14:19 15s rotor
rotor
June 30, 2024 14:19 15s
Unrolling parameters in model file names Autograde Selfie Assignment #1266: Commit 123ff41 pushed by ckirsch
June 29, 2024 13:09 14s rotor
rotor
June 29, 2024 13:09 14s
Improving emulator output for determining unrolling parameters Autograde Selfie Assignment #1265: Commit e1c5b60 pushed by ckirsch
June 29, 2024 09:12 16s rotor
rotor
June 29, 2024 09:12 16s
Experimental suggestion for unrolling rotor invocation Autograde Selfie Assignment #1264: Commit d37b967 pushed by ckirsch
June 28, 2024 18:26 19s rotor
rotor
June 28, 2024 18:26 19s
No SMT-LIB generation without unrolling Autograde Selfie Assignment #1263: Commit c842dee pushed by ckirsch
June 27, 2024 16:43 16s rotor
rotor
June 27, 2024 16:43 16s
Acknowledging SMT-LIB support in header comment Autograde Selfie Assignment #1262: Commit 11b68c8 pushed by ckirsch
June 27, 2024 16:25 13s rotor
rotor
June 27, 2024 16:25 13s
Option for turning off printing of propagated constants Autograde Selfie Assignment #1261: Commit d3abb56 pushed by ckirsch
June 27, 2024 16:22 18s rotor
rotor
June 27, 2024 16:22 18s
Fixing smt id prefix, bitwuzla works now Autograde Selfie Assignment #1260: Commit 9157f01 pushed by ckirsch
June 27, 2024 14:25 20s rotor
rotor
June 27, 2024 14:25 20s
Merge remote-tracking branch 'origin/rotor' into rotor Autograde Selfie Assignment #1259: Commit acda772 pushed by ckirsch
June 26, 2024 19:03 18s rotor
rotor
June 26, 2024 19:03 18s
Fixing hex literal issue with bitwuzla Autograde Selfie Assignment #1258: Commit b158e2a pushed by ckirsch
June 25, 2024 12:36 17s rotor
rotor
June 25, 2024 12:36 17s
Merge branch 'main' into rotor Autograde Selfie Assignment #1257: Commit 3615e0c pushed by ckirsch
June 22, 2024 13:31 16s rotor
rotor
June 22, 2024 13:31 16s
Printing constrained bad properties for smt Autograde Selfie Assignment #1256: Commit 2b83105 pushed by ckirsch
June 20, 2024 15:37 17s rotor
rotor
June 20, 2024 15:37 17s
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