Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
386 workflow runs
386 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
safety proof of EWD687a Check Specs & Metadata #1278: Pull request #215 opened by muenchnerkindl
29m 8s ewd687a
ewd687a
29m 8s
tlaplus-dispatch Check Specs & Metadata #1277: Repository dispatch triggered by lemmy
30m 10s
30m 10s
Add German cache-coherence protocol example (Murphi > TLA+) Check Specs & Metadata #1276: Pull request #214 opened by lemmy
30m 3s lemmy:mku-german
lemmy:mku-german
30m 3s
tlaplus-dispatch Check Specs & Metadata #1275: Repository dispatch triggered by lemmy
30m 31s
30m 31s
tlaplus-dispatch Check Specs & Metadata #1274: Repository dispatch triggered by lemmy
30m 23s
30m 23s
CI: filter on max proof time in manifests (#213) Check Specs & Metadata #1273: Commit 47b0e2c pushed by ahelwer
29m 56s master
master
29m 56s
CI: record & use max proof runtime Check Specs & Metadata #1272: Pull request #213 synchronize by ahelwer
29m 57s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
29m 57s
CI: record & use max proof runtime Check Specs & Metadata #1271: Pull request #213 synchronize by ahelwer
34m 51s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
34m 51s
CI: record & use max proof runtime Check Specs & Metadata #1270: Pull request #213 synchronize by ahelwer
35m 50s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
35m 50s
CI: record & use max proof runtime Check Specs & Metadata #1269: Pull request #213 synchronize by ahelwer
35m 47s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
35m 47s
CI: record & use max proof runtime Check Specs & Metadata #1268: Pull request #213 synchronize by ahelwer
24m 44s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
24m 44s
CI: record & use max proof runtime Check Specs & Metadata #1267: Pull request #213 synchronize by ahelwer
1m 7s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
1m 7s
CI: record & use max proof runtime Check Specs & Metadata #1266: Pull request #213 opened by ahelwer
1m 11s ahelwer:proof-max-runtime
ahelwer:proof-max-runtime
1m 11s
tlaplus-dispatch Check Specs & Metadata #1265: Repository dispatch triggered by lemmy
1h 5m 15s
1h 5m 15s
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 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 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. Check Specs & Metadata #1254: Pull request #211 synchronize by lemmy
35m 40s mku-tlaips
mku-tlaips
35m 40s