Skip to content

Actions: cksystemsteaching/selfie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
954 workflow runs
954 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make Everything Selfie Make Everything Selfie #1724: Scheduled
November 15, 2024 01:06 2h 44m 39s main
main
November 15, 2024 01:06 2h 44m 39s
Make Everything Selfie Make Everything Selfie #1723: Scheduled
November 8, 2024 01:02 2h 46m 8s main
main
November 8, 2024 01:02 2h 46m 8s
First attempt at constant propagation for ext and slice Make Everything Selfie #1722: Commit e75400e pushed by ckirsch
November 3, 2024 17:17 2h 45m 13s rotor
rotor
November 3, 2024 17:17 2h 45m 13s
Fixing bug in mapped arrays to enable support of combinational problems Make Everything Selfie #1721: Commit cdc537a pushed by ckirsch
November 1, 2024 11:11 2h 47m 24s rotor
rotor
November 1, 2024 11:11 2h 47m 24s
Fixing bug in printing only sat logic Make Everything Selfie #1720: Commit 349df52 pushed by ckirsch
November 1, 2024 08:18 2h 46m 55s rotor
rotor
November 1, 2024 08:18 2h 46m 55s
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
Make Everything Selfie Make Everything Selfie #1719: Scheduled
November 1, 2024 01:08 2h 46m 13s main
main
November 1, 2024 01:08 2h 46m 13s
Optionally printing only sat properties Make Everything Selfie #1718: Commit c2287c8 pushed by ckirsch
October 31, 2024 20:24 2h 44m 4s rotor
rotor
October 31, 2024 20:24 2h 44m 4s
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 Make Everything Selfie #1717: Commit f7f5afe pushed by ckirsch
October 31, 2024 17:01 2h 47m 49s rotor
rotor
October 31, 2024 17:01 2h 47m 49s
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
More concise Z3 value printing Make Everything Selfie #1716: Commit d0bbb15 pushed by ckirsch
October 31, 2024 14:39 3h 31m 46s rotor
rotor
October 31, 2024 14:39 3h 31m 46s
Preparing constant propagation Make Everything Selfie #1715: Commit 044eaf9 pushed by ckirsch
October 29, 2024 12:52 2h 48m 12s rotor
rotor
October 29, 2024 12:52 2h 48m 12s
Make Everything Selfie Make Everything Selfie #1714: Scheduled
October 25, 2024 01:03 2h 46m 43s main
main
October 25, 2024 01:03 2h 46m 43s
Make Everything Selfie Make Everything Selfie #1713: Scheduled
October 18, 2024 01:03 2h 45m 30s main
main
October 18, 2024 01:03 2h 45m 30s
Model profile Make Everything Selfie #1712: Commit e4aceb1 pushed by ckirsch
October 17, 2024 12:32 2h 45m 53s rotor
rotor
October 17, 2024 12:32 2h 45m 53s
Improving check termination performance Make Everything Selfie #1711: Commit 23e86f4 pushed by ckirsch
October 16, 2024 17:54 2h 47m 44s rotor
rotor
October 16, 2024 17:54 2h 47m 44s
Mapped write cache Make Everything Selfie #1710: Commit 7133cbb pushed by ckirsch
October 16, 2024 10:58 2h 52m 0s rotor
rotor
October 16, 2024 10:58 2h 52m 0s
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
Cleaning up global state Make Everything Selfie #1709: Commit 793ca94 pushed by ckirsch
October 13, 2024 14:41 2h 49m 48s rotor
rotor
October 13, 2024 14:41 2h 49m 48s
Polishing array read and write code Make Everything Selfie #1708: Commit 36e0694 pushed by ckirsch
October 13, 2024 08:12 2h 46m 9s rotor
rotor
October 13, 2024 08:12 2h 46m 9s
Binary search mapped array access Make Everything Selfie #1707: Commit fac459c pushed by ckirsch
October 12, 2024 20:32 2h 45m 28s rotor
rotor
October 12, 2024 20:32 2h 45m 28s
First complete attempt at array mapping Make Everything Selfie #1706: Commit befb0ba pushed by ckirsch
October 12, 2024 17:37 2h 46m 17s rotor
rotor
October 12, 2024 17:37 2h 46m 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