Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
415 workflow runs
415 workflow runs

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
Remove outdated Folds and Functions modules from FiniteMonotonic Check Specs & Metadata #1259: Commit 809c7a2 pushed by lemmy
In progress master
master
In progress
tcp: add TLAPS safety proof for RFC 9293 state machine Check Specs & Metadata #1258: Commit 82bc012 pushed by lemmy
1m 18s master
master
1m 18s
Opus 4.7 uses Apalache to search for inductive invariant candidates, then proves main theorem with TLAPS Check Specs & Metadata #1257: Pull request #212 synchronize by lemmy
In progress mku-tlaips_tcp
mku-tlaips_tcp
In progress
Opus 4.7 uses Apalache to search for inductive invariant candidates, then proves main theorem with TLAPS Check Specs & Metadata #1256: Pull request #212 synchronize by lemmy
6m 22s mku-tlaips_tcp
mku-tlaips_tcp
6m 22s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1255: Pull request #211 synchronize by lemmy
2h 8m 45s mku-tlaips
mku-tlaips
2h 8m 45s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1254: Pull request #211 synchronize by lemmy
35m 40s mku-tlaips
mku-tlaips
35m 40s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1253: Pull request #211 synchronize by lemmy
5m 5s mku-tlaips
mku-tlaips
5m 5s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1252: Pull request #211 synchronize by lemmy
4m 40s mku-tlaips
mku-tlaips
4m 40s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1251: Pull request #211 synchronize by lemmy
1m 29s mku-tlaips
mku-tlaips
1m 29s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1250: Pull request #211 synchronize by lemmy
1m 4s mku-tlaips
mku-tlaips
1m 4s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1249: Pull request #211 synchronize by lemmy
1m 15s mku-tlaips
mku-tlaips
1m 15s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1248: Pull request #211 synchronize by lemmy
57s mku-tlaips
mku-tlaips
57s
BlockingQueue: bump submodule to v39 Check Specs & Metadata #1247: Commit 3feca98 pushed by lemmy
58m 43s master
master
58m 43s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1246: Pull request #211 synchronize by lemmy
1m 6s mku-tlaips
mku-tlaips
1m 6s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1245: Pull request #211 synchronize by lemmy
59s mku-tlaips
mku-tlaips
59s
tlaplus-dispatch Check Specs & Metadata #1244: Repository dispatch triggered by lemmy
1h 7m 7s
1h 7m 7s
tlaplus-dispatch Check Specs & Metadata #1243: Repository dispatch triggered by lemmy
31m 22s
31m 22s
Opus 4.7 uses Apalache to search for inductive invariant candidates, then proves main theorem with TLAPS Check Specs & Metadata #1242: Pull request #212 synchronize by lemmy
6h 5m 4s mku-tlaips_tcp
mku-tlaips_tcp
6h 5m 4s
Opus 4.7 uses Apalache to search for inductive invariant candidates, then proves main theorem with TLAPS Check Specs & Metadata #1241: Pull request #212 synchronize by lemmy
3m 27s mku-tlaips_tcp
mku-tlaips_tcp
3m 27s
Opus 4.7 uses Apalache to search for inductive invariant candidates, then proves main theorem with TLAPS Check Specs & Metadata #1240: Pull request #212 opened by lemmy
1m 22s mku-tlaips_tcp
mku-tlaips_tcp
1m 22s
Experiment with Claude Opus 4.7 and TLAPS. Check Specs & Metadata #1239: Pull request #211 synchronize by lemmy
1m 9s mku-tlaips
mku-tlaips
1m 9s
ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla Check Specs & Metadata #1238: Commit 8f94d8a pushed by lemmy
57m 16s master
master
57m 16s
ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla Check Specs & Metadata #1237: Commit 15d356c pushed by lemmy
3m 2s master
master
3m 2s
ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla Check Specs & Metadata #1236: Commit f7ff5f1 pushed by lemmy
2m 26s master
master
2m 26s
ewd998: move RECURSIVE SimpleCycle from Utils.tla to EWD998_anim.tla Check Specs & Metadata #1235: Commit acfca65 pushed by lemmy
59s master
master
59s