ReachabilityAnalysis v0.27.1
Merged pull requests:
- Add discrete post for
GLGM06
(#861) (@schillic) - Run shorter tests in PkgEval mode (#882) (@schillic)
- Fix import in test (#883) (@schillic)
- Count invalidations on latest Julia version (#884) (@schillic)
- Let
intersection
of reach sets create a reach set (#885) (@schillic) - Fix typos build (#886) (@schillic)
- Add discrete post for linear algorithms (#887) (@schillic)
- Fix deprecation warning in OrdinaryDiffEq (#888) (@schillic)
- Fix
homogenize
(#889) (@schillic) - Merge common code for linear continuous post (#890) (@schillic)
- Automatic JuliaFormatter.jl run (#891) (@github-actions[bot])
- Allow Polyhedra v0.8 and CDDLib v0.10 in tests (#896) (@schillic)
- Use
DocumenterCitations
for bibliography (#897) (@schillic) - v0.27.1 (#898) (@schillic)