v4.0.1

LazySets v4.0.1

Diff since v4.0.0

Here we collect the new features, bug fixes, etc. for the next release.

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Bug fixes

• Make box_approximation of polyhedral Intersections precise and work (#3845)

---

Merged pull requests:

• Automatic JuliaFormatter.jl run (#3843) (@github-actions[bot])
• #3844 - Make box_approximation of polyhedral Intersections precise and work (#3845) (@schillic)

Closed issues:

• box_approximation over interection(<unbounded set>, ::AbstractPolytope) throws assertion error (#3844)