Modelator

Few fixes and dependency improvements.

RUST

- Parse ranged sets from TLA states. (157)
- `clap` v3 (162)

Various fixes and improvements.

BUG FIXES

- Rust
- Fix panics at unexpected jars. (151)
- Fix concurrent TLC execution. (152)

IMPROVEMENTS

- Go
- Smoother Go build. (146)
- Rust
- Update Apalache to `v0.17.5`. (135)

NOTES

- Rust
- A unique directory to store model-checker jars. (137)

Like the last minor release, this is another massive refactoring release.
- Reworked interfaces for friendlier usage.
- Better parsers for improved handling of model checker outputs.
- Golang bindings.

FEATURES

- Go
- Modelator-go for Golang.
- Implemented step runner.
- Rust
- Event stream API.
- Support for parallel tests.

IMPROVEMENTS

- Rust
- Huge rework on modelator-rs API and CLI.
- Better parsers for TLA+ traces.
- Execute model checkers in temporary directories to avoid clutters.

TEST

- General
- CI Workflow matrix for Windows, MacOS, and Linux.
- Rust
- Large integration test.

This is a bug-fixing release:
- fixed 112 related to clap beta release

This is the massive refactoring release: all internal and external interfaces has been changed; also the tool stability has been greatly improved.

Improvements:
- Refactor error handling (53)
- Reliable extraction of counterexample traces (58)
- Reintroduce generic artifacts (61)
- Rework Apalache module (62)
- Rework TLC module (63)

Bug fixes:
- Confusing "No test trace found" error state (52)
- Running binary with only the argument tla causes panic instead of giving warning to user (55)
- Translate.tla counterexample using modelator tla tla-trace-to-json-trace <filename> results in parsing error (56)

This is a bug-fixing release:
- fixed 57 related to clap beta release