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)
