| Parse all translated unicode specs (#142) |
|
More...
|
1 day ago
|
| Add Apalache to CI (#141) |
|
More...
|
5 days ago
|
| Fix CI in response to breaking changes in tlaplus/examples repo |
|
More...
|
5 days ago
|
| Upgrade to TLAUC 1.0.0 (#140) |
|
More...
|
6 days ago
|
| Use tree-sitter-tlaplus prebuilt python package (#139) |
|
More...
|
7 days ago
|
| pcal.trans can now handle utf8 (#138) |
|
More...
|
7 days ago
|
| Use nio file API in pcal.trans |
|
More...
|
9 days ago
|
| Use codepoints instead of chars in pcal.trans |
|
More...
|
9 days ago
|
| Resolve warnings in Tokenize.java |
|
More...
|
9 days ago
|
| Run pcal.trans in PR CI |
|
More...
|
9 days ago
|
| Define DIST_DIR env var in pr.yml |
|
More...
|
9 days ago
|
| Fix unit test error reporting and support `-Dthreads=N` parameter (#903) |
|
More...
|
14 days ago
|
| 'constrained' states not added to e.g. dot output if TLC runs under TLA+ debugger. |
|
More...
|
14 days ago
|
| Test PlusCal translation in CI (#136) |
|
More...
|
14 days ago
|
| Add unicode testing to CI (#135) |
|
More...
|
15 days ago
|
| Add unicode support to SANY (#896) |
|
More...
|
15 days ago
|
| Fix `OffHeapDiskFPSetTest.testWriteIndex()` on Java 21 |
|
More...
|
15 days ago
|
| Create CITATION.cff |
|
More...
|
17 days 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...
|
17 days ago
|
| Print out TLC command on failure for ease of local reproducibility (#133) |
|
More...
|
18 days ago
|
| TCP according to RFC 9293. (#131) |
|
More...
|
18 days ago
|
| Merge pull request #75 from lemmy/mku-ewd998_impl |
|
More...
|
19 days ago
|
| Mirror PR into markdown note. |
|
More...
|
19 days ago
|
| jsonschema.exceptions.ValidationError: Additional properties are not allowed ('config' was unexpected) |
|
More...
|
20 days ago
|
| Merge branch 'master' into mku-ewd998_impl |
|
More...
|
20 days ago
|
| Use JavaCC to generate TLA+ parser files during build (#876) |
|
More...
|
20 days ago
|
| Parallelize unit tests (#902) |
|
More...
|
21 days ago
|
| Parallelize PR CI workflow (#900) |
|
More...
|
24 days ago
|
| Add scripts to convert specs to unicode and insert number set shim (#130) |
|
More...
|
26 days ago
|
| Fix incorrect tar flag in install.sh |
|
More...
|
29 days ago
|
