v0.16.4
·
549 commits
to master
since this release
ReachabilityAnalysis v0.16.4
Closed issues:
- solve a system with control input (#595)
- Intersection of two reach sets (#598)
- Fix CI build in v1.7 (#607)
Merged pull requests:
- cleanup deps (#599) (@mforets)
- fix typo: duplicate "of" (#601) (@hpodhaisky)
- Update CI scripts (#602) (@schillic)
- Optional dom argument for TM/zonotope overapproximation (#603) (@schillic)
- Update the query for number of BLAS threads (#604) (@ViralBShah)
- CompatHelper: bump compat for TaylorSeries to 0.12, (keep existing compat) (#605) (@github-actions[bot])
- Update Project.toml (#608) (@mforets)