Skip to content

Actions: tlaplus/Examples

Actions

CI for EWD998 Trace Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ewd998.yml
75 workflow runs
75 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
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #102: Pull request #211 synchronize by lemmy
11m 7s mku-tlaips
mku-tlaips
11m 7s
ewd998/EWD998_proof: reuse CommunityModules FunctionTheorems CI for EWD998 Trace Validation #101: Commit 38dcb3f pushed by lemmy
10m 59s mku-tlaips
mku-tlaips
10m 59s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #100: Pull request #211 synchronize by lemmy
14m 20s mku-tlaips
mku-tlaips
14m 20s
ewd998/EWD998_proof: reuse CommunityModules FunctionTheorems CI for EWD998 Trace Validation #99: Commit 6ca13ac pushed by lemmy
8m 32s mku-tlaips
mku-tlaips
8m 32s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #98: Pull request #211 synchronize by lemmy
11m 15s mku-tlaips
mku-tlaips
11m 15s
docs: PROOF_DIFFICULTY.md - mark MultiCarElevator partial CI for EWD998 Trace Validation #97: Commit 3cd58b0 pushed by lemmy
10m 10s mku-tlaips
mku-tlaips
10m 10s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #96: Pull request #211 synchronize by lemmy
11m 19s mku-tlaips
mku-tlaips
11m 19s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #95: Pull request #211 synchronize by lemmy
11m 40s mku-tlaips
mku-tlaips
11m 40s
Experiment with Claude Opus 4.7 and TLAPS. CI for EWD998 Trace Validation #94: Pull request #211 synchronize by lemmy
11m 23s mku-tlaips
mku-tlaips
11m 23s
ewd998/EWD998PCal: TLAPS proof of Init refinement and []PCalTypeOK CI for EWD998 Trace Validation #93: Commit 6f1ec2f pushed by lemmy
9m 1s mku-tlaips
mku-tlaips
9m 1s
Refine EWD998 animation formatting and the modules documentation. (#193) CI for EWD998 Trace Validation #92: Commit 3673694 pushed by lemmy
8m 58s master
master
8m 58s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #91: Pull request #193 synchronize by lemmy
14m 39s mku-EWD998_AI_animation
mku-EWD998_AI_animation
14m 39s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #90: Commit 00399ce pushed by lemmy
9m 22s mku-EWD998_AI_animation
mku-EWD998_AI_animation
9m 22s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #89: Pull request #193 synchronize by lemmy
10m 57s mku-EWD998_AI_animation
mku-EWD998_AI_animation
10m 57s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #88: Commit 710029d pushed by lemmy
11m 27s mku-EWD998_AI_animation
mku-EWD998_AI_animation
11m 27s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #87: Pull request #193 synchronize by lemmy
13m 6s mku-EWD998_AI_animation
mku-EWD998_AI_animation
13m 6s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #86: Commit d15e37e pushed by lemmy
11m 57s mku-EWD998_AI_animation
mku-EWD998_AI_animation
11m 57s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #85: Pull request #193 opened by lemmy
11m 21s mku-EWD998_AI_animation
mku-EWD998_AI_animation
11m 21s
Refine EWD998 animation formatting and the modules documentation. CI for EWD998 Trace Validation #84: Commit 5847501 pushed by lemmy
10m 33s mku-EWD998_AI_animation
mku-EWD998_AI_animation
10m 33s
adapting proofs to modified FS_Induction theorem (#190) CI for EWD998 Trace Validation #83: Commit dca6876 pushed by ahelwer
10m 47s master
master
10m 47s
adapting proofs to modified FS_Induction theorem CI for EWD998 Trace Validation #82: Pull request #190 synchronize by muenchnerkindl
11m 0s fs_induction
fs_induction
11m 0s
adapting proofs to modified FS_Induction theorem CI for EWD998 Trace Validation #81: Pull request #190 synchronize by muenchnerkindl
11m 7s fs_induction
fs_induction
11m 7s
adapting proofs to modified FS_Induction theorem CI for EWD998 Trace Validation #80: Pull request #190 synchronize by muenchnerkindl
11m 44s fs_induction
fs_induction
11m 44s
adapting proofs to modified FS_Induction theorem CI for EWD998 Trace Validation #79: Pull request #190 synchronize by muenchnerkindl
11m 38s fs_induction
fs_induction
11m 38s
adapting proofs to modified FS_Induction theorem CI for EWD998 Trace Validation #78: Pull request #190 synchronize by muenchnerkindl
16m 35s fs_induction
fs_induction
16m 35s