| Attempt to fix maven build |
|
More...
|
9 months ago
|
| Fixed deprecated API call in python scripts |
|
More...
|
9 months ago
|
| Update python scripts in response to breaking change in tree-sitter package (#144) |
|
More...
|
9 months ago
|
| Target Java 11 in all builds |
|
More...
|
9 months ago
|
| Add DOI of paper where ClientCentric TLA+ specifications are documented (#143) |
|
More...
|
9 months ago
|
| Algorithm variant has been proven in "Refinement Proofs in Rust Using Ghost Locks" |
|
More...
|
10 months ago
|
| Set up a PlusCal universal syntax corpus test framework |
|
More...
|
10 months ago
|
| Use Java 11 but not specific version in CI |
|
More...
|
10 months ago
|
| Fixed miscellaneous warnings |
|
More...
|
10 months ago
|
| Parse all translated unicode specs (#142) |
|
More...
|
10 months ago
|
| Add Apalache to CI (#141) |
|
More...
|
10 months ago
|
| Fix CI in response to breaking changes in tlaplus/examples repo |
|
More...
|
10 months ago
|
| Upgrade to TLAUC 1.0.0 (#140) |
|
More...
|
10 months ago
|
| Use tree-sitter-tlaplus prebuilt python package (#139) |
|
More...
|
10 months ago
|
| pcal.trans can now handle utf8 (#138) |
|
More...
|
10 months ago
|
| Use nio file API in pcal.trans |
|
More...
|
10 months ago
|
| Use codepoints instead of chars in pcal.trans |
|
More...
|
10 months ago
|
| Resolve warnings in Tokenize.java |
|
More...
|
10 months ago
|
| Run pcal.trans in PR CI |
|
More...
|
10 months ago
|
| Define DIST_DIR env var in pr.yml |
|
More...
|
10 months ago
|
| Fix unit test error reporting and support `-Dthreads=N` parameter (#903) |
|
More...
|
11 months ago
|
| 'constrained' states not added to e.g. dot output if TLC runs under TLA+ debugger. |
|
More...
|
11 months ago
|
| Test PlusCal translation in CI (#136) |
|
More...
|
11 months ago
|
| Add unicode testing to CI (#135) |
|
More...
|
11 months ago
|
| Add unicode support to SANY (#896) |
|
More...
|
11 months ago
|
| Fix `OffHeapDiskFPSetTest.testWriteIndex()` on Java 21 |
|
More...
|
11 months ago
|
| Create CITATION.cff |
|
More...
|
11 months ago
|
| Skip EWD998ChanTrace model that does not run because it doesn't find its .ndjson input when it's run outside of tlaplus/Examples. |
|
More...
|
11 months ago
|
| Print out TLC command on failure for ease of local reproducibility (#133) |
|
More...
|
11 months ago
|
| TCP according to RFC 9293. (#131) |
|
More...
|
11 months ago
|
