LazySets v2.1.0 Diff since v2.0.0 Closed issues: minor list (#215) Investigate performance regression in Reachability with LinearMap (#1054) Make PolynomialZonotope a LazySet (#1845) Make unions a LazySet (#1846) Make Complement a LazySet (#2407) Make AbstractStar a LazySet (#2553) Make multiplication with a scalar fall back to scale (#2609) Polytope underapproximation of connected union of boxes (#3000) Rename independent_genmat and dependent_genmat (#3031) Merged pull requests: Underapproximation of polygon with box (#3011) (@schillic) Complete conversion to/from IA.Interval (#3024) (@schillic) added exact sum for sparse polynomial zonotopes (#3025) (@lucaferranti) project for UnionSetArray (#3026) (@schillic) rename genmat methods for...
LazySets v2.7.4 Diff since v2.7.3 Closed issues: Union-splitting in concrete intersection of hyperr...
LazySets v1.44.4 Diff since v1.44.3 Closed issues: Generalize convexity in docstrings of lazy opera...
LazySets v1.59.0 Diff since v1.58.1 Closed issues: Specialized iterator methods constraints and ver...
LazySets v1.58.0 Diff since v1.57.0 Closed issues: Special sampler for singletons (#2960) Implement...
LazySets v2.8.0 Diff since v2.7.6 Closed issues: Use SingleEntryVector type (#538) Add an example i...
Features added intersection check for Zonotope and Hyperplane (#208) added order reduction for Zono...
LazySets v1.42.0 Diff since v1.41.3 Closed issues: More readable string output (#127) Use promotion...
LazySets v1.51.0 Diff since v1.50.0 Closed issues: Make convex_hull for EmptySet a no-op (#2715) De...
LazySets v1.40.0 Diff since v1.39.0 Closed issues: Remove duplicate vertices from linear_map of V-r...
LazySets v2.9.0 Diff since v2.8.0 Closed issues: Add interfaces for operation set types (#269) Add ...
LazySets v2.7.5 Diff since v2.7.4 Closed issues: Recipes for 3D Plots (#35) Use some more unicode o...
LazySets v1.44.0 Diff since v1.43.2 Closed issues: Add star set representation (#1357) Function to ...
LazySets v1.38.0 Diff since v1.37.17 Closed issues: Concrete intersection between VPolygons (#698) ...
LazySets v2.3.0 Diff since v2.2.1 Closed issues: Create single generator for approximately flat Lin...
LazySets v2.7.3 Diff since v2.7.2 Closed issues: Overapproximate polynomial zonotope with zonotope ...
LazySets v2.7.4 Diff since v2.7.3 Closed issues: Union-splitting in concrete intersection of hyperr...
LazySets v1.44.4 Diff since v1.44.3 Closed issues: Generalize convexity in docstrings of lazy opera...
LazySets v1.59.0 Diff since v1.58.1 Closed issues: Specialized iterator methods constraints and ver...
LazySets v1.58.0 Diff since v1.57.0 Closed issues: Special sampler for singletons (#2960) Implement...
LazySets v2.8.0 Diff since v2.7.6 Closed issues: Use SingleEntryVector type (#538) Add an example i...
Features added intersection check for Zonotope and Hyperplane (#208) added order reduction for Zono...
LazySets v1.42.0 Diff since v1.41.3 Closed issues: More readable string output (#127) Use promotion...
LazySets v1.51.0 Diff since v1.50.0 Closed issues: Make convex_hull for EmptySet a no-op (#2715) De...
LazySets v1.40.0 Diff since v1.39.0 Closed issues: Remove duplicate vertices from linear_map of V-r...
LazySets v2.9.0 Diff since v2.8.0 Closed issues: Add interfaces for operation set types (#269) Add ...
LazySets v2.7.5 Diff since v2.7.4 Closed issues: Recipes for 3D Plots (#35) Use some more unicode o...
LazySets v1.44.0 Diff since v1.43.2 Closed issues: Add star set representation (#1357) Function to ...
LazySets v1.38.0 Diff since v1.37.17 Closed issues: Concrete intersection between VPolygons (#698) ...
LazySets v2.3.0 Diff since v2.2.1 Closed issues: Create single generator for approximately flat Lin...
LazySets v2.7.3 Diff since v2.7.2 Closed issues: Overapproximate polynomial zonotope with zonotope ...
LazySets v2.7.4 Diff since v2.7.3 Closed issues: Union-splitting in concrete intersection of hyperr...
LazySets v1.44.4 Diff since v1.44.3 Closed issues: Generalize convexity in docstrings of lazy opera...
LazySets v1.59.0 Diff since v1.58.1 Closed issues: Specialized iterator methods constraints and ver...