Skip to content

Actions: libtx/SLOT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 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
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
Ever so slightly improve commutativity proof coqchk #98: Commit fe1b376 pushed by k32
1m 52s master
master
1m 52s
Partially prove commutativity of exec_proc coqchk #97: Commit 684e0d3 pushed by k32
1m 52s master
master
1m 52s
Partially prove commutativity of exec_proc coqchk #96: Commit 8e1d8e3 pushed by k32
1m 55s master
master
1m 55s
Add aux definitions coqchk #95: Commit 03c6ece pushed by k32
3m 1s master
master
3m 1s
Cleanup old stuff coqchk #94: Commit a69cadf pushed by k32
1m 38s master
master
1m 38s
Proce commute_compose coqchk #93: Commit 815118d pushed by k32
1m 52s master
master
1m 52s
WIP: untangle coqchk #92: Commit 9f0b5a7 pushed by k32
2m 15s dev/setoids
dev/setoids
2m 15s
From Coq -> From Stdlib coqchk #91: Commit 6dea4a6 pushed by k32
2m 0s master
master
2m 0s
Start working on commutativity lemmas coqchk #90: Commit 53a66e7 pushed by k32
2m 14s master
master
2m 14s
Prove associativity of mfuns coqchk #89: Commit 3ea9709 pushed by k32
2m 1s master
master
2m 1s
Prove symmetry of event commutativity property. coqchk #88: Commit d3144fe pushed by k32
2m 4s master
master
2m 4s
Prove pick_equiv coqchk #87: Commit cb6d565 pushed by k32
2m 3s master
master
2m 3s
Fix definition of vm_state_trans_morph. coqchk #86: Commit 028b9dc pushed by k32
2m 7s master
master
2m 7s
Setoid hell coqchk #85: Commit 086b5b4 pushed by k32
2m 21s master
master
2m 21s
Setoid hell coqchk #84: Commit 12eccce pushed by k32
2m 9s master
master
2m 9s
TODO: spawn_spawn_commut lemma coqchk #83: Commit cb119fa pushed by k32
2m 17s master
master
2m 17s
Delete old modules coqchk #82: Commit 0581f9d pushed by k32
2m 15s master
master
2m 15s
Slightly simplify the unproven property of dependent mailbox send coqchk #81: Commit bf3a65d pushed by k32
2m 14s master
master
2m 14s