v0.7.5
·
1709 commits
to master
since this release
ReachabilityAnalysis v0.7.5
Closed issues:
- Emit warning if hybrid solve hits max_jumps (#264)
Merged pull requests:
- fix emptiness check in hybrid solve (#258) (@mforets)
- fix TMJets when the first reach-set is empty (#262) (@mforets)
- update LGG09 (#263) (@mforets)
- #264 - Add warning if max_jumps is reached (#266) (@mforets)
- update forward approx for the initial states (#267) (@mforets)
- remove empty intersection in apply methods (#269) (@mforets)