Skip to content

Actions: cksystemsteaching/selfie

Actions

Make Everything Selfie

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
selfie.yml
51 workflow run results
51 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support of beq, untested, improving decoder Make Everything Selfie #1243: Commit 6f83d8b pushed by ckirsch
December 13, 2023 20:19 2h 22m 3s rotor
rotor
December 13, 2023 20:19 2h 22m 3s
Support of sb, not tested yet Make Everything Selfie #1242: Commit 4062357 pushed by ckirsch
December 13, 2023 16:18 2h 23m 55s rotor
rotor
December 13, 2023 16:18 2h 23m 55s
State properties done for now Make Everything Selfie #1241: Commit fd8f59a pushed by ckirsch
December 13, 2023 15:38 2h 21m 14s rotor
rotor
December 13, 2023 15:38 2h 21m 14s
First attempt at state property generalization Make Everything Selfie #1240: Commit 62c873a pushed by ckirsch
December 13, 2023 15:20 2h 26m 40s rotor
rotor
December 13, 2023 15:20 2h 26m 40s
Polishing read model just a bit Make Everything Selfie #1239: Commit 946e410 pushed by ckirsch
December 13, 2023 11:38 2h 22m 43s rotor
rotor
December 13, 2023 11:38 2h 22m 43s
Revert "Legacy code synthesis, just for archiving" Make Everything Selfie #1238: Commit 1d74d38 pushed by ckirsch
December 13, 2023 08:24 2h 27m 30s rotor
rotor
December 13, 2023 08:24 2h 27m 30s
Tiny typo Make Everything Selfie #1237: Commit c014ede pushed by ckirsch
December 12, 2023 14:23 2h 22m 25s rotor
rotor
December 12, 2023 14:23 2h 22m 25s
Specifying SB encoding Make Everything Selfie #1236: Commit 0f0fd94 pushed by ckirsch
December 12, 2023 14:21 2h 21m 47s rotor
rotor
December 12, 2023 14:21 2h 21m 47s
Preparing non-kernel memory data flow Make Everything Selfie #1235: Commit f9c4d77 pushed by ckirsch
December 12, 2023 14:07 2h 24m 20s rotor
rotor
December 12, 2023 14:07 2h 24m 20s
Kernel flows before machine flows Make Everything Selfie #1234: Commit 01db5d6 pushed by ckirsch
December 12, 2023 13:49 2h 22m 38s rotor
rotor
December 12, 2023 13:49 2h 22m 38s
Support of add instruction, proper instruction constraining Make Everything Selfie #1233: Commit 39c7841 pushed by ckirsch
December 12, 2023 11:56 2h 22m 3s rotor
rotor
December 12, 2023 11:56 2h 22m 3s
Restructuring fetch and decode, enabling constraints over code Make Everything Selfie #1232: Commit 1e4267a pushed by ckirsch
December 12, 2023 09:29 2h 23m 12s rotor
rotor
December 12, 2023 09:29 2h 23m 12s
Segmentation check for pc before updating pc Make Everything Selfie #1231: Commit 30aeb45 pushed by ckirsch
December 11, 2023 14:10 2h 24m 34s rotor
rotor
December 11, 2023 14:10 2h 24m 34s
Segmentation check for read system call Make Everything Selfie #1230: Commit d0250f6 pushed by ckirsch
December 11, 2023 13:28 2h 25m 4s rotor
rotor
December 11, 2023 13:28 2h 25m 4s
Improving and enhancing integer literal scanning in selfie Make Everything Selfie #1229: Commit 92c0cb3 pushed by ckirsch
December 11, 2023 12:37 2h 27m 21s rotor
rotor
December 11, 2023 12:37 2h 27m 21s
read syscall done, better printing, byte memory Make Everything Selfie #1228: Commit 65896a9 pushed by ckirsch
December 10, 2023 21:00 2h 27m 24s rotor
rotor
December 10, 2023 21:00 2h 27m 24s
Consolidating BTOR2 procedures Make Everything Selfie #1227: Commit ce5a2c5 pushed by ckirsch
December 9, 2023 15:04 2h 26m 10s rotor
rotor
December 9, 2023 15:04 2h 26m 10s
Preparing read memory data flow Make Everything Selfie #1226: Commit 009d127 pushed by ckirsch
December 9, 2023 10:49 2h 22m 22s rotor
rotor
December 9, 2023 10:49 2h 22m 22s
Restructuring to reflect proper flow Make Everything Selfie #1225: Commit 39a4aa7 pushed by ckirsch
December 9, 2023 09:26 2h 17m 18s rotor
rotor
December 9, 2023 09:26 2h 17m 18s
Register data flow of read system call Make Everything Selfie #1224: Commit 171534f pushed by ckirsch
December 8, 2023 20:39 2h 20m 58s rotor
rotor
December 8, 2023 20:39 2h 20m 58s
Make Everything Selfie Make Everything Selfie #1223: Scheduled
December 8, 2023 00:50 2h 23m 59s main
main
December 8, 2023 00:50 2h 23m 59s
Better debug output for load and store in unmapped memory Make Everything Selfie #1222: Commit f22a280 pushed by ckirsch
December 7, 2023 18:33 2h 24m 41s main
main
December 7, 2023 18:33 2h 24m 41s
Using and instead of nested ite Make Everything Selfie #1221: Commit c231be6 pushed by ckirsch
December 7, 2023 15:01 2h 24m 8s rotor
rotor
December 7, 2023 15:01 2h 24m 8s
Read capacity support Make Everything Selfie #1220: Commit c440018 pushed by ckirsch
December 7, 2023 14:50 2h 22m 9s rotor
rotor
December 7, 2023 14:50 2h 22m 9s
Synthesizing 3-instruction programs Make Everything Selfie #1219: Commit 8960a86 pushed by ckirsch
December 6, 2023 19:08 2h 22m 38s rotor
rotor
December 6, 2023 19:08 2h 22m 38s