JuliaReach/LazySets.jl: v3.0.0

LazySets v3.0.0

Diff since v2.14.2

Merged pull requests:

• Revise documentation of Interval operations (#3551) (@schillic)
• Disallow box_approximation for unbounded sets (#3553) (@schillic)
• Remove redundant convert methods (#3561) (@schillic)
• Add polyhedral check for complement method (#3562) (@schillic)
• Fix direction in alternative Line constructor (#3567) (@schillic)
• Remove RotatedHyperrectangle (#3592) (@schillic)
• #3495 - Avoid repeated creation of zero_box/sym_box (#3609) (@schillic)
• Finish linear_map of Hyperplane (#3612) (@schillic)
• Merge metaprogramming loops (#3613) (@schillic)
• #3282 - Remove + and - methods for Interval (#3614) (@schillic)
• #3419 - Fast low/high/extrema for polyhedra (#3617) (@schillic)
• Split convert.jl into smaller files (#3618) (@schillic)
• Remove unused minmax function (#3620) (@schillic)
• Rename and move helper function (#3621) (@schillic)
• Let remove_redundant_constraints return an empty list if infeasible (#3623) (@schillic)
• Rename functions with is_ consistently (#3627) (@schillic)
• #3126 - Point in Polygon check (#3628) (@schillic)
• #3629 - Fix intersection of LineSegments (#3630) (@schillic)
• Adapt to Symbolics v6.1; allow SetProg v0.4 in tests (#3637) (@schillic)
• Automatic JuliaFormatter.jl run (#3638) (@github-actions[bot])
• Add commits since last release to README (#3639) (@schillic)
• Bump peter-evans/create-pull-request from 6 to 7 (#3640) (@dependabot[bot])
• Rename function (#3641) (@schillic)
• Allow IntervalMatrices v0.11 in tests (#3643) (@schillic)
• Automatic JuliaFormatter.jl run (#3644) (@github-actions[bot])
• Aqua v0.8.9 tests only for local ambiguities (#3645) (@schillic)
• Fix invalidations CI run (#3646) (@schillic)
• Update doctest for Julia v1.11 (#3647) (@schillic)
• Bump codecov/codecov-action from 4 to 5 (#3648) (@dependabot[bot])
• v3.0.0 (#3649) (@schillic)
• Fix VPolygon constructor in pre-v1.9 versions (#3650) (@schillic)
• Fix HPolytope constructor with old Symbolics version (#3651) (@schillic)
• Make SymEngine tests more robust (#3652) (@schillic)
• Use hcat in tests (#3653) (@schillic)

Closed issues:

• Add point in nonconvex Polygon check (#3126)
• Remove + and - methods for Interval (#3282)
• Faster extrema of HPolytope/HPolyhedron in 1D (#3419)
• Use only one interval instance for zero_itv / sym_itv (#3495)
• Wrong intersection of line segments (#3629)