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

More sid and double machine word checks Autograde Selfie Assignment #1171: Commit f2c9c6e pushed by ckirsch
March 1, 2024 17:20 42s rotor
rotor
March 1, 2024 17:20 42s
Autograde Selfie Assignment Autograde Selfie Assignment #1170: by ckirsch
March 1, 2024 15:35 14m 29s rotor
rotor
March 1, 2024 15:35 14m 29s
Fixing bug in data flow, discovered by eval_read Autograde Selfie Assignment #1169: Commit e8b5f9d pushed by ckirsch
March 1, 2024 13:06 17s rotor
rotor
March 1, 2024 13:06 17s
Support of slt and sra semantics, needs more testing Autograde Selfie Assignment #1168: Commit 2415c1f pushed by ckirsch
February 29, 2024 19:21 16s rotor
rotor
February 29, 2024 19:21 16s
First attempt at executing RISC-U models Autograde Selfie Assignment #1167: Commit f901b59 pushed by ckirsch
February 29, 2024 14:53 18s rotor
rotor
February 29, 2024 14:53 18s
Separating eval and apply of next operator Autograde Selfie Assignment #1166: Commit 4e452c6 pushed by ckirsch
February 28, 2024 18:40 21s rotor
rotor
February 28, 2024 18:40 21s
Support of bad and constraint semantics Autograde Selfie Assignment #1165: Commit ebc2a9c pushed by ckirsch
February 28, 2024 10:02 19s rotor
rotor
February 28, 2024 10:02 19s
Full iterative initialization Autograde Selfie Assignment #1164: Commit 3901ffb pushed by ckirsch
February 26, 2024 18:25 20s rotor
rotor
February 26, 2024 18:25 20s
Support of ult and ugt semantics Autograde Selfie Assignment #1163: Commit 7228092 pushed by ckirsch
February 23, 2024 13:32 17s rotor
rotor
February 23, 2024 13:32 17s
Support of next semantics, polishing init further Autograde Selfie Assignment #1162: Commit 0847022 pushed by ckirsch
February 23, 2024 11:31 19s rotor
rotor
February 23, 2024 11:31 19s
More feedback in read, write, and init handling Autograde Selfie Assignment #1161: Commit c485ffe pushed by ckirsch
February 23, 2024 09:59 27s rotor
rotor
February 23, 2024 09:59 27s
Support of neq and or semantics Autograde Selfie Assignment #1160: Commit b3211db pushed by ckirsch
February 23, 2024 07:47 16s rotor
rotor
February 23, 2024 07:47 16s
Support of read and sll semantics Autograde Selfie Assignment #1159: Commit 52ad2d1 pushed by ckirsch
February 22, 2024 10:58 19s rotor
rotor
February 22, 2024 10:58 19s
Support of and and srl Autograde Selfie Assignment #1158: Commit b1b9781 pushed by ckirsch
February 21, 2024 20:45 25s rotor
rotor
February 21, 2024 20:45 25s
Cleaning up write code to prepare for ite support Autograde Selfie Assignment #1157: Commit 966cc3a pushed by ckirsch
February 21, 2024 14:49 24s rotor
rotor
February 21, 2024 14:49 24s
Support of large-array semantics through segmentation Autograde Selfie Assignment #1156: Commit 7110550 pushed by ckirsch
February 21, 2024 13:52 19s rotor
rotor
February 21, 2024 13:52 19s
Merge branch 'stable' Autograde Selfie Assignment #1155: Commit 6d1e234 pushed by ckirsch
February 21, 2024 07:09 26s main
main
February 21, 2024 07:09 26s
Checking for uninitialized state Autograde Selfie Assignment #1154: Commit fe2e71f pushed by ckirsch
February 20, 2024 10:28 17s rotor
rotor
February 20, 2024 10:28 17s
Cleaning and fixing bitvector size and sort checks Autograde Selfie Assignment #1153: Commit 3d588a2 pushed by ckirsch
February 20, 2024 08:19 21s rotor
rotor
February 20, 2024 08:19 21s
Tolerating double machine word size Autograde Selfie Assignment #1152: Commit 1a910c8 pushed by ckirsch
February 19, 2024 17:53 18s rotor
rotor
February 19, 2024 17:53 18s
Caching evaluation, support of evaluating code segment initialization Autograde Selfie Assignment #1151: Commit d4b03aa pushed by ckirsch
February 19, 2024 17:47 20s rotor
rotor
February 19, 2024 17:47 20s
Support of dec, tolerating 128-bit bitvectors for now Autograde Selfie Assignment #1150: Commit d1a6380 pushed by ckirsch
February 19, 2024 15:21 24s rotor
rotor
February 19, 2024 15:21 24s
Support of sub and slice, introducing semantics in model generation Autograde Selfie Assignment #1149: Commit 51755c1 pushed by ckirsch
February 19, 2024 11:11 22s rotor
rotor
February 19, 2024 11:11 22s
First attempt at BTOR2 semantics for model validation and evaluation,… Autograde Selfie Assignment #1148: Commit e8ebceb pushed by ckirsch
February 19, 2024 08:24 21s rotor
rotor
February 19, 2024 08:24 21s
Keeping zeroed for-initialization arrays zero Autograde Selfie Assignment #1147: Commit dc8c21c pushed by ckirsch
February 19, 2024 08:00 18s rotor
rotor
February 19, 2024 08:00 18s