Skip to content

v1.0.1
Compare
Choose a tag to compare
@volkm volkm released this 04 Aug 16:06
· 5292 commits to master since this release
1.0.1
0b2a8d1

Several additions that did not make it into the v1.0.0 release:

  • Multi-objective model checking support now fully included
  • Several improvements in parameter lifting
  • Several improvements in JANI parsing
  • Properties can contain model variables
  • Support for rational numbers/functions in decision diagrams via sylvan
  • Elimination-based solvers (exact solution) for models stored as decision diagrams
  • Export of version and configuration to cmake
  • Improved building process
Assets 2
Loading