Skip to content

Actions: cksystemsteaching/rotor-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(equivalence): second configuration (exit code 1) — 18/18 again CI #28: Commit 3a4749d pushed by jaspek
38s master
master
38s
docs(deck): selfie slide carries the redone binary-only numbers CI #27: Commit 75af286 pushed by jaspek
32s master
master
32s
docs: redo selfie experiment (binary-only, fair) + explain speed/memo… CI #26: Commit 6150278 pushed by jaspek
59s master
master
59s
pages build and deployment pages-build-deployment #2: by jaspek
42s gh-pages
gh-pages
42s
docs+examples: finalize repo state after 18/18 equivalence result CI #25: Commit d760981 pushed by jaspek
40s master
master
40s
docs+examples: finalize repo state after 18/18 equivalence result Deploy Visualizer to GitHub Pages #5: Commit d760981 pushed by jaspek
22s master
master
22s
feat(equivalence): FINAL RESULT 18/18 benchmarks equivalent (P2 compl… CI #24: Commit 7a1b3fd pushed by jaspek
35s master
master
35s
docs: explain why C and Rust BTOR2 file sizes differ (measured decomp… CI #23: Commit cb7be0c pushed by jaspek
39s master
master
39s
docs: 45-minute final presentation deck (beamer/metropolis) CI #22: Commit c598668 pushed by jaspek
39s master
master
39s
fix(argv): freeze symbolic bytes, drop dead a0 write, correct test docs CI #21: Commit b596814 pushed by jaspek
43s master
master
43s
docs: update README for the semantic-equivalence campaign + new features CI #20: Commit 663fd18 pushed by jaspek
42s master
master
42s
pages build and deployment pages-build-deployment #1: by jaspek
1m 2s gh-pages
gh-pages
1m 2s
feat(visualizer): full design overhaul + UX polish Deploy Visualizer to GitHub Pages #4: Commit b460257 pushed by jaspek
20s master
master
20s
feat(visualizer): full design overhaul + UX polish CI #19: Commit b460257 pushed by jaspek
1m 10s master
master
1m 10s
feat(rotor): faithful property semantics in C emission order (P1 + P0.4) CI #18: Commit 594c50e pushed by jaspek
40s master
master
40s
feat(rotor): real read-syscall data flow with PC stall (P0.2 + P0.5) CI #17: Commit 693f9a4 pushed by jaspek
44s master
master
44s
feat(rotor): concrete argv stack image + zeroed register file (P0.3) CI #16: Commit 569b072 pushed by jaspek
44s master
master
44s
fix(rotor): match C reference segment boundaries (P-FOUNDATION) CI #15: Commit cb5db8d pushed by jaspek
49s master
master
49s
Merge pull request #2 from jaspek/feat/symbolic-argv-visualizer Deploy Visualizer to GitHub Pages #3: Commit 1968a72 pushed by danneba
22s master
master
22s
Merge pull request #2 from jaspek/feat/symbolic-argv-visualizer CI #14: Commit 1968a72 pushed by danneba
1m 21s master
master
1m 21s
Complete symbolic argv support and improve BTOR2 visualizer usability CI #13: Pull request #2 synchronize by danneba
1m 22s feat/symbolic-argv-visualizer
feat/symbolic-argv-visualizer
1m 22s
Complete symbolic argv support and improve BTOR2 visualizer usability CI #12: Pull request #2 opened by danneba
38s feat/symbolic-argv-visualizer
feat/symbolic-argv-visualizer
38s
fix(rotor): silence clippy::explicit-counter-loop in printer CI #11: Commit 84dfedd pushed by jaspek
1m 20s master
master
1m 20s
docs: correct release description — published asset is the ASE2026 co… CI #10: Commit 3083175 pushed by jaspek
47s master
master
47s
Restructure README with problem/approach/status + add deliverables CI #9: Commit 6c33346 pushed by jaspek
45s master
master
45s