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

Fixing bug in printing only sat logic Autograde Selfie Assignment #1321: Commit 349df52 pushed by ckirsch
November 1, 2024 08:18 17s rotor
rotor
November 1, 2024 08:18 17s
Optionally printing only sat properties Autograde Selfie Assignment #1320: Commit c2287c8 pushed by ckirsch
October 31, 2024 20:24 19s rotor
rotor
October 31, 2024 20:24 19s
Fixing eval and print invariants in rotor Autograde Selfie Assignment #1319: Commit f7f5afe pushed by ckirsch
October 31, 2024 17:01 17s rotor
rotor
October 31, 2024 17:01 17s
Mapped write cache Autograde Selfie Assignment #1318: Commit 7133cbb pushed by ckirsch
October 16, 2024 10:58 17s rotor
rotor
October 16, 2024 10:58 17s
Cleaning up global state Autograde Selfie Assignment #1317: Commit 793ca94 pushed by ckirsch
October 13, 2024 14:41 17s rotor
rotor
October 13, 2024 14:41 17s
Exploiting reads from unwritten array elements, all reads are from st… Autograde Selfie Assignment #1316: Commit 12bf34a pushed by ckirsch
October 11, 2024 09:34 20s rotor
rotor
October 11, 2024 09:34 20s
Merge branch 'rotor' Autograde Selfie Assignment #1315: Commit ccfe302 pushed by ckirsch
September 30, 2024 07:20 16s main
main
September 30, 2024 07:20 16s
Exact matching BTOR2 input and output in rotor and bitme Autograde Selfie Assignment #1314: Commit eacddb3 pushed by ckirsch
September 28, 2024 16:23 16s rotor
rotor
September 28, 2024 16:23 16s
Prototyping non-array register file next Autograde Selfie Assignment #1313: Commit 4054060 pushed by ckirsch
September 25, 2024 10:59 17s rotor
rotor
September 25, 2024 10:59 17s
Prototyping non-array register file, not done Autograde Selfie Assignment #1312: Commit 9e1aaeb pushed by ckirsch
September 24, 2024 12:32 16s rotor
rotor
September 24, 2024 12:32 16s
Checking individual control branches in bitme Autograde Selfie Assignment #1311: Commit f920a04 pushed by ckirsch
September 23, 2024 18:33 15s rotor
rotor
September 23, 2024 18:33 15s
Compressed instruction initialization Autograde Selfie Assignment #1310: Commit 9a543eb pushed by ckirsch
September 15, 2024 17:59 15s rotor
rotor
September 15, 2024 17:59 15s
Uncompressed instruction initialization Autograde Selfie Assignment #1309: Commit 9daaa17 pushed by ckirsch
September 15, 2024 17:38 15s rotor
rotor
September 15, 2024 17:38 15s
Memory sorts Autograde Selfie Assignment #1308: Commit d8f1093 pushed by ckirsch
September 15, 2024 14:42 15s rotor
rotor
September 15, 2024 14:42 15s
Machine and kernel interface initialization done Autograde Selfie Assignment #1307: Commit 6e1ecff pushed by ckirsch
September 15, 2024 09:15 15s rotor
rotor
September 15, 2024 09:15 15s
Preparing bitme for more rotor code Autograde Selfie Assignment #1306: Commit f85841e pushed by ckirsch
September 14, 2024 20:50 17s rotor
rotor
September 14, 2024 20:50 17s
Merge pull request #396 from nfejzic/add-thesis-nfejzic Autograde Selfie Assignment #1305: Commit 57ec1e6 pushed by ckirsch
September 14, 2024 08:39 44s bachelor_thesis_fejzic
bachelor_thesis_fejzic
September 14, 2024 08:39 44s
Bitme header comment Autograde Selfie Assignment #1304: Commit bce9a37 pushed by ckirsch
September 12, 2024 10:24 17s rotor
rotor
September 12, 2024 10:24 17s
Introducing -o custom model name option in rotor Autograde Selfie Assignment #1303: Commit 4f1f3ab pushed by ckirsch
September 9, 2024 15:14 28s rotor
rotor
September 9, 2024 15:14 28s
Fixing uninitialized use warning Autograde Selfie Assignment #1302: Commit 966dd9e pushed by ckirsch
August 31, 2024 07:13 16s main
main
August 31, 2024 07:13 16s
Fixing uninitialized use warning Autograde Selfie Assignment #1301: Commit 966dd9e pushed by ckirsch
August 30, 2024 08:14 19s rotor
rotor
August 30, 2024 08:14 19s
Merge branch 'main' into rotor Autograde Selfie Assignment #1300: Commit 6b438f7 pushed by ckirsch
August 29, 2024 15:48 35s main
main
August 29, 2024 15:48 35s
Bringing back incremental SMT-LIB option Autograde Selfie Assignment #1299: Commit f3fada8 pushed by ckirsch
August 27, 2024 15:58 16s rotor
rotor
August 27, 2024 15:58 16s
Less verbose solver output on SMT-LIB files Autograde Selfie Assignment #1298: Commit e97e97f pushed by ckirsch
August 27, 2024 14:27 20s rotor
rotor
August 27, 2024 14:27 20s
Z3 does not support bvinc and bvdec Autograde Selfie Assignment #1297: Commit f63cdcc pushed by ckirsch
August 27, 2024 10:40 16s rotor
rotor
August 27, 2024 10:40 16s