LazySets v1.29.0 Diff since v1.28.0 Closed issues: Quantifier elimination for projections of unbounded sets (#1207) Inconsistency in linear_map between vrep and division algorithm (#1928) Revise "division" algorithm for linear map (#1934) Concrete linear map using block elimination (#1935) Merged pull requests: #1928 - Major update of concrete linear map (#1950) (@mforets) #1207 - Concrete projection of unbounded sets (#1959) (@mforets) Update Project.toml (#1963) (@mforets) Update abstract hyperrectangle (#1970) (@mforets) Fix warning with Optim (#1971) (@schillic) Bump compat for RecipesBase to v0.8 (#1972) (@schillic) Bump upper bounds on dependencies (#1974) (@schillic) Simplify all/any for simple unary predicates (#1980) (@schillic...
LazySets v1.37.15 Diff since v1.37.14 Closed issues: Clean up plot_recipes (#237) More efficient bo...
LazySets v1.37.1 Diff since v1.37.0 Closed issues: Add explicit set operations for special set type...
LazySets v1.31.0 Diff since v1.30.0 Closed issues: Add default value in project (#1331) Remove type...
LazySets v1.28.0 Diff since v1.27.0 Closed issues: Add a dimension to EmptySet (#1201) Remove tests...
LazySets v1.40.0 Diff since v1.39.0 Closed issues: Remove duplicate vertices from linear_map of V-r...
LazySets v1.38.0 Diff since v1.37.17 Closed issues: Concrete intersection between VPolygons (#698) ...
LazySets v1.42.0 Diff since v1.41.3 Closed issues: More readable string output (#127) Use promotion...
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.44.0 Diff since v1.43.2 Closed issues: Add star set representation (#1357) Function to ...
LazySets v1.51.0 Diff since v1.50.0 Closed issues: Make convex_hull for EmptySet a no-op (#2715) De...
LazySets v2.1.0 Diff since v2.0.0 Closed issues: minor list (#215) Investigate performance regressi...
LazySets v2.8.0 Diff since v2.7.6 Closed issues: Use SingleEntryVector type (#538) Add an example i...
LazySets v1.36.1 Diff since v1.36.0 Closed issues: Outsource linear_map_hrep_helper code given an i...
LazySets v1.41.0 Diff since v1.40.0 Closed issues: Iterative refinement contains redundant informat...
LazySets v1.37.15 Diff since v1.37.14 Closed issues: Clean up plot_recipes (#237) More efficient bo...
LazySets v1.37.1 Diff since v1.37.0 Closed issues: Add explicit set operations for special set type...
LazySets v1.31.0 Diff since v1.30.0 Closed issues: Add default value in project (#1331) Remove type...
LazySets v1.28.0 Diff since v1.27.0 Closed issues: Add a dimension to EmptySet (#1201) Remove tests...
LazySets v1.40.0 Diff since v1.39.0 Closed issues: Remove duplicate vertices from linear_map of V-r...
LazySets v1.38.0 Diff since v1.37.17 Closed issues: Concrete intersection between VPolygons (#698) ...
LazySets v1.42.0 Diff since v1.41.3 Closed issues: More readable string output (#127) Use promotion...
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.44.0 Diff since v1.43.2 Closed issues: Add star set representation (#1357) Function to ...
LazySets v1.51.0 Diff since v1.50.0 Closed issues: Make convex_hull for EmptySet a no-op (#2715) De...
LazySets v2.1.0 Diff since v2.0.0 Closed issues: minor list (#215) Investigate performance regressi...
LazySets v2.8.0 Diff since v2.7.6 Closed issues: Use SingleEntryVector type (#538) Add an example i...
LazySets v1.36.1 Diff since v1.36.0 Closed issues: Outsource linear_map_hrep_helper code given an i...
LazySets v1.41.0 Diff since v1.40.0 Closed issues: Iterative refinement contains redundant informat...
LazySets v1.37.15 Diff since v1.37.14 Closed issues: Clean up plot_recipes (#237) More efficient bo...
LazySets v1.37.1 Diff since v1.37.0 Closed issues: Add explicit set operations for special set type...
LazySets v1.31.0 Diff since v1.30.0 Closed issues: Add default value in project (#1331) Remove type...