Skip to content

v1.6.4
Compare
Choose a tag to compare
@volkm volkm released this 26 Jan 20:22
· 229 commits to master since this release
1.6.4
This tag was signed with the committer’s verified signature. The key has expired.
volkm Matthias Volk
GPG key ID: C657893DD0882223
Expired
Verified
Learn about vigilant mode.
2c9dca4
This commit was signed with the committer’s verified signature. The key has expired.
volkm Matthias Volk
GPG key ID: C657893DD0882223
Expired
Verified
Learn about vigilant mode.

Requires Storm version >= 1.6.4 and pycarl version >= 2.0.5

  • Simulator for sparse models updated, added simulator for prism programs.
  • Renamed PrismProgram::isDeterministicModel -> is_deterministic_model for consistency
  • Support for specifying the returned quotient format (symbolic or sparse) for symbolic bisimulation
  • Added support for continuous integration with Github Actions
  • Updated bindings for, e.g., Jani to reflect changes in Storm
  • Bindings for end component elimination
Assets 2
Loading