Features added intersection check for Zonotope and Hyperplane (#208) added order reduction for Zonotopes (#211) added default an_element function implementation (#216) added VPolytope (#217) added array getter for n-ary operations (#226) added conversion between some set types (#225, #227) added PolynomialZonotope (#184), then moved to PolynomialZonotopes.jl added a convex hull of zonotopes overapproximate method into a zonotope (#229) added LineSegment (#231) generalized decomposition into arbitrary block structures (#259, #282) added Interval (#277, #316) Bug fixes fixed scalar multiplication of LinearMap (#204) fixed sparse direction in support vector computation of ExponentialMap (#207) fixed plotting of a vector of Zonotopes (2e779b...
LazySets v1.37.7 Diff since v1.37.6 Closed issues: Follow up of 2d zonotope vertex enum (#2208) Ove...
LazySets v1.40.0 Diff since v1.39.0 Closed issues: Remove duplicate vertices from linear_map of V-r...
LazySets v1.44.3 Diff since v1.44.2 Closed issues: concrete cartesian_product(::Zonotope, ::Zonotop...
LazySets v2.7.3 Diff since v2.7.2 Closed issues: Overapproximate polynomial zonotope with zonotope ...
LazySets v2.8.0 Diff since v2.7.6 Closed issues: Use SingleEntryVector type (#538) Add an example i...
Announcements Note: this release is fully compatible with Julia v0.6/v0.7/v1.0/v1.1. Features added...
LazySets v2.1.0 Diff since v2.0.0 Closed issues: minor list (#215) Investigate performance regressi...
LazySets v1.58.0 Diff since v1.57.0 Closed issues: Special sampler for singletons (#2960) Implement...
LazySets v1.37.11 Diff since v1.37.10 Closed issues: Generic vertices list for hyperrectangular set...
LazySets v1.38.0 Diff since v1.37.17 Closed issues: Concrete intersection between VPolygons (#698) ...
Features added benchmarking capabilities (#356) added an_element function for LinearMap (#374) adde...
LazySets v1.44.0 Diff since v1.43.2 Closed issues: Add star set representation (#1357) Function to ...
LazySets v1.37.6 Diff since v1.37.5 Closed issues: Quadratic map of a zonotope (#912) Pass algorith...
LazySets v1.35.0 Diff since v1.34.0 Closed issues: Intersection of lines and line segments (#262) I...
LazySets v2.6.0 Diff since v2.5.0 Closed issues: Concrete Minkowski difference for zonotopes (#586)...
LazySets v1.37.7 Diff since v1.37.6 Closed issues: Follow up of 2d zonotope vertex enum (#2208) Ove...
LazySets v1.40.0 Diff since v1.39.0 Closed issues: Remove duplicate vertices from linear_map of V-r...
LazySets v1.44.3 Diff since v1.44.2 Closed issues: concrete cartesian_product(::Zonotope, ::Zonotop...
LazySets v2.7.3 Diff since v2.7.2 Closed issues: Overapproximate polynomial zonotope with zonotope ...
LazySets v2.8.0 Diff since v2.7.6 Closed issues: Use SingleEntryVector type (#538) Add an example i...
Announcements Note: this release is fully compatible with Julia v0.6/v0.7/v1.0/v1.1. Features added...
LazySets v2.1.0 Diff since v2.0.0 Closed issues: minor list (#215) Investigate performance regressi...
LazySets v1.58.0 Diff since v1.57.0 Closed issues: Special sampler for singletons (#2960) Implement...
LazySets v1.37.11 Diff since v1.37.10 Closed issues: Generic vertices list for hyperrectangular set...
LazySets v1.38.0 Diff since v1.37.17 Closed issues: Concrete intersection between VPolygons (#698) ...
Features added benchmarking capabilities (#356) added an_element function for LinearMap (#374) adde...
LazySets v1.44.0 Diff since v1.43.2 Closed issues: Add star set representation (#1357) Function to ...
LazySets v1.37.6 Diff since v1.37.5 Closed issues: Quadratic map of a zonotope (#912) Pass algorith...
LazySets v1.35.0 Diff since v1.34.0 Closed issues: Intersection of lines and line segments (#262) I...
LazySets v2.6.0 Diff since v2.5.0 Closed issues: Concrete Minkowski difference for zonotopes (#586)...
LazySets v1.37.7 Diff since v1.37.6 Closed issues: Follow up of 2d zonotope vertex enum (#2208) Ove...
LazySets v1.40.0 Diff since v1.39.0 Closed issues: Remove duplicate vertices from linear_map of V-r...
LazySets v1.44.3 Diff since v1.44.2 Closed issues: concrete cartesian_product(::Zonotope, ::Zonotop...