JuliaReach/LazySets.jl: v5.0.2

Published November 23, 2025 | Version v5.0.2

Software Open

LazySets v5.0.2

Merged pull requests:

Run tests conditionally on optional dependency (#4067) (@schillic)
Bring back Julia v1.12 in CI (#4069) (@schillic)
Add linear_combination for 1D sets (#4070) (@schillic)
Fix linear_map of Line2D special case (#4071) (@schillic)
Support witness production in ⊆ for zonotope in hyperrectangle (#4072) (@schillic)
Simplify code using convert (#4073) (@schillic)
Better default for volume of polytopes in 1D and 2D (#4074) (@schillic)
Better encoding of feasibility LP (#4075) (@schillic)
Revise tolerance tests and comments (#4076) (@schillic)
Comment out unstable plot test (#4077) (@schillic)
Fix matrix zonotope multiplication (#4078) (@alecarraro)
Fix docstring for matrix zonotope norm approximation (#4079) (@alecarraro)
Automatic JuliaFormatter.jl run (#4080) (@github-actions[bot])
Rename ∈ to in (#4081) (@schillic)
Better convex_hull for SimpleSparsePolynomialZonotopes (#4082) (@schillic)
Rename ⊆ to issubset (#4083) (@schillic)
v5.0.2 (#4084) (@schillic)
Fix default in method (#4086) (@schillic)
Fix in and isdisjoint for zonotopes without generators (#4087) (@schillic)
Revise plot tests (#4088) (@schillic)
Support kwargs in plot tests (#4089) (@schillic)

Closed issues:

Name	Size	Download all
JuliaReach/LazySets.jl-v5.0.2.zip md5:ac24553b58591ff9c660cbea2d2c4693	1.1 MB	Preview Download

Is supplement to: Software: https://github.com/JuliaReach/LazySets.jl/tree/v5.0.2 (URL)