Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
551 workflow runs
551 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
Factor the TypeOK inductive step out as LEMMA TypeOKStep Check Specs & Metadata #1294: Pull request #217 opened by lemmy
46s mku-rwp
mku-rwp
46s
State the checked properties as theorems Check Specs & Metadata #1293: Commit 12003f2 pushed by lemmy
33m 34s master
master
33m 34s
FlashProtocol: a TLA+ model of the FLASH cache-coherence protocol Check Specs & Metadata #1292: Pull request #216 synchronize by lemmy
30m 3s lemmy:mku-flash
lemmy:mku-flash
30m 3s
FlashProtocol: a TLA+ model of the FLASH cache-coherence protocol Check Specs & Metadata #1291: Pull request #216 synchronize by lemmy
32m 17s lemmy:mku-flash
lemmy:mku-flash
32m 17s
Running Copilot Code Review Copilot #2: by Copilot AI
3m 56s master
master
3m 56s
FlashProtocol: a TLA+ model of the FLASH cache-coherence protocol Check Specs & Metadata #1290: Pull request #216 synchronize by lemmy
26m 19s lemmy:mku-flash
lemmy:mku-flash
26m 19s
FlashProtocol: a TLA+ model of the FLASH cache-coherence protocol Check Specs & Metadata #1289: Pull request #216 synchronize by lemmy
37m 1s lemmy:mku-flash
lemmy:mku-flash
37m 1s
FlashProtocol: a TLA+ model of the FLASH cache-coherence protocol Check Specs & Metadata #1288: Pull request #216 synchronize by lemmy
30m 1s lemmy:mku-flash
lemmy:mku-flash
30m 1s
FlashProtocol: a TLA+ model of the FLASH cache-coherence protocol Check Specs & Metadata #1287: Pull request #216 synchronize by lemmy
13m 26s lemmy:mku-flash
lemmy:mku-flash
13m 26s
FlashProtocol: a TLA+ model of the FLASH cache-coherence protocol Check Specs & Metadata #1286: Pull request #216 synchronize by lemmy
1m 15s lemmy:mku-flash
lemmy:mku-flash
1m 15s
FlashProtocol: a TLA+ model of the FLASH cache-coherence protocol Check Specs & Metadata #1285: Pull request #216 opened by lemmy
1m 20s lemmy:mku-flash
lemmy:mku-flash
1m 20s
safety proof of EWD687a (#215) Check Specs & Metadata #1284: Commit 91c22ea pushed by muenchnerkindl
30m 23s master
master
30m 23s
safety proof of EWD687a Check Specs & Metadata #1283: Pull request #215 synchronize by muenchnerkindl
31m 33s ewd687a
ewd687a
31m 33s
Rename German models by abstraction level Check Specs & Metadata #1282: Commit d9456a2 pushed by lemmy
30m 43s master
master
30m 43s
Add German cache-coherence protocol example (Murphi > TLA+) Check Specs & Metadata #1281: Pull request #214 synchronize by lemmy
26m 1s lemmy:mku-german
lemmy:mku-german
26m 1s
Composition of specifications CI for EWD998 Trace Validation #141: Pull request #132 synchronize by lemmy
10m 45s mku-ewd998
mku-ewd998
10m 45s
Composition of specifications Check Specs & Metadata #1280: Pull request #132 synchronize by lemmy
1m 15s mku-ewd998
mku-ewd998
1m 15s
Compose Compute, Detect Termination (EWD998), and Shutdown. CI for EWD998 Trace Validation #140: Commit d1bf987 pushed by lemmy
11m 25s mku-ewd998
mku-ewd998
11m 25s
Add German cache-coherence protocol example (Murphi > TLA+) Check Specs & Metadata #1279: Pull request #214 synchronize by lemmy
10m 36s lemmy:mku-german
lemmy:mku-german
10m 36s
Running Copilot Code Review Copilot #1: by Copilot AI
4m 28s master
master
4m 28s
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