Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,116 workflow runs
1,116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Precedence of NPE check wrong. CI #644: Commit 9876efa pushed by lemmy
December 28, 2023 20:45 39m 22s master
master
December 28, 2023 20:45 39m 22s
Performance Tests TLC Performance Tests TLC #104: Scheduled
December 28, 2023 05:54 9h 7m 19s master
master
December 28, 2023 05:54 9h 7m 19s
Note why spec-level breakpoint does not support a hit count. CI #643: Commit e5af70a pushed by lemmy
December 23, 2023 19:36 36m 30s master
master
December 23, 2023 19:36 36m 30s
Show *value* of function application s. a. 42 in [ foo |-> 42, bar CI #642: Commit 4a8570a pushed by lemmy
December 22, 2023 02:41 39m 2s master
master
December 22, 2023 02:41 39m 2s
Performance Tests TLC Performance Tests TLC #103: Scheduled
December 21, 2023 05:54 9h 42m 45s master
master
December 21, 2023 05:54 9h 42m 45s
Add tlc2.tool.impl.Tool.TLCStateMutExt system property that causes TLC CI #641: Commit 291c89c pushed by lemmy
December 18, 2023 22:31 1h 23m 23s master
master
December 18, 2023 22:31 1h 23m 23s
Limit resolving of (constant-level) action parameters to Context. CI #640: Commit c553ff4 pushed by lemmy
December 16, 2023 05:49 44m 45s master
master
December 16, 2023 05:49 44m 45s
Performance Tests TLC Performance Tests TLC #102: Scheduled
December 14, 2023 05:54 9h 36m 32s master
master
December 14, 2023 05:54 9h 36m 32s
IDE setup instructions need updating. CI #639: Commit 7fcaceb pushed by lemmy
December 7, 2023 19:56 39m 3s master
master
December 7, 2023 19:56 39m 3s
Cannot invoke "tlc2.value.impl.ValueVec.size()" because "this.elems" is CI #638: Commit 22d8a54 pushed by lemmy
December 7, 2023 19:44 1h 26m 58s master
master
December 7, 2023 19:44 1h 26m 58s
Cannot invoke "tlc2.value.impl.ValueVec.size()" because "this.elems" is null TLA+ PR Validation #92: Pull request #852 opened by lemmy
December 7, 2023 19:41 21m 56s mku-gh849
mku-gh849
December 7, 2023 19:41 21m 56s
Performance Tests TLC Performance Tests TLC #101: Scheduled
December 7, 2023 05:54 9h 33m 53s master
master
December 7, 2023 05:54 9h 33m 53s
Revert "Move resource files to a dedicated folder" CI #637: Commit 193da94 pushed by Calvin-L
December 1, 2023 22:21 1h 23m 16s master
master
December 1, 2023 22:21 1h 23m 16s
ProTip! You can narrow down the results and go further in time using created:<2023-12-01 or the other filters available.