Download Latest Version v0.28.0 source code.tar.gz (1.4 MB)
Email in envelope

Get an email when there's a new version of ReachabilityAnalysis.jl

Home / v0.28.0
Name Modified Size InfoDownloads / 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

Diff since v0.27.1

  • 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)

Source: README.md, updated 2025-04-17