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 per-core nids Autograde Selfie Assignment #1221: Commit b5eaf5c pushed by ckirsch
May 5, 2024 12:33 15s rotor
rotor
May 5, 2024 12:33 15s
Polishing code changes, printing per-core data segment properly Autograde Selfie Assignment #1220: Commit 50e7a70 pushed by ckirsch
May 5, 2024 10:11 16s rotor
rotor
May 5, 2024 10:11 16s
Printing per-core code segment properly Autograde Selfie Assignment #1219: Commit 6ece849 pushed by ckirsch
May 5, 2024 08:15 17s rotor
rotor
May 5, 2024 08:15 17s
Fixing initial core state printing Autograde Selfie Assignment #1218: Commit 1117da6 pushed by ckirsch
May 5, 2024 07:18 17s rotor
rotor
May 5, 2024 07:18 17s
Fixing per-core nids, not done Autograde Selfie Assignment #1217: Commit de777c6 pushed by ckirsch
May 4, 2024 17:30 16s rotor
rotor
May 4, 2024 17:30 16s
Creating extra slot in lines for symbolic state Autograde Selfie Assignment #1216: Commit c481baf pushed by ckirsch
May 4, 2024 14:15 16s rotor
rotor
May 4, 2024 14:15 16s
Printing first BTOR model, way not done Autograde Selfie Assignment #1215: Commit 0df96c3 pushed by ckirsch
May 4, 2024 13:47 19s rotor
rotor
May 4, 2024 13:47 19s
Separating model generator from model printing, preparing for BTOR pr… Autograde Selfie Assignment #1214: Commit 2083665 pushed by ckirsch
May 3, 2024 09:09 18s rotor
rotor
May 3, 2024 09:09 18s
Merge branch 'main' into rotor Autograde Selfie Assignment #1213: Commit cff4117 pushed by ckirsch
May 3, 2024 05:45 15s rotor
rotor
May 3, 2024 05:45 15s
Merge pull request #379 from EETagent/update_github_actions_python Autograde Selfie Assignment #1212: Commit cfb3bf8 pushed by ckirsch
May 3, 2024 05:43 16s main
main
May 3, 2024 05:43 16s
Checking for good exit code Autograde Selfie Assignment #1211: Commit 35e9a50 pushed by ckirsch
May 2, 2024 13:36 20s rotor
rotor
May 2, 2024 13:36 20s
memory to segment nid Autograde Selfie Assignment #1210: Commit c92336b pushed by ckirsch
April 20, 2024 09:52 25s rotor
rotor
April 20, 2024 09:52 25s
Decreasing code duplication in segment handling, not done Autograde Selfie Assignment #1209: Commit b9e5929 pushed by ckirsch
April 19, 2024 17:08 24s rotor
rotor
April 19, 2024 17:08 24s
bytes to read console argument, some cleanup Autograde Selfie Assignment #1208: Commit 8ef33ad pushed by ckirsch
April 17, 2024 13:38 25s rotor
rotor
April 17, 2024 13:38 25s
Fixing uninitialized status of code segment for synthesis Autograde Selfie Assignment #1207: Commit 64fc3d8 pushed by ckirsch
April 17, 2024 08:58 18s rotor
rotor
April 17, 2024 08:58 18s
Using uninitialized array as input buffer for inputting the same data… Autograde Selfie Assignment #1206: Commit 4e13169 pushed by ckirsch
April 17, 2024 07:07 27s rotor
rotor
April 17, 2024 07:07 27s
Missing next zeroed heap and stack segments Autograde Selfie Assignment #1205: Commit fc78298 pushed by ckirsch
April 16, 2024 19:36 30s rotor
rotor
April 16, 2024 19:36 30s
Scaling heap allowance back up, fixing linear address issue in loader Autograde Selfie Assignment #1204: Commit d79e575 pushed by ckirsch
April 16, 2024 12:36 17s rotor
rotor
April 16, 2024 12:36 17s
Scaling heap allowance back Autograde Selfie Assignment #1203: Commit d86f102 pushed by ckirsch
April 16, 2024 12:07 16s rotor
rotor
April 16, 2024 12:07 16s
Fixing unshared program break Autograde Selfie Assignment #1202: Commit b6c7995 pushed by ckirsch
April 16, 2024 08:40 18s rotor
rotor
April 16, 2024 08:40 18s
First attempt at full memory segmentation Autograde Selfie Assignment #1201: Commit 3489af7 pushed by ckirsch
April 15, 2024 18:51 21s rotor
rotor
April 15, 2024 18:51 21s
Explicit segmentation for all storing Autograde Selfie Assignment #1200: Commit 1ae8bbc pushed by ckirsch
April 13, 2024 17:36 15s rotor
rotor
April 13, 2024 17:36 15s
Explicit segmentation for loading and storing single words Autograde Selfie Assignment #1199: Commit 39ef421 pushed by ckirsch
April 13, 2024 15:39 24s rotor
rotor
April 13, 2024 15:39 24s
Preparing explicit memory segmentation Autograde Selfie Assignment #1198: Commit ba92aef pushed by ckirsch
April 13, 2024 14:33 25s rotor
rotor
April 13, 2024 14:33 25s
Introducing linear addresses in code segments Autograde Selfie Assignment #1197: Commit 86b3d11 pushed by ckirsch
April 13, 2024 10:03 17s rotor
rotor
April 13, 2024 10:03 17s