| Increment translator's version number. |
|
More...
|
8 months ago
|
| Run performance tests on Github-hosted runners. |
|
More...
|
8 months ago
|
| updates pluscal tests' checksums |
|
More...
|
8 months ago
|
| Update pluscal translations in tests after variables reorder change |
|
More...
|
8 months ago
|
| Locate the the "StandardModules" folder more reliably |
|
More...
|
8 months ago
|
| Allow tests to set an IStateQueue. |
|
More...
|
8 months ago
|
| Rearrange position of var "pc" in pluscal translations |
|
More...
|
8 months ago
|
| Pluscal example to reproduce issue #776 |
|
More...
|
8 months ago
|
| Allow tests to set an IStateWriter. |
|
More...
|
8 months ago
|
| All JUnit tests fail when executed from within Eclipse unless the basedir is explicitly set. |
|
More...
|
8 months ago
|
| Split test to show that issue is not restricted to when successor is also an initial state. |
|
More...
|
8 months ago
|
| Add `-lncheck off` to manually disable (potentially expensive) liveness checking. |
|
More...
|
8 months ago
|
| TLC now properly supports RandomElement and operators from the Randomization module in constants and constant definitions. |
|
More...
|
8 months ago
|
| Reset random number generator before evaluating constants per worker. |
|
More...
|
8 months ago
|
| Reset random number generator before evaluating constants per worker. |
|
More...
|
8 months ago
|
| Add missing `init` calls in `MultiFPSetTest` |
|
More...
|
8 months ago
|
| Reset random number generator before evaluating constants per worker. |
|
More...
|
8 months ago
|
| Do not disable properties in config but refuse to run with more than one worker. |
|
More...
|
8 months ago
|
| Generate test coverage report in html |
|
More...
|
8 months ago
|
| Disambiguate Junit Reports to prevent clashes when running on win/mac/linux. |
|
More...
|
8 months ago
|
| Remove windows dimension from build matrix because of undiagnosed TLA+ Debugger test failures and flaky tests. |
|
More...
|
8 months ago
|
| Use correct keyword in pr.yml and build on all three platforms. |
|
More...
|
8 months ago
|
| Enable Windows in PR builder after previous commit defines a charset encoding in customBuild.xml. |
|
More...
|
8 months ago
|
| Add BufferedRandomAccessFile spec (#145) |
|
More...
|
8 months ago
|
| Output unit test TE specs to unique directories |
|
More...
|
8 months ago
|
| The github repository has been moved and the link needs to be updated. |
|
More...
|
8 months ago
|
| Multithreaded liveness checking gives inconsistent results. |
|
More...
|
8 months ago
|
| CI failure at "Upload raw unit test results": Conflict: an artifact with this name already exists on the workflow run |
|
More...
|
8 months ago
|
| Revert -Werror changes (#958) |
|
More...
|
8 months ago
|
| Fix indentation of main.yml |
|
More...
|
8 months ago
|
