v0.18.8

github-actions released this 12 Jul 11:33

· 829 commits to master since this release

8935ead

ReachabilityAnalysis v0.18.8

Diff since v0.18.7

Merged pull requests:

Update ci.yml (#645) (@mforets)
Rename FirstOrderddt -> SecondOrderddt (#646) (@schillic)
Shrink some plots in documentation (#648) (@schillic)
Fix overapproximate(::TMRS, Hyperrectangle) (#650) (@schillic)
cleanup reduce_order and update generated tests (#651) (@mforets)

Contributors

schillic and mforets

Assets 2