Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
183 workflow run results
183 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a StateDeque implementation to run depth-first search. CI #651: Commit 6262534 pushed by lemmy
January 30, 2024 23:19 1h 28m 47s master
master
January 30, 2024 23:19 1h 28m 47s
Mitigate state-space explosion during trace validation TLA+ PR Validation #108: Pull request #867 synchronize by lemmy
January 30, 2024 18:57 30m 7s mku-TraceValidation
mku-TraceValidation
January 30, 2024 18:57 30m 7s
Mitigate state-space explosion during trace validation TLA+ PR Validation #107: Pull request #867 opened by lemmy
January 26, 2024 17:27 27m 19s mku-TraceValidation
mku-TraceValidation
January 26, 2024 17:27 27m 19s
Evaluate the ALIAS on the action pairs within the trace before it is CI #650: Commit 238ff3c pushed by lemmy
January 19, 2024 23:30 41m 35s master
master
January 19, 2024 23:30 41m 35s
Evaluate the ALIAS on CounterExample passed to -dumptrace formatters TLA+ PR Validation #106: Pull request #865 synchronize by lemmy
January 19, 2024 22:48 28m 42s mku-Alias4DumpTrace
mku-Alias4DumpTrace
January 19, 2024 22:48 28m 42s
Evaluate the ALIAS on CounterExample passed to -dumptrace formatters TLA+ PR Validation #105: Pull request #865 synchronize by lemmy
January 19, 2024 22:36 32m 6s mku-Alias4DumpTrace
mku-Alias4DumpTrace
January 19, 2024 22:36 32m 6s
Evaluate the ALIAS on CounterExample passed to -dumptrace formatters TLA+ PR Validation #104: Pull request #865 opened by lemmy
January 19, 2024 22:34 28m 17s mku-Alias4DumpTrace
mku-Alias4DumpTrace
January 19, 2024 22:34 28m 17s
Performance Tests TLC Performance Tests TLC #107: Scheduled
January 18, 2024 05:54 9h 25m 1s master
master
January 18, 2024 05:54 9h 25m 1s
Add new JLine dependencies (#863) CI #649: Commit 08adf79 pushed by lemmy
January 15, 2024 23:18 1h 23m 51s master
master
January 15, 2024 23:18 1h 23m 51s
Add new JLine dependencies TLA+ PR Validation #103: Pull request #863 synchronize by pera
January 15, 2024 20:35 29m 8s gh861-update-jline-2
gh861-update-jline-2
January 15, 2024 20:35 29m 8s
Add new JLine dependencies TLA+ PR Validation #102: Pull request #863 synchronize by pera
January 15, 2024 19:59 15m 9s gh861-update-jline-2
gh861-update-jline-2
January 15, 2024 19:59 15m 9s
Add new JLine dependencies TLA+ PR Validation #101: Pull request #863 opened by pera
January 15, 2024 17:51 22m 17s gh861-update-jline-2
gh861-update-jline-2
January 15, 2024 17:51 22m 17s
Update JLine to version 3.25.0 (#862) CI #648: Commit 4f26459 pushed by lemmy
January 15, 2024 02:14 15m 47s master
master
January 15, 2024 02:14 15m 47s
Update JLine to version 3.25.0 TLA+ PR Validation #100: Pull request #862 synchronize by pera
January 15, 2024 00:30 22m 53s gh861-update-jline
gh861-update-jline
January 15, 2024 00:30 22m 53s
Performance Tests TLC Performance Tests TLC #106: Scheduled
January 11, 2024 05:54 9h 28m 51s master
master
January 11, 2024 05:54 9h 28m 51s
Allow an ALIAS to define a Java formatter. CI #647: Commit 63e2a4c pushed by lemmy
January 10, 2024 06:10 39m 54s master
master
January 10, 2024 06:10 39m 54s
Non-determinism makes TLC find a different counterexample. CI #646: Commit 486eef0 pushed by lemmy
January 5, 2024 05:30 43m 31s master
master
January 5, 2024 05:30 43m 31s
Add TLCExt!TLCGetAndSet operator TLA+ PR Validation #98: Pull request #859 synchronize by lemmy
January 5, 2024 05:08 22m 6s mku-gh858
mku-gh858
January 5, 2024 05:08 22m 6s
Add TLCExt!TLCGetAndSet operator TLA+ PR Validation #97: Pull request #859 synchronize by lemmy
January 5, 2024 04:36 13m 30s mku-gh858
mku-gh858
January 5, 2024 04:36 13m 30s
Add TLCExt!TLCGetAndSet operator TLA+ PR Validation #96: Pull request #859 synchronize by lemmy
January 5, 2024 04:35 13m 25s mku-gh858
mku-gh858
January 5, 2024 04:35 13m 25s
Add TLCExt!TLCGetAndSet operator TLA+ PR Validation #95: Pull request #859 synchronize by lemmy
January 5, 2024 04:30 13m 50s mku-gh858
mku-gh858
January 5, 2024 04:30 13m 50s
Add TLCExt!TLCGetAndSet operator TLA+ PR Validation #94: Pull request #859 opened by lemmy
January 5, 2024 00:49 7m 44s mku-gh858
mku-gh858
January 5, 2024 00:49 7m 44s
Performance Tests TLC Performance Tests TLC #105: Scheduled
January 4, 2024 05:54 9h 23m 6s master
master
January 4, 2024 05:54 9h 23m 6s
tla2tex with -out option fails if the output file does not exist already. TLA+ PR Validation #93: Pull request #857 opened by lemmy
January 3, 2024 17:23 22m 41s mku-gh855
mku-gh855
January 3, 2024 17:23 22m 41s
Always represent an empty sequence with the notation <<>>. CI #645: Commit 79c86b5 pushed by lemmy
January 2, 2024 23:39 38m 55s master
master
January 2, 2024 23:39 38m 55s