JuliaReach/LazySets.jl: v2.8.0

LazySets v2.8.0

Diff since v2.7.6

Closed issues:

• Use SingleEntryVector type (#538)
• Add an example in the ExponentialProjectionMap type (#960)
• Add function to check the feasibility of a list of linear constraints (#1057)
• Fallback tovrep implementation (#1134)
• Generic overapproximate by falling back to convert (#1229)
• Fast disjointness test for zonotope and half-space (#1286)
• Add more methods for scale (#2610)
• Simplify code in 2D minkowski_sum (after Julia error gets fixed) (#2778)
• glp_simplex warning in remove_redundant_vertices (#3226)
• Use autoformatter? (#3251)
• Support vector of Polygon (#3324)
• Caching the JuMP model in linprog (#3336)

Merged pull requests:

• General 2d Zonotope vertex enumeration with linear complexity (#2288) (@yupbank)
• Add linear_map and affine_map for Ellipsoid (#3323) (@schillic)
• #3324 - Support vector/function for Polygon (#3325) (@schillic)
• #2610 - Add scale and scale! methods (#3326) (@schillic)
• #2778 - Simplify code in 2D minkowski_sum (#3327) (@schillic)
• Inclusion check for nonconvex sets and zonotopic sets in polyhedron (#3328) (@schillic)
• #1134 - tohrep/tovrep for general polyhedral sets (#3329) (@schillic)
• #960 - Add example to ExponentialProjectionMap docs (#3330) (@schillic)
• Do not use GLPK's presolver for removing redundant vertices (#3333) (@schillic)
• Specialized disjointness check between zonotope and polyhedron (#3334) (@schillic)
• #1229 - Generic overapproximate by falling back to convert (#3335) (@schillic)
• Auto-format script (#3337) (@schillic)
• #1057 - Feasibility test for a list of linear constraints (#3338) (@schillic)
• Minor code polishing (#3339) (@schillic)
• #3336 - Cache default LP model (#3340) (@Zinoex)
• Add package bounds to test/Project.toml (#3343) (@schillic)
• Support additional solver status and throw ArgumentError (#3344) (@schillic)
• Format and rearrange code (#3346) (@schillic)
• Fix special cases in linear_map_inverse (#3348) (@schillic)
• Update Project.toml (#3349) (@mforets)