Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
README.md | 2025-04-17 | 879 Bytes | |
v0.28.0 source code.tar.gz | 2025-04-17 | 1.4 MB | |
v0.28.0 source code.zip | 2025-04-17 | 1.5 MB | |
Totals: 3 Items | 2.9 MB | 0 |
ReachabilityAnalysis v0.28.0
- Potentially breaking due to (mild) breaking changes in (re-exported) LazySets v4
Merged pull requests:
- Update Taylor* packages (#856) (@schillic)
- Fast support function for TemplateReachSet
(#899) (@schillic)
- Rename variables in Forward
discretization (#904) (@schillic)
- [#903] - Fix/add setops
option for Forward
/FirstOrder
(#905) (@schillic)
- [#900] - Fix FirstOrder and FirstOrderZonotope with zero matrix (#906) (@alecarraro)
- Use old JuliaFormatter version (#909) (@schillic)
- Remove duplicate documentation of vars
field (#910) (@schillic)
- Allow LazySets v4 (#912) (@schillic)
- v0.28.0 (#913) (@schillic)
Closed issues: - First-order discretization for affine dynamics with zero matrix crashes (#900)