Skip to content

v0.6
Compare
Choose a tag to compare
@fredher fredher released this 07 Jul 11:44
· 129 commits to master since this release
v0.6
2f1a263
  • Safe implementation of DBMs (clean type for difference bounds)
  • Symbolic reachability counter-examples
  • Backward state-space computation
  • Various bugfix and improvements
Assets 4
Loading