Skip to content

Actions: libtx/SLOT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 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
Implement I/O coqchk #123: Commit 7810a9b pushed by k32
2m 6s master
master
2m 6s
Remove yield; use io with NOP handler if needed. coqchk #122: Commit 2887ead pushed by k32
1m 43s master
master
1m 43s
Implement yield. Sketch fault coqchk #121: Commit f42a2cc pushed by k32
1m 58s master
master
1m 58s
Implement yield. Sketch fault coqchk #120: Commit f42a2cc pushed by k32
2m 5s dev/vm-invarinats
dev/vm-invarinats
2m 5s
Spawn has effects coqchk #119: Commit 2db1387 pushed by k32
2m 6s dev/vm-invarinats
dev/vm-invarinats
2m 6s
Prove properties about making valid fresh references coqchk #118: Commit 45e5f2c pushed by k32
2m 12s dev/vm-invarinats
dev/vm-invarinats
2m 12s
AMEND: garbage commit trying to find solution for axiom coqchk #117: Commit 2382bf8 pushed by k32
1m 44s dev/vm-invarinats
dev/vm-invarinats
1m 44s
With admissions coqchk #116: Commit 26ea3c6 pushed by k32
2m 4s dev/vm-invarinats
dev/vm-invarinats
2m 4s
Add tests for transition system canonicalization coqchk #115: Commit 3bcb56c pushed by k32
2m 5s dev/vm-invarinats
dev/vm-invarinats
2m 5s
WIP: comm coqchk #114: Commit 2989a2a pushed by k32
1m 40s dev/vm-invarinats
dev/vm-invarinats
1m 40s
Processes can die coqchk #113: Commit 9738049 pushed by k32
2m 12s dev/vm-invarinats
dev/vm-invarinats
2m 12s
Define transition system instance for VM coqchk #112: Commit 5af750c pushed by k32
1m 57s dev/vm-invarinats
dev/vm-invarinats
1m 57s
WIP: add some VM invariants coqchk #111: Commit a6886e4 pushed by k32
2m 12s dev/vm-invarinats
dev/vm-invarinats
2m 12s
vm: WIP coqchk #110: Commit e322a60 pushed by k32
1m 59s new_scheduler
new_scheduler
1m 59s
WIP: exec_proc commute coqchk #109: Commit 011e7bf pushed by k32
2m 0s commut
commut
2m 0s
Improve readme coqchk #108: Commit ff2c5d5 pushed by k32
1m 59s master
master
1m 59s
Improve readme coqchk #107: Commit c5ea6f4 pushed by k32
2m 10s master
master
2m 10s
Improve readme coqchk #106: Commit e7b8e8e pushed by k32
2m 9s master
master
2m 9s
Expand README coqchk #105: Commit 9e6bd81 pushed by k32
1m 54s master
master
1m 54s
Expand README coqchk #104: Commit 3c3946b pushed by k32
1m 49s master
master
1m 49s
Expand README coqchk #103: Commit d929f65 pushed by k32
1m 56s master
master
1m 56s
Require h_spawn to be commutative coqchk #102: Commit b3918ae pushed by k32
1m 53s master
master
1m 53s
New definition of mfun_ret_commute coqchk #101: Commit 901de83 pushed by k32
1m 50s master
master
1m 50s
New definition of mfun_ret_commute coqchk #100: Commit 22af3b3 pushed by k32
1m 59s master
master
1m 59s
Attempt to define mfun_ret commutativity with free-form ret coqchk #99: Commit d40dcc8 pushed by k32
1m 32s master
master
1m 32s