Skip to content

v0.4.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@rnbguy rnbguy released this 23 Nov 08:58
· 108 commits to main since this release
v0.4.0
3fe5950
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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.
Assets 2
Loading