| Run testsuite in main.yml to completion regardless of test failures. |
|
More...
|
8 months ago
|
| Pass `info` target to test runs to more closely align with distribution. |
|
More...
|
8 months ago
|
| Add high-level documentation. |
|
More...
|
8 months ago
|
| <doc> Update description of dump option as https://lamport.azurewebsites.net/tla/current-tools.pdf, Previous description is inconsisent with it. |
|
More...
|
8 months ago
|
| On Windows and possibly other OSes, customeBuilder.xml "generate" target fails because it is lacking a charset encoding option. |
|
More...
|
8 months ago
|
| Port JUnit reporting to main.yml |
|
More...
|
8 months ago
|
| Upload junit results and (generated) report as workflow artifacts. |
|
More...
|
8 months ago
|
| Publish unit test results. |
|
More...
|
8 months ago
|
| Robust unit test invocation. |
|
More...
|
8 months ago
|
| Remove Easymock dependency from TLA+ Tools (TLC test suite). |
|
More...
|
8 months ago
|
| Diameter is nondeterministic with multiple workers (#942) |
|
More...
|
8 months ago
|
| Treat warnings as errors in main compile target (#931) |
|
More...
|
8 months ago
|
| Support Unicode in `pcal.trans` (#911) |
|
More...
|
8 months ago
|
| Refactor StateQueueJPFTest to remove thread creation outside the critical path |
|
More...
|
8 months ago
|
| Run test-verify in the CI when relevant classes are updated |
|
More...
|
8 months ago
|
| Bump jpf to use java 11 - commit 0916082fac |
|
More...
|
8 months ago
|
| Throw `IOException` for use-after-close |
|
More...
|
8 months ago
|
| Make `BufferedRandomAccessFile.close()` idempotent |
|
More...
|
8 months ago
|
| Allow `getFilePointer()` to throw IOException |
|
More...
|
8 months ago
|
| Expand CONTRIBUTING.md (#936) |
|
More...
|
9 months ago
|
| Remove e4 tools from the Eclipse development environment setup. |
|
More...
|
9 months ago
|
| Remove everything AspectJ from the TLA Tools+ and Toolbox projects. (#940) |
|
More...
|
9 months ago
|
| Fix compiler error introduced by recent refactoring that assumes a newer version of Easymock than what TLAToolbox.target defines. |
|
More...
|
9 months ago
|
| Expand DEVELOPING.md |
|
More...
|
9 months ago
|
| Update README with additional detail |
|
More...
|
9 months ago
|
| Change compilation warning message |
|
More...
|
9 months ago
|
| Set warnings as errors when compiling tests |
|
More...
|
9 months ago
|
| Added @Deprecated annotation to match comments |
|
More...
|
9 months ago
|
| ISSUE_TEMPLATE: moving "expected behavior" to after "to reproduce" |
|
More...
|
9 months ago
|
| Fix usage of mavent-antrun-plugin |
|
More...
|
9 months ago
|
