Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
581 workflow runs
581 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
Parenthesize SUBSET and UNION where precedence is unspecified. Check Specs & Metadata #1489: Pull request #252 opened by lemmy
33m 11s mku-gh892
mku-gh892
33m 11s
tlaplus-dispatch Check Specs & Metadata #1488: Repository dispatch triggered by lemmy
34m 0s
34m 0s
tlaplus-dispatch Check Specs & Metadata #1487: Repository dispatch triggered by lemmy
35m 23s
35m 23s
tlaplus-dispatch Check Specs & Metadata #1486: Repository dispatch triggered by lemmy
33m 41s
33m 41s
tlaplus-dispatch Check Specs & Metadata #1485: Repository dispatch triggered by lemmy
33m 27s
33m 27s
EWD998_proof: do not rely on instantiation distributing over WF. Check Specs & Metadata #1484: Commit 0e32a03 pushed by lemmy
34m 9s master
master
34m 9s
EWD998_proof: do not rely on instantiation distributing over WF. CI for EWD998 Trace Validation #152: Commit 0e32a03 pushed by lemmy
30s master
master
30s
EWD840 and EWD998 proofs rely on tlapm soundness bug CI for EWD998 Trace Validation #151: Pull request #250 synchronize by lemmy
8m 7s mku-gh69
mku-gh69
8m 7s
EWD840 and EWD998 proofs rely on tlapm soundness bug Check Specs & Metadata #1483: Pull request #250 synchronize by lemmy
35m 14s mku-gh69
mku-gh69
35m 14s
EWD998_proof: do not rely on instantiation distributing over WF. CI for EWD998 Trace Validation #150: Commit 8e320b3 pushed by lemmy
16m 7s mku-gh69
mku-gh69
16m 7s
EWD840 and EWD998 proofs rely on tlapm soundness bug Check Specs & Metadata #1482: Pull request #250 synchronize by lemmy
20m 4s mku-gh69
mku-gh69
20m 4s
EWD840 and EWD998 proofs rely on tlapm soundness bug Check Specs & Metadata #1481: Pull request #250 synchronize by lemmy
19m 47s mku-gh69
mku-gh69
19m 47s
tlaplus-dispatch Check Specs & Metadata #1480: Repository dispatch triggered by lemmy
38m 30s
38m 30s
CRDT: cite the induction hypothesis in the proof of OGLiveness. Check Specs & Metadata #1479: Commit 0594c56 pushed by lemmy
36m 0s master
master
36m 0s
CRDT: cite the induction hypothesis in the proof of OGLiveness. Check Specs & Metadata #1478: Pull request #251 opened by lemmy
36m 25s mku-gh309
mku-gh309
36m 25s
EWD840 and EWD998 proofs rely on tlapm soundness bug Check Specs & Metadata #1477: Pull request #250 opened by lemmy
16m 51s mku-gh69
mku-gh69
16m 51s
Add Hillel Wayne's two-thread counter as a first refinement example. Check Specs & Metadata #1476: Commit bce9f21 pushed by lemmy
34m 55s master
master
34m 55s
DP: name the backend that proves each slow step. Check Specs & Metadata #1475: Commit 0a17093 pushed by lemmy
1m 32s master
master
1m 32s
DP: name the backend that proves each slow step Check Specs & Metadata #1474: Pull request #249 opened by lemmy
34m 53s lemmy:mku-dp-proof-timeout
lemmy:mku-dp-proof-timeout
34m 53s
Add Hillel Wayne's two-thread counter as a first refinement example. Check Specs & Metadata #1473: Pull request #248 opened by lemmy
40m 27s mku-refinement
mku-refinement
40m 27s
Add Hillel Wayne's two-thread counter as a first refinement example Check Specs & Metadata #1472: Pull request #247 opened by lemmy
34m 55s lemmy:mku-refinement
lemmy:mku-refinement
34m 55s
Validate Byzantine leader proposals in Sailfish Check Specs & Metadata #1471: Commit 338afd5 pushed by lemmy
44m 5s master
master
44m 5s
tlaplus-dispatch Check Specs & Metadata #1470: Repository dispatch triggered by lemmy
39m 31s
39m 31s
tlaplus-dispatch Check Specs & Metadata #1469: Repository dispatch triggered by lemmy
37m 7s
37m 7s
Validate Byzantine leader proposals in Sailfish Check Specs & Metadata #1468: Pull request #240 synchronize by Qian-Cheng-nju
34m 35s Qian-Cheng-nju:sailfish-leader-validation
Qian-Cheng-nju:sailfish-leader-validation
34m 35s