LazySets v1.59.1 Diff since v1.59.0 Merged pull requests: initial implementation of SparsePolynomialZonotope (#3015) (@lucaferranti) SPZ conversions (#3016) (@lucaferranti) implement rand(::SimpleSparsePolynomialZonotope) (#3017) (@lucaferranti
LazySets v1.55.0 Diff since v1.54.0 Closed issues: Deprecated GLPKMathProgInterface brings forward ...
LazySets v1.58.0 Diff since v1.57.0 Closed issues: Special sampler for singletons (#2960) Implement...
LazySets v1.53.1 Diff since v1.53.0 Merged pull requests: New version of IntervalMatrices (#2888) (...
LazySets v2.0.0 Diff since v1.59.1 Closed issues: Add rand function to PZ subtypes (#2984) Merged ...
LazySets v2.11.0 Diff since v2.10.0 Merged pull requests: IntervalArithmetic v0.21 (and RangeEnclos...
LazySets v2.5.0 Diff since v2.4.0 Merged pull requests: Generalize ConvexSet to LazySet in lazy ope...
LazySets v1.48.1 Diff since v1.48.0 Merged pull requests: Revise numeric tolerance (#2791) (@schill...
LazySets v1.48.3 Diff since v1.48.2 Merged pull requests: Allow for nonpositive lazy bloating (#280...
LazySets v1.44.2 Diff since v1.44.1 Closed issues: Add rationalize for HPoly (#2671) Merged pull ...
LazySets v1.52.1 Diff since v1.52.0 Merged pull requests: Add concrete exponential map (#2879) (@sc...
LazySets v1.53.0 Diff since v1.52.1 Merged pull requests: Update LICENSE (#2881) (@mforets) Update ...
LazySets v2.7.6 Diff since v2.7.5 Merged pull requests: Fix linear_map with number (#3322) (@schill...
LazySets v2.2.0 Diff since v2.1.1 Closed issues: Review SPZ remove_redundant_generators (compact) ...
LazySets v1.42.0 Diff since v1.41.3 Closed issues: More readable string output (#127) Use promotion...
LazySets v1.37.14 Diff since v1.37.13 Closed issues: Review vertices list of lazy linear map (#2399...
LazySets v1.55.0 Diff since v1.54.0 Closed issues: Deprecated GLPKMathProgInterface brings forward ...
LazySets v1.58.0 Diff since v1.57.0 Closed issues: Special sampler for singletons (#2960) Implement...
LazySets v1.53.1 Diff since v1.53.0 Merged pull requests: New version of IntervalMatrices (#2888) (...
LazySets v2.0.0 Diff since v1.59.1 Closed issues: Add rand function to PZ subtypes (#2984) Merged ...
LazySets v2.11.0 Diff since v2.10.0 Merged pull requests: IntervalArithmetic v0.21 (and RangeEnclos...
LazySets v2.5.0 Diff since v2.4.0 Merged pull requests: Generalize ConvexSet to LazySet in lazy ope...
LazySets v1.48.1 Diff since v1.48.0 Merged pull requests: Revise numeric tolerance (#2791) (@schill...
LazySets v1.48.3 Diff since v1.48.2 Merged pull requests: Allow for nonpositive lazy bloating (#280...
LazySets v1.44.2 Diff since v1.44.1 Closed issues: Add rationalize for HPoly (#2671) Merged pull ...
LazySets v1.52.1 Diff since v1.52.0 Merged pull requests: Add concrete exponential map (#2879) (@sc...
LazySets v1.53.0 Diff since v1.52.1 Merged pull requests: Update LICENSE (#2881) (@mforets) Update ...
LazySets v2.7.6 Diff since v2.7.5 Merged pull requests: Fix linear_map with number (#3322) (@schill...
LazySets v2.2.0 Diff since v2.1.1 Closed issues: Review SPZ remove_redundant_generators (compact) ...
LazySets v1.42.0 Diff since v1.41.3 Closed issues: More readable string output (#127) Use promotion...
LazySets v1.37.14 Diff since v1.37.13 Closed issues: Review vertices list of lazy linear map (#2399...
LazySets v1.55.0 Diff since v1.54.0 Closed issues: Deprecated GLPKMathProgInterface brings forward ...
LazySets v1.58.0 Diff since v1.57.0 Closed issues: Special sampler for singletons (#2960) Implement...
LazySets v1.53.1 Diff since v1.53.0 Merged pull requests: New version of IntervalMatrices (#2888) (...