Skip to content

Actions: cksystemsteaching/selfie

Actions

Make Everything Selfie

Actions

Loading...

Show workflow options

Create status badge

selfie.yml
458 workflow runs
458 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #387 from thomaswulz/halt-on-exit Make Everything Selfie #1557: Commit 05316e2 pushed by ckirsch
June 4, 2024 08:40 2h 16m 14s rotor
rotor
June 4, 2024 08:40 2h 16m 14s
Only halt model evaluation on exit syscall Make Everything Selfie #1556: Pull request #387 synchronize by thomaswulz
June 2, 2024 22:49 2h 16m 7s thomaswulz:halt-on-exit
thomaswulz:halt-on-exit
June 2, 2024 22:49 2h 16m 7s
Generalizing printing pseudo instructions to include original non-pse… Make Everything Selfie #1555: Commit 5e76e82 pushed by ckirsch
June 1, 2024 09:36 2h 15m 13s rotor
rotor
June 1, 2024 09:36 2h 15m 13s
Polishing pseudoinstruction printing Make Everything Selfie #1554: Commit 3929de4 pushed by ckirsch
June 1, 2024 08:50 2h 15m 21s rotor
rotor
June 1, 2024 08:50 2h 15m 21s
Merge pull request #380 from Jean-M22/objdump-analyzer Make Everything Selfie #1553: Commit d9411b6 pushed by ckirsch
June 1, 2024 08:18 2h 13m 31s rotor
rotor
June 1, 2024 08:18 2h 13m 31s
Merge branch 'main' into rotor Make Everything Selfie #1552: Commit c4c175e pushed by ckirsch
May 31, 2024 08:23 2h 15m 25s rotor
rotor
May 31, 2024 08:23 2h 15m 25s
Make Everything Selfie Make Everything Selfie #1551: Scheduled
May 31, 2024 00:53 2h 14m 6s main
main
May 31, 2024 00:53 2h 14m 6s
Implement pseudoinstructions in Rotor disassembly Make Everything Selfie #1550: Pull request #380 synchronize by Jean-M22
May 30, 2024 17:49 2h 15m 27s Jean-M22:objdump-analyzer
Jean-M22:objdump-analyzer
May 30, 2024 17:49 2h 15m 27s
Implement pseudoinstructions in Rotor disassembly Make Everything Selfie #1546: Pull request #380 synchronize by Jean-M22
May 30, 2024 17:31 Action required Jean-M22:objdump-analyzer
Jean-M22:objdump-analyzer
May 30, 2024 17:31 Action required
Merge pull request #388 from nfejzic/grader-grade-commit-link Make Everything Selfie #1545: Commit f494e47 pushed by ckirsch
May 30, 2024 14:29 3h 2m 53s main
main
May 30, 2024 14:29 3h 2m 53s
feat: add option to grade a single commit link Make Everything Selfie #1543: Pull request #388 opened by nfejzic
May 30, 2024 11:00 2h 14m 5s nfejzic:grader-grade-commit-link
nfejzic:grader-grade-commit-link
May 30, 2024 11:00 2h 14m 5s
Proper bad line generation for unrolling Make Everything Selfie #1542: Commit 2cc2400 pushed by ckirsch
May 30, 2024 08:11 2h 14m 51s rotor
rotor
May 30, 2024 08:11 2h 14m 51s
Revert "Going back to individually negated bad lines for unrolling to… Make Everything Selfie #1539: Commit 3df1b53 pushed by ckirsch
May 29, 2024 18:54 2h 18m 36s rotor
rotor
May 29, 2024 18:54 2h 18m 36s
Going back to individually negated bad lines for unrolling to smt Make Everything Selfie #1538: Commit c226a3c pushed by ckirsch
May 29, 2024 17:50 2h 19m 12s rotor
rotor
May 29, 2024 17:50 2h 19m 12s
Option for printing non-sequential BTOR2 Make Everything Selfie #1537: Commit aa89058 pushed by ckirsch
May 29, 2024 17:03 2h 15m 51s rotor
rotor
May 29, 2024 17:03 2h 15m 51s
Fixing incomplete segment zeroing Make Everything Selfie #1536: Commit 83ca383 pushed by ckirsch
May 29, 2024 15:41 2h 15m 14s rotor
rotor
May 29, 2024 15:41 2h 15m 14s
Experimenting with negated AND chain of bad properties for bitwuzla Make Everything Selfie #1535: Commit 1bf2bb2 pushed by ckirsch
May 29, 2024 14:19 2h 18m 17s rotor
rotor
May 29, 2024 14:19 2h 18m 17s
Negating bad lines for bitwuzla Make Everything Selfie #1529: Commit 534175b pushed by ckirsch
May 29, 2024 08:08 20m 44s rotor
rotor
May 29, 2024 08:08 20m 44s
Introducing -nocomments option to minimize model size Make Everything Selfie #1526: Commit a4e3cf4 pushed by ckirsch
May 28, 2024 11:23 2h 19m 52s rotor
rotor
May 28, 2024 11:23 2h 19m 52s
Merge branch 'main' into rotor Make Everything Selfie #1525: Commit f91146e pushed by ckirsch
May 28, 2024 08:46 2h 15m 26s rotor
rotor
May 28, 2024 08:46 2h 15m 26s
Merge pull request #386 from EETagent/ubuntu-noble Make Everything Selfie #1524: Commit b4b8aa2 pushed by ckirsch
May 28, 2024 08:44 2h 14m 18s main
main
May 28, 2024 08:44 2h 14m 18s
Bringing step and instruction count in line Make Everything Selfie #1523: Commit d48ac6f pushed by ckirsch
May 28, 2024 08:39 7m 57s rotor
rotor
May 28, 2024 08:39 7m 57s
Properly zeroed segments for unrolled code synthesis Make Everything Selfie #1522: Commit 5f86263 pushed by ckirsch
May 28, 2024 07:57 20m 23s rotor
rotor
May 28, 2024 07:57 20m 23s
Upgrade Dockerfile to Ubuntu 23.04, GCC13, RISC-V zifencei extension Make Everything Selfie #1521: Pull request #386 synchronize by EETagent
May 27, 2024 19:13 2h 13m 51s EETagent:ubuntu-noble
EETagent:ubuntu-noble
May 27, 2024 19:13 2h 13m 51s
Initializing register file for unrolling Make Everything Selfie #1520: Commit 3ba7084 pushed by ckirsch
May 27, 2024 18:41 19m 58s rotor
rotor
May 27, 2024 18:41 19m 58s