Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

The exception was a java.lang.ArrayIndexOutOfBoundsException : Index 0 out of bounds for length 0 TLA+ PR Validation #676: Pull request #1086 opened by lemmy
November 22, 2024 18:46 28m 0s mku-ArrayIndexOutOfBounds
mku-ArrayIndexOutOfBounds
November 22, 2024 18:46 28m 0s
tlaplus-dispatch CI #876: Repository dispatch triggered by lemmy
November 22, 2024 18:07 1h 21m 44s
November 22, 2024 18:07 1h 21m 44s
Add unicode support to state / value serialization TLA+ PR Validation #675: Pull request #1079 synchronize by fhackett
November 22, 2024 18:03 29m 37s fhackett:fhackett-fix-1076
fhackett:fhackett-fix-1076
November 22, 2024 18:03 29m 37s
Strengthen DumpAsDotTest by asserting POSTCONDITION. CI #875: Commit 8739c17 pushed by lemmy
November 22, 2024 17:48 49m 45s master
master
November 22, 2024 17:48 49m 45s
TLC does not verify invariants or action properties for states that are CI #874: Commit 3f3d299 pushed by lemmy
November 22, 2024 17:42 6m 44s master
master
November 22, 2024 17:42 6m 44s
Correct the predecessors and level of *all* states after dropping CI #873: Commit 2c2943b pushed by lemmy
November 22, 2024 17:32 17m 10s master
master
November 22, 2024 17:32 17m 10s
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 #673: Pull request #1078 synchronize by lemmy
November 22, 2024 17:15 26m 52s mku-constrained
mku-constrained
November 22, 2024 17:15 26m 52s
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 #672: Pull request #1078 synchronize by lemmy
November 22, 2024 16:38 14m 23s mku-constrained
mku-constrained
November 22, 2024 16:38 14m 23s
Add support for new tlapm command-line syntax TLA+ PR Validation #671: Pull request #1085 opened by glondu
November 22, 2024 15:08 25m 52s glondu:support-for-tlapm-cmdline-api
glondu:support-for-tlapm-cmdline-api
November 22, 2024 15:08 25m 52s
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 #670: Pull request #1078 synchronize by lemmy
November 22, 2024 04:21 25m 53s mku-constrained
mku-constrained
November 22, 2024 04:21 25m 53s
[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) TLA+ PR Validation #669: Pull request #1081 synchronize by lemmy
November 22, 2024 00:33 27m 32s mku-multiworkerdebugger
mku-multiworkerdebugger
November 22, 2024 00:33 27m 32s
[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) TLA+ PR Validation #668: Pull request #1081 synchronize by lemmy
November 22, 2024 00:31 2m 37s mku-multiworkerdebugger
mku-multiworkerdebugger
November 22, 2024 00:31 2m 37s
tlaplus-dispatch CI #872: Repository dispatch triggered by lemmy
November 22, 2024 00:22 1h 7m 46s
November 22, 2024 00:22 1h 7m 46s
Prevent division by zero when calculating statistics in CI #871: Commit 556ba0d pushed by lemmy
November 22, 2024 00:03 1h 6m 50s master
master
November 22, 2024 00:03 1h 6m 50s
Add unicode support to state / value serialization TLA+ PR Validation #667: Pull request #1079 synchronize by fhackett
November 21, 2024 17:43 26m 50s fhackett:fhackett-fix-1076
fhackett:fhackett-fix-1076
November 21, 2024 17:43 26m 50s
Correct the predecessors and level of *all* states after dropping *finite* stuttering steps. TLA+ PR Validation #666: Pull request #1080 synchronize by lemmy
November 21, 2024 16:52 28m 55s mku-SWgetTrace
mku-SWgetTrace
November 21, 2024 16:52 28m 55s
Correct the predecessors and level of *all* states after dropping *finite* stuttering steps. TLA+ PR Validation #665: Pull request #1080 synchronize by lemmy
November 21, 2024 15:45 27m 21s mku-SWgetTrace
mku-SWgetTrace
November 21, 2024 15:45 27m 21s
[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) TLA+ PR Validation #664: Pull request #1081 opened by lemmy
November 21, 2024 04:22 26m 57s mku-multiworkerdebugger
mku-multiworkerdebugger
November 21, 2024 04:22 26m 57s
Correct the predecessors and level of *all* states after dropping *finite* stuttering steps. TLA+ PR Validation #663: Pull request #1080 opened by lemmy
November 21, 2024 04:15 26m 50s mku-SWgetTrace
mku-SWgetTrace
November 21, 2024 04:15 26m 50s
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
ProTip! You can narrow down the results and go further in time using created:<2024-11-12 or the other filters available.