Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
534 workflow runs
534 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
CI: record proof runtime (#206) Check Specs & Metadata #1264: Commit 32a32c7 pushed by ahelwer
1h 6m 4s master
master
1h 6m 4s
CI: time proofs and skip long-running ones Check Specs & Metadata #1263: Pull request #206 synchronize by ahelwer
52m 10s ahelwer:ci-time-proofs
ahelwer:ci-time-proofs
52m 10s
CI: time proofs and skip long-running ones Check Specs & Metadata #1262: Pull request #206 synchronize by ahelwer
3h 10m 51s ahelwer:ci-time-proofs
ahelwer:ci-time-proofs
3h 10m 51s
CI: time proofs and skip long-running ones Check Specs & Metadata #1261: Pull request #206 synchronize by ahelwer
2m 58s ahelwer:ci-time-proofs
ahelwer:ci-time-proofs
2m 58s
Close missing BY clauses in TypeOK_Step network cases CI for EWD998 Trace Validation #131: Commit 3a6b92c pushed by lemmy
11m 37s master
master
11m 37s
Close missing BY clauses in TypeOK_Step network cases Check Specs & Metadata #1260: Commit 3a6b92c pushed by lemmy
6h 5m 5s master
master
6h 5m 5s
Remove outdated Folds and Functions modules from FiniteMonotonic CI for EWD998 Trace Validation #130: Commit 809c7a2 pushed by lemmy
15m 33s master
master
15m 33s
Remove outdated Folds and Functions modules from FiniteMonotonic Check Specs & Metadata #1259: Commit 809c7a2 pushed by lemmy
2h 43m 23s master
master
2h 43m 23s
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
6h 6m 2s mku-tlaips_tcp
mku-tlaips_tcp
6h 6m 2s
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. CI for EWD998 Trace Validation #129: Pull request #211 synchronize by lemmy
8m 25s mku-tlaips
mku-tlaips
8m 25s
Remove outdated Folds and Functions modules from FiniteMonotonic CI for EWD998 Trace Validation #128: Commit 8537e70 pushed by lemmy
10m 9s mku-tlaips
mku-tlaips
10m 9s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #127: Pull request #211 synchronize by lemmy
10m 51s mku-tlaips
mku-tlaips
10m 51s
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
Remove outdated Folds and Functions modules from FiniteMonotonic CI for EWD998 Trace Validation #126: Commit a00f40f pushed by lemmy
13m 52s mku-tlaips
mku-tlaips
13m 52s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #125: Pull request #211 synchronize by lemmy
9m 12s mku-tlaips
mku-tlaips
9m 12s
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
List the new _proof.tla files in per-spec manifest.json and README.md CI for EWD998 Trace Validation #124: Commit 3ed70cf pushed by lemmy
11m 47s mku-tlaips
mku-tlaips
11m 47s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #123: Pull request #211 synchronize by lemmy
11m 18s mku-tlaips
mku-tlaips
11m 18s
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
List the new _proof.tla files in per-spec manifest.json and README.md CI for EWD998 Trace Validation #122: Commit 94093db pushed by lemmy
11m 28s mku-tlaips
mku-tlaips
11m 28s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #121: Pull request #211 synchronize by lemmy
9m 15s mku-tlaips
mku-tlaips
9m 15s
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