v0.8.1
·
1542 commits
to master
since this release
ReachabilityAnalysis v0.8.1
Closed issues:
- Generalize concrete shift for abstract reach sets (#316)
- Make fixpoint check optional (#317)
- Normalize function from SecondOrderLinearContinuousSystem to LinearContinuousSystem (#328)
Merged pull requests:
- Issue #316 (#318) (@dfcaporale)
- fixpoint_check added to hybrid solve (#319) (@dfcaporale)
- Fixes for time interval evaluation of hybrid flowpipes (#323) (@mforets)
- cleanup TMJets folder (#324) (@mforets)
- External kwarg to TMJets solver (#326) (@mforets)
- Refactor models (#327) (@mforets)
- #328 add second order normalisation functions (#329) (@dfcaporale)
- Union clustering (#332) (@mforets)
- Add QINT method for scalar quadratic ODEs (#335) (@mforets)
- update docs (#338) (@mforets)