v1.0.4 release

Minor non-user-visible code changes to TLAUC to accommodate the new method of iterating over tree-sitter query captures.

v1.0.3 release

There are no changes to TLAUC itself in this release; it simply upgrades the dependency on tree-sitter to use the new method.

v1.0.2 release

Fix critical file-overwrite bug reported by @bugarela

v1.0.1 release

Properly translate number sets in all their forms of expression

This release contains a critical file overwrite bug (see #14) and should not be used.

v1.0.0 release

CLI is now much more terse. Not expected to evolve further so bumping version to 1.0.

This release contains a critical file overwrite bug (see #14) and should not be used.

v0.2.0 release

Two breaking changes:

• Now output list of error node occurrences in the result sum type if input spec has syntax errors
• Changed diamond "eventually" operator unicode symbol (see tlaplus/tlaplus-standard#5)

v0.1.5 release

• Output suspected parse error location
• Upgraded dependencies, including tree-sitter-tlaplus version

v0.1.4 release

Update tree-sitter-tlaplus dependency to 1.0.1, expand corpus tests

v0.1.3 Prebuilt Release

Prebuilt binaries will now be attached to the release

v0.1.1 release

Fix build issue that only occurs with the published package.