| Change syntax corpus runner to use JUnit.Assume Previously, skipped tests would simply be marked as succeeding |
|
More...
|
24 days ago
|
| Fix path resolution on Windows |
|
More...
|
about 1 month ago
|
| Clean up (and inline) `SimpleFilenameToStream.getLibraryPaths()` |
|
More...
|
about 1 month ago
|
| Remove superfluous word from README.md. |
|
More...
|
about 1 month ago
|
| Change to instance type with higher storage capacity when running performance benchmarks |
|
More...
|
about 1 month ago
|
| Change to instance type with higher storage capacity when running performance benchmarks |
|
More...
|
about 1 month ago
|
| Change to instance type with higher storage capacity when running performance benchmarks |
|
More...
|
about 1 month ago
|
| Change to instance type with higher storage capacity when running performance benchmarks |
|
More...
|
about 1 month ago
|
| Change to instance type with higher storage capacity when running performance benchmarks |
|
More...
|
about 1 month ago
|
| Change to instance type with higher storage capacity when running performance benchmarks |
|
More...
|
about 1 month ago
|
| Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following. |
|
More...
|
about 1 month ago
|
| Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following. |
|
More...
|
about 1 month ago
|
| Remove unused member. |
|
More...
|
about 1 month ago
|
| Correct order of parameters in debug logging. |
|
More...
|
about 1 month ago
|
| Correct bogus comment (there is no lock). |
|
More...
|
about 1 month ago
|
| Changed funding link to TLA⁺ Foundation website |
|
More...
|
about 1 month ago
|
| Bump versions of (deprecated) Github actions. |
|
More...
|
about 1 month ago
|
| Reinstate performance benchmarks on AWS through runs-on |
|
More...
|
about 1 month ago
|
| Typo |
|
More...
|
about 1 month ago
|
| Do not abort recover but continue recovery if it encounters a duplicate fingerprint and `-Dtlc2.tool.fp.DiskFPSet.error2warning=true` is given. |
|
More...
|
about 1 month ago
|
| Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following. |
|
More...
|
about 1 month ago
|
| Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following. |
|
More...
|
about 1 month ago
|
| Warning: DiskFPSet.mergeNewEntries: xxx is already on disk with hangup following. |
|
More...
|
about 1 month ago
|
| Refactor `SimpleFilenameToStream` for correctness and clarity |
|
More...
|
about 1 month ago
|
| Include an optional label in the dot graph for liveness checking. |
|
More...
|
about 1 month ago
|
| Explain the table's columns and move paragraph about manifest to the contribution section (the majority of reader don't need to know about the manifest). |
|
More...
|
about 2 months ago
|
| Switch from permissive to restricted workflow permissions for the (ephemeral) GITHUB_TOKEN. |
|
More...
|
about 2 months ago
|
| Use JUnit parameterization for syntax corpus tests |
|
More...
|
about 2 months ago
|
| Use JUnit parameterization for level-checking tests |
|
More...
|
about 2 months ago
|
| Refactor ExploreNode.toString(int) to accept Errors parameter |
|
More...
|
about 2 months ago
|
