JuliaReach/LazySets.jl: v2.14.2

LazySets v2.14.2

Diff since v2.14.1

Merged pull requests:

• Outsource Line to its own module (#3566) (@schillic)
• Add test for non-square linear_map of Interval (#3568) (@schillic)
• Fix docs error (#3569) (@schillic)
• Add AbstractPolynomialZonotope interface functions and implement for SSPZ (#3570) (@schillic)
• Outsource DensePolynomialZonotope to its own module (#3571) (@schillic)
• Outsource SimpleSparsePolynomialZonotope to its own module (#3572) (@schillic)
• Do not export internal function (#3573) (@schillic)
• Update AbstractPolynomialZonotope interface functions; add AbstractSparsePolynomialZonotope interface (#3574) (@schillic)
• Outsource SparsePolynomialZonotope to its own module (#3575) (@schillic)
• Add tests for SSPZ (#3576) (@schillic)
• Outsource Line2D to its own module (#3577) (@schillic)
• Add missing import (#3578) (@schillic)
• Outsource HParallelotope to its own module (#3579) (@schillic)
• Outsource Tetrahedron to its own module (#3580) (@schillic)
• Outsource Polygon to its own module (#3581) (@schillic)
• Outsource VPolytope to its own module (#3582) (@schillic)
• Outsource HPolytope to its own module (#3583) (@schillic)
• Outsource VPolygon to its own module (#3584) (@schillic)
• Outsource Star to its own module (#3585) (@schillic)
• Add prefix IA. to interval consistently (#3586) (@schillic)
• Outsource Hyperrectangle to its own module (#3587) (@schillic)
• Replace StaticArrays by StaticArraysCore (#3588) (@schillic)
• Outsource HPolyhedron to its own module (#3589) (@schillic)
• Outsource Hyperplane to its own module (#3590) (@schillic)
• Outsource HalfSpace to its own module (#3591) (@schillic)
• Outsource HPolygon to its own module (#3593) (@schillic)
• Outsource Zonotope to its own module (#3594) (@schillic)
• Some fixes for outsourced set types (#3595) (@schillic)
• Fix namespace warnings in linter (#3596) (@schillic)
• Resolve submodule dependencies via Requires (#3597) (@schillic)
• Remove duplicate exports (#3598) (@schillic)
• Outsource convert methods to set modules (#3601) (@schillic)
• Resolve submodule dependency via Requires (#3602) (@schillic)
• Split Require functions for set modules (#3603) (@schillic)
• Outsource binary operations to set modules (#3604) (@schillic)
• Do not export internal functions from set modules (#3605) (@schillic)
• Move back vertices_list helper function from ZonotopeModule (#3606) (@schillic)
• Rename load_* functions in set modules (#3607) (@schillic)
• Make rand of Tetrahedron consistent (#3608) (@schillic)
• Add tests for SymEngine code; rename and fix free_symbols (#3610) (@schillic)
• Fix convert of HPolyhedron from Polyhedra.HRep (#3611) (@schillic)
• Make StarModule independent of HPolytopeModule (#3615) (@schillic)
• Remove redundant _vertices_list methods (#3616) (@schillic)
• Clean up Sets dependencies and reorder includes (#3619) (@schillic)
• Add namespaces for linter warnings (#3622) (@schillic)
• Share convert code between HPoly (#3624) (@schillic)
• Automatic JuliaFormatter.jl run (#3625) (@github-actions[bot])
• Share common SymEngine code (#3626) (@schillic)
• #3631 - Support VPolygon constructor from SMatrix (#3632) (@schillic)
• v2.14.2 (#3633) (@schillic)

Closed issues:

• vertices_list returns Float64 type for Float32 type input (#3393)
• UndefVarError: IntervalBox not defined on 'using' (#3599)
• VPolygon(M::SMatrix) errors (#3631)