LazySets v1.41.3 Diff since v1.41.2 Closed issues: Add concrete projection of Cartesian sets (#1209) Refactor same_constraints (#2047) Merged pull requests: #1209 - Concrete projection of Line & CartesianProductArray (and modification of CartesianProduct) (#2598) (@schillic) #2047 - Add helper function 'allequal' (#2599) (@schillic) Update Project.toml (#2600) (@schillic
LazySets v1.44.3 Diff since v1.44.2 Closed issues: concrete cartesian_product(::Zonotope, ::Zonotop...
LazySets v1.44.0 Diff since v1.43.2 Closed issues: Add star set representation (#1357) Function to ...
LazySets v1.29.0 Diff since v1.28.0 Closed issues: Quantifier elimination for projections of unboun...
LazySets v1.41.2 Diff since v1.41.1 Closed issues: Do not depend on Plots.jl for testing (#2139) M...
LazySets v1.38.4 Diff since v1.38.3 Closed issues: Concrete projection of the cartesian product of ...
LazySets v1.47.3 Diff since v1.47.2 Closed issues: Generic concrete minkowski sum (#1599) Merged p...
LazySets v1.49.0 Diff since v1.48.3 Closed issues: Add macro to create symmetric functions (#241) E...
LazySets v1.49.1 Diff since v1.49.0 Closed issues: Common constraints list helper (#2048) Merged p...
LazySets v1.46.0 Diff since v1.45.1 Closed issues: Generalize random sampling for other distributio...
LazySets v1.44.4 Diff since v1.44.3 Closed issues: Generalize convexity in docstrings of lazy opera...
LazySets v1.38.0 Diff since v1.37.17 Closed issues: Concrete intersection between VPolygons (#698) ...
LazySets v2.5.0 Diff since v2.4.0 Merged pull requests: Generalize ConvexSet to LazySet in lazy ope...
LazySets v1.44.2 Diff since v1.44.1 Closed issues: Add rationalize for HPoly (#2671) Merged pull ...
LazySets v2.7.4 Diff since v2.7.3 Closed issues: Union-splitting in concrete intersection of hyperr...
LazySets v1.39.0 Diff since v1.38.4 Closed issues: Error using LazySets.plot3d (#2496) Bug in VPoly...
LazySets v1.44.3 Diff since v1.44.2 Closed issues: concrete cartesian_product(::Zonotope, ::Zonotop...
LazySets v1.44.0 Diff since v1.43.2 Closed issues: Add star set representation (#1357) Function to ...
LazySets v1.29.0 Diff since v1.28.0 Closed issues: Quantifier elimination for projections of unboun...
LazySets v1.41.2 Diff since v1.41.1 Closed issues: Do not depend on Plots.jl for testing (#2139) M...
LazySets v1.38.4 Diff since v1.38.3 Closed issues: Concrete projection of the cartesian product of ...
LazySets v1.47.3 Diff since v1.47.2 Closed issues: Generic concrete minkowski sum (#1599) Merged p...
LazySets v1.49.0 Diff since v1.48.3 Closed issues: Add macro to create symmetric functions (#241) E...
LazySets v1.49.1 Diff since v1.49.0 Closed issues: Common constraints list helper (#2048) Merged p...
LazySets v1.46.0 Diff since v1.45.1 Closed issues: Generalize random sampling for other distributio...
LazySets v1.44.4 Diff since v1.44.3 Closed issues: Generalize convexity in docstrings of lazy opera...
LazySets v1.38.0 Diff since v1.37.17 Closed issues: Concrete intersection between VPolygons (#698) ...
LazySets v2.5.0 Diff since v2.4.0 Merged pull requests: Generalize ConvexSet to LazySet in lazy ope...
LazySets v1.44.2 Diff since v1.44.1 Closed issues: Add rationalize for HPoly (#2671) Merged pull ...
LazySets v2.7.4 Diff since v2.7.3 Closed issues: Union-splitting in concrete intersection of hyperr...
LazySets v1.39.0 Diff since v1.38.4 Closed issues: Error using LazySets.plot3d (#2496) Bug in VPoly...
LazySets v1.44.3 Diff since v1.44.2 Closed issues: concrete cartesian_product(::Zonotope, ::Zonotop...
LazySets v1.44.0 Diff since v1.43.2 Closed issues: Add star set representation (#1357) Function to ...
LazySets v1.29.0 Diff since v1.28.0 Closed issues: Quantifier elimination for projections of unboun...