Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch CI #901: Repository dispatch triggered by lemmy
December 12, 2024 13:58 16m 49s
December 12, 2024 13:58 16m 49s
Add -dumpTrace tlcaction (with an optional filename) to dump the CI #900: Commit 68b6f50 pushed by lemmy
December 12, 2024 13:40 1h 0m 3s master
master
December 12, 2024 13:40 1h 0m 3s
ArrayIndexOutOfBoundsException in TLA+ debugger during simulation if CI #899: Commit ed3aa83 pushed by lemmy
December 12, 2024 13:40 1h 5m 16s master
master
December 12, 2024 13:40 1h 5m 16s
ArrayIndexOutOfBoundsException in TLA+ debugger during simulation if simulator eliminated finite stuttering from current trace. TLA+ PR Validation #709: Pull request #1097 synchronize by lemmy
December 12, 2024 01:03 27m 21s mku-DebuggerFiniteStuttering
mku-DebuggerFiniteStuttering
December 12, 2024 01:03 27m 21s
ArrayIndexOutOfBoundsException in TLA+ debugger during simulation if simulator eliminated finite stuttering from current trace. TLA+ PR Validation #708: Pull request #1097 opened by lemmy
December 12, 2024 01:02 45s mku-DebuggerFiniteStuttering
mku-DebuggerFiniteStuttering
December 12, 2024 01:02 45s
Add new -dumptrace format "tlcaction" TLA+ PR Validation #707: Pull request #1088 synchronize by lemmy
December 9, 2024 20:57 27m 41s mku-TLCActionTrace
mku-TLCActionTrace
December 9, 2024 20:57 27m 41s
Add unicode support to state / value serialization TLA+ PR Validation #706: Pull request #1079 synchronize by fhackett
December 9, 2024 19:48 27m 6s fhackett:fhackett-fix-1076
fhackett:fhackett-fix-1076
December 9, 2024 19:48 27m 6s
tlaplus-dispatch CI #898: Repository dispatch triggered by lemmy
December 8, 2024 16:32 59m 43s
December 8, 2024 16:32 59m 43s
Fix typo: change 't0' to 'to' in README CI #897: Commit 0320106 pushed by lemmy
December 8, 2024 16:14 1h 2m 22s master
master
December 8, 2024 16:14 1h 2m 22s
Fix typo: change 't0' to 'to' in README TLA+ PR Validation #705: Pull request #1094 opened by Qian-Cheng-nju
December 8, 2024 07:43 26m 58s Qian-Cheng-nju:patch-1
Qian-Cheng-nju:patch-1
December 8, 2024 07:43 26m 58s
tlaplus-dispatch CI #896: Repository dispatch triggered by lemmy
December 6, 2024 21:11 1h 1m 33s
December 6, 2024 21:11 1h 1m 33s
Instantiate FastTool *before* DebugTool to prevent NullPointerExceptions CI #895: Commit e0bd541 pushed by lemmy
December 6, 2024 20:52 1h 2m 54s master
master
December 6, 2024 20:52 1h 2m 54s
Add new -dumptrace format "tlcaction" TLA+ PR Validation #703: Pull request #1088 synchronize by lemmy
December 6, 2024 20:28 27m 30s mku-TLCActionTrace
mku-TLCActionTrace
December 6, 2024 20:28 27m 30s
Add new -dumptrace format "tlcaction" TLA+ PR Validation #702: Pull request #1088 synchronize by lemmy
December 6, 2024 20:03 25m 8s mku-TLCActionTrace
mku-TLCActionTrace
December 6, 2024 20:03 25m 8s
tlaplus-dispatch CI #894: Repository dispatch triggered by lemmy
December 6, 2024 19:44 1h 17m 7s
December 6, 2024 19:44 1h 17m 7s
[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) TLA+ PR Validation #701: Pull request #1081 synchronize by lemmy
December 6, 2024 19:43 43m 54s mku-multiworkerdebugger
mku-multiworkerdebugger
December 6, 2024 19:43 43m 54s
Removed parser support for set-except syntax CI #893: Commit 3bf6f25 pushed by Calvin-L
December 6, 2024 19:25 1h 2m 2s master
master
December 6, 2024 19:25 1h 2m 2s
tlaplus-dispatch CI #892: Repository dispatch triggered by lemmy
December 6, 2024 19:12 1h 1m 26s
December 6, 2024 19:12 1h 1m 26s
Level-checking: fix false acceptances in OpApplNode CI #891: Commit 673a71e pushed by Calvin-L
December 6, 2024 18:52 42m 47s master
master
December 6, 2024 18:52 42m 47s
tlaplus-dispatch CI #890: Repository dispatch triggered by lemmy
December 3, 2024 02:44 1h 10m 22s
December 3, 2024 02:44 1h 10m 22s
Rename property as 'tlc2.tool.impl.ModelConfig.nosymmetry' CI #889: Commit 2988c5f pushed by lemmy
December 3, 2024 02:25 1h 8m 56s master
master
December 3, 2024 02:25 1h 8m 56s
tlaplus-dispatch CI #888: Repository dispatch triggered by lemmy
December 2, 2024 20:43 1h 7m 0s
December 2, 2024 20:43 1h 7m 0s
Re-defined constants are not "in-lined" but re-evaluated on *every* CI #887: Commit 3a554f3 pushed by lemmy
December 2, 2024 20:24 1h 8m 25s master
master
December 2, 2024 20:24 1h 8m 25s
Support cyclic redefinitions (if `-Dtlc2.tool.impl.SpecProcessor.allo… CI #886: Commit 5990f3a pushed by lemmy
December 2, 2024 20:23 57s master
master
December 2, 2024 20:23 57s
Support cyclic redefinitions if -Dtlc2.tool.impl.SpecProcessor.allowCyclicRedefinitions=true is given TLA+ PR Validation #700: Pull request #825 synchronize by lemmy
December 2, 2024 19:55 27m 25s mku-cyclicredefs
mku-cyclicredefs
December 2, 2024 19:55 27m 25s