Skip to content

Actions: rems-project/cn-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
320 workflow runs
320 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Overwrite queue.broken.c Deploy the CN tutorial to GitHub Pages #17: Commit 4dc961c pushed by dc-mak
June 10, 2024 14:51 51s main
main
June 10, 2024 14:51 51s
Adjust qeueue.broken.c example Deploy the CN tutorial to GitHub Pages #16: Commit fddde65 pushed by dc-mak
June 10, 2024 14:50 52s main
main
June 10, 2024 14:50 52s
Now working on verifying queue push -- queue.c -> queue.broken.c again Deploy the CN tutorial to GitHub Pages #15: Commit d562902 pushed by bcpierce00
June 9, 2024 17:33 52s main
main
June 9, 2024 17:33 52s
Not .broken any more :-) Deploy the CN tutorial to GitHub Pages #14: Commit 257a587 pushed by bcpierce00
June 9, 2024 16:30 55s main
main
June 9, 2024 16:30 55s
A little more progress on queue.broken.c Deploy the CN tutorial to GitHub Pages #13: Commit 88a3bf7 pushed by bcpierce00
June 9, 2024 14:33 51s main
main
June 9, 2024 14:33 51s
CP -- queue.broken.c still broken :-( Deploy the CN tutorial to GitHub Pages #12: Commit c3d7704 pushed by bcpierce00
June 8, 2024 22:55 51s main
main
June 8, 2024 22:55 51s
temp-queue1.broken.c was missing a definition of rev, so temporarily Deploy the CN tutorial to GitHub Pages #11: Commit 5583741 pushed by cp526
June 7, 2024 22:22 55s main
main
June 7, 2024 22:22 55s
WIP on turning the queue example into tutorial fodder Deploy the CN tutorial to GitHub Pages #10: Commit 4b2c176 pushed by bcpierce00
June 7, 2024 17:33 53s main
main
June 7, 2024 17:33 53s
A bit of tidying, and some notes on how to debug the queue example at… Deploy the CN tutorial to GitHub Pages #9: Commit c99644e pushed by bcpierce00
June 7, 2024 01:38 54s main
main
June 7, 2024 01:38 54s
Merge branch 'main' of https://github.com/rems-project/cn-tutorial Deploy the CN tutorial to GitHub Pages #8: Commit 3a0f83a pushed by bcpierce00
June 6, 2024 21:27 49s main
main
June 6, 2024 21:27 49s
Merge pull request #24 from rems-project/cns/section-anchors Deploy the CN tutorial to GitHub Pages #7: Commit c15d713 pushed by cp526
June 6, 2024 17:08 50s main
main
June 6, 2024 17:08 50s
Queue example -- push appears to work now :-) modulo divergence issue… Deploy the CN tutorial to GitHub Pages #6: Commit 21b6a1e pushed by bcpierce00
June 5, 2024 22:24 55s main
main
June 5, 2024 22:24 55s
Merge branch 'main' of https://github.com/rems-project/cn-tutorial Deploy the CN tutorial to GitHub Pages #5: Commit 4bbf388 pushed by bcpierce00
June 5, 2024 22:05 57s main
main
June 5, 2024 22:05 57s
queues still in progress, but one step ahead Deploy the CN tutorial to GitHub Pages #4: Commit 4c9cdb1 pushed by bcpierce00
June 5, 2024 19:58 56s main
main
June 5, 2024 19:58 56s
Merge pull request #21 from rems-project/bugfix/missing-semicolons Deploy the CN tutorial to GitHub Pages #3: Commit 4787f37 pushed by cp526
June 5, 2024 10:02 47s main
main
June 5, 2024 10:02 47s
Merge pull request #22 from rems-project/bugfix/pointer-to-example-ar… Deploy the CN tutorial to GitHub Pages #2: Commit 87bb165 pushed by cp526
June 5, 2024 10:01 52s main
main
June 5, 2024 10:01 52s
Update tutorial.adoc Deploy the CN tutorial to GitHub Pages #1: Commit 2973b6c pushed by cp526
June 5, 2024 09:59 Startup failure main
main
June 5, 2024 09:59 Startup failure
ProTip! You can narrow down the results and go further in time using created:<2024-06-05 or the other filters available.