Skip to content

Actions: rems-project/cn-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
292 workflow runs
292 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix https://github.com/rems-project/cerberus/issues/350 Deploy the CN tutorial to GitHub Pages #42: Commit 76da500 pushed by cp526
June 25, 2024 18:23 52s main
main
June 25, 2024 18:23 52s
Update README.md Deploy the CN tutorial to GitHub Pages #41: Commit eb618d6 pushed by dc-mak
June 24, 2024 10:59 49s main
main
June 24, 2024 10:59 49s
... and move back again. Apparently different OCaml/z3 versions behave Deploy the CN tutorial to GitHub Pages #40: Commit 5a0b0f4 pushed by cp526
June 20, 2024 17:27 53s main
main
June 20, 2024 17:27 53s
timeout-broken example no-longer timing out Deploy the CN tutorial to GitHub Pages #39: Commit c0ee4e5 pushed by cp526
June 20, 2024 12:29 58s main
main
June 20, 2024 12:29 58s
Fix queue pop lemma example Deploy the CN tutorial to GitHub Pages #38: Commit b8c2f39 pushed by dc-mak
June 19, 2024 13:07 51s main
main
June 19, 2024 13:07 51s
Merge pull request #33 from GaloisInc/bugfix-tutorial-build Deploy the CN tutorial to GitHub Pages #37: Commit 92c83a5 pushed by bcpierce00
June 18, 2024 22:06 58s main
main
June 18, 2024 22:06 58s
Add the official idiom for constants to the tutorial Deploy the CN tutorial to GitHub Pages #36: Commit c56111e pushed by bcpierce00
June 18, 2024 20:01 54s main
main
June 18, 2024 20:01 54s
Add terse lemma explanation for queues Deploy the CN tutorial to GitHub Pages #35: Commit efcd2d9 pushed by dc-mak
June 18, 2024 12:54 58s main
main
June 18, 2024 12:54 58s
Add version of queue pop w/o lemma & duplication Deploy the CN tutorial to GitHub Pages #34: Commit bf4b455 pushed by dc-mak
June 17, 2024 22:25 51s main
main
June 17, 2024 22:25 51s
Add an exercise about de-duplicated version Deploy the CN tutorial to GitHub Pages #33: Commit 3a81337 pushed by bcpierce00
June 17, 2024 19:01 53s main
main
June 17, 2024 19:01 53s
Merge pull request #30 from rems-project/mdd/check-all-script Deploy the CN tutorial to GitHub Pages #32: Commit 3bc62e8 pushed by septract
June 17, 2024 16:29 51s main
main
June 17, 2024 16:29 51s
Minor tidying Deploy the CN tutorial to GitHub Pages #31: Commit 7da4848 pushed by bcpierce00
June 17, 2024 14:08 53s main
main
June 17, 2024 14:08 53s
More progress on the queue example Deploy the CN tutorial to GitHub Pages #30: Commit d9e3445 pushed by bcpierce00
June 16, 2024 20:15 51s main
main
June 16, 2024 20:15 51s
CP progress on queue example Deploy the CN tutorial to GitHub Pages #29: Commit fb2cfe1 pushed by bcpierce00
June 16, 2024 13:43 50s main
main
June 16, 2024 13:43 50s
Progress on adding queue example to tutorial (but not finished) Deploy the CN tutorial to GitHub Pages #28: Commit 8fa18b9 pushed by bcpierce00
June 15, 2024 21:48 50s main
main
June 15, 2024 21:48 50s
Adjust Makefile to process subdirectories Deploy the CN tutorial to GitHub Pages #27: Commit e885bdb pushed by bcpierce00
June 15, 2024 17:55 50s main
main
June 15, 2024 17:55 50s
Merge pull request #27 from rems-project/cns/mps-example Deploy the CN tutorial to GitHub Pages #26: Commit 2b4aa2e pushed by thatplguy
June 14, 2024 15:00 50s main
main
June 14, 2024 15:00 50s
Remove temp files Deploy the CN tutorial to GitHub Pages #25: Commit e027359 pushed by bcpierce00
June 14, 2024 02:12 51s main
main
June 14, 2024 02:12 51s
Fix(?) makefile Deploy the CN tutorial to GitHub Pages #24: Commit 3e9567e pushed by bcpierce00
June 13, 2024 16:51 55s main
main
June 13, 2024 16:51 55s
More queue tidying Deploy the CN tutorial to GitHub Pages #23: Commit c203c43 pushed by bcpierce00
June 13, 2024 16:47 43s main
main
June 13, 2024 16:47 43s
Get rid of all the == warnings in the tutorial Deploy the CN tutorial to GitHub Pages #22: Commit 350c7d6 pushed by bcpierce00
June 13, 2024 15:48 49s main
main
June 13, 2024 15:48 49s
Fix CI by recategorising queue example Deploy the CN tutorial to GitHub Pages #21: Commit 8728eff pushed by dc-mak
June 13, 2024 11:09 58s main
main
June 13, 2024 11:09 58s
Verify queue (but with induction lemma) Deploy the CN tutorial to GitHub Pages #20: Commit b391a0f pushed by dc-mak
June 12, 2024 17:42 57s main
main
June 12, 2024 17:42 57s
Remove unused queue lemma Deploy the CN tutorial to GitHub Pages #19: Commit 8804006 pushed by dc-mak
June 11, 2024 14:18 50s main
main
June 11, 2024 14:18 50s
Fix IntQueue_pop with snoc phrasing Deploy the CN tutorial to GitHub Pages #18: Commit 18e0732 pushed by dc-mak
June 11, 2024 14:13 55s main
main
June 11, 2024 14:13 55s
ProTip! You can narrow down the results and go further in time using created:<2024-06-11 or the other filters available.