Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add unicode support to state / value serialization TLA+ PR Validation #662: Pull request #1079 synchronize by fhackett
November 20, 2024 21:00 9m 0s fhackett:fhackett-fix-1076
fhackett:fhackett-fix-1076
November 20, 2024 21:00 9m 0s
When run with the -dump dot,constrained ... option, TLC does not verify invariants or action properties for states that are considered unreachable due to state or action constraints TLA+ PR Validation #660: Pull request #1078 opened by lemmy
November 20, 2024 01:20 28m 25s mku-constrained
mku-constrained
November 20, 2024 01:20 28m 25s
Remove unused methods {has,get,set}Data() TLA+ PR Validation #659: Pull request #1077 opened by Calvin-L
November 20, 2024 00:47 26m 37s cal-remove-unused-data-methods
cal-remove-unused-data-methods
November 20, 2024 00:47 26m 37s
tlaplus-dispatch CI #870: Repository dispatch triggered by lemmy
November 19, 2024 00:18 1h 7m 57s
November 19, 2024 00:18 1h 7m 57s
Do not compare identity of two UniqueString instances but compare their CI #869: Commit 21f924c pushed by lemmy
November 18, 2024 23:59 1h 5m 34s master
master
November 18, 2024 23:59 1h 5m 34s
tlaplus-dispatch CI #868: Repository dispatch triggered by lemmy
November 12, 2024 23:55 1h 26m 39s
November 12, 2024 23:55 1h 26m 39s
Support running the TLA+ debugger with multiple workers in simulation CI #867: Commit 639382e pushed by lemmy
November 12, 2024 23:36 1h 1m 45s master
master
November 12, 2024 23:36 1h 1m 45s
tlaplus-dispatch CI #866: Repository dispatch triggered by lemmy
November 12, 2024 23:22 1h 29m 28s
November 12, 2024 23:22 1h 29m 28s
SANY: Add missing options and explanations to help. CI #865: Commit 75c3dc3 pushed by lemmy
November 12, 2024 23:04 1h 3m 48s master
master
November 12, 2024 23:04 1h 3m 48s
[Provisional] Support running the TLA+ debugger with multiple workers. TLA+ PR Validation #658: Pull request #1062 synchronize by lemmy
November 12, 2024 14:22 5m 22s mku-DebuggerWithMultipleWorkers
mku-DebuggerWithMultipleWorkers
November 12, 2024 14:22 5m 22s
tlaplus-dispatch CI #864: Repository dispatch triggered by lemmy
November 11, 2024 21:32 1h 11m 28s
November 11, 2024 21:32 1h 11m 28s
Migrate from actions/cache@1 to actions/cache@4 because @1 is EOLed CI #863: Commit 2a2db51 pushed by lemmy
November 11, 2024 21:13 1h 12m 35s master
master
November 11, 2024 21:13 1h 12m 35s
[Provisional] Support running the TLA+ debugger with multiple workers. TLA+ PR Validation #657: Pull request #1062 synchronize by lemmy
November 11, 2024 19:55 1h 33m 58s mku-DebuggerWithMultipleWorkers
mku-DebuggerWithMultipleWorkers
November 11, 2024 19:55 1h 33m 58s
Removed parser support for archaic set-except syntax TLA+ PR Validation #656: Pull request #1019 synchronize by ahelwer
November 11, 2024 19:39 1h 34m 47s ahelwer:parser-remove-set-except-syntax
ahelwer:parser-remove-set-except-syntax
November 11, 2024 19:39 1h 34m 47s
Removed parser support for archaic set-except syntax TLA+ PR Validation #655: Pull request #1019 synchronize by ahelwer
November 11, 2024 19:24 15m 7s ahelwer:parser-remove-set-except-syntax
ahelwer:parser-remove-set-except-syntax
November 11, 2024 19:24 15m 7s
[Provisional] Support running the TLA+ debugger with multiple workers. TLA+ PR Validation #654: Pull request #1062 synchronize by lemmy
November 11, 2024 19:08 47m 30s mku-DebuggerWithMultipleWorkers
mku-DebuggerWithMultipleWorkers
November 11, 2024 19:08 47m 30s
tlaplus-dispatch CI #862: Repository dispatch triggered by lemmy
November 11, 2024 18:50 1h 47m 48s
November 11, 2024 18:50 1h 47m 48s
tlaplus-dispatch CI #861: Repository dispatch triggered by lemmy
November 11, 2024 18:49 1h 25m 24s
November 11, 2024 18:49 1h 25m 24s
tlaplus-dispatch CI #860: Repository dispatch triggered by lemmy
November 11, 2024 18:39 1h 35m 2s
November 11, 2024 18:39 1h 35m 2s
SANY XML: added CLI help text CI #859: Commit 50b0037 pushed by lemmy
November 11, 2024 18:32 1h 0m 48s master
master
November 11, 2024 18:32 1h 0m 48s
Added syntax tests for tuples CI #858: Commit e83b44a pushed by lemmy
November 11, 2024 18:30 1h 12m 35s master
master
November 11, 2024 18:30 1h 12m 35s
Do not validate PostCondition when running with experimental liveness CI #857: Commit ad9d1c0 pushed by lemmy
November 11, 2024 18:21 1h 4m 53s master
master
November 11, 2024 18:21 1h 4m 53s
java.lang.ArrayIndexOutOfBoundsException with TLCExt!lassoOrdinal TLA+ PR Validation #653: Pull request #1071 synchronize by lemmy
November 11, 2024 17:52 27m 2s mku-TLCLivenessLassoSimulate
mku-TLCLivenessLassoSimulate
November 11, 2024 17:52 27m 2s
java.lang.ArrayIndexOutOfBoundsException with TLCExt!lassoOrdinal TLA+ PR Validation #652: Pull request #1071 synchronize by lemmy
November 11, 2024 17:50 2m 27s mku-TLCLivenessLassoSimulate
mku-TLCLivenessLassoSimulate
November 11, 2024 17:50 2m 27s
tlaplus-dispatch CI #856: Repository dispatch triggered by lemmy
November 11, 2024 17:37 1h 5m 26s
November 11, 2024 17:37 1h 5m 26s