Download Latest Version
v0.28.0 source code.tar.gz (1.4 MB)
Get an email when there's a new version of ReachabilityAnalysis.jl
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| README.md | 2025-01-31 | 937 Bytes | |
| v0.27.1 source code.tar.gz | 2025-01-31 | 1.4 MB | |
| v0.27.1 source code.zip | 2025-01-31 | 1.5 MB | |
| Totals: 3 Items | 2.9 MB | 2 | |
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)