LazySets v1.28.0 Diff since v1.27.0 Closed issues: Add a dimension to EmptySet (#1201) Remove tests that use LP solver with non-Float64 inputs (#1711) Concrete decomposition using linear_map (#1726) Refactor boundnedness check for HPolygon (#1925) Concrete linear map using variable lifting (#1936) Extend matrix by orthogonalization (#1937) Elimination doesn't work as expected for unbounded polyhedron? (#1951) Pass constructor argument to concrete m-sum of zonotopic sets (#1960) Deactivate sanity checks in library code (#1961) Merged pull requests: #1201 - Add a dimension to EmptySet (#1896) (@schillic) #1925 - Refactor boundnedness check for HPolygon (#1931) (@mforets) #1937 - Extend matrix by orthogonalization (#1938) (@mforets) #1936 ...
LazySets v1.40.0 Diff since v1.39.0 Closed issues: Remove duplicate vertices from linear_map of V-r...
Note: this release is fully compatible with Julia v0.7/1.0 and also with Julia v0.6. Features added...
Features added benchmarking capabilities (#356) added an_element function for LinearMap (#374) adde...
LazySets v2.8.0 Diff since v2.7.6 Closed issues: Use SingleEntryVector type (#538) Add an example i...
LazySets v2.7.4 Diff since v2.7.3 Closed issues: Union-splitting in concrete intersection of hyperr...
LazySets v1.38.0 Diff since v1.37.17 Closed issues: Concrete intersection between VPolygons (#698) ...
LazySets v1.41.0 Diff since v1.40.0 Closed issues: Iterative refinement contains redundant informat...
LazySets v1.37.1 Diff since v1.37.0 Closed issues: Add explicit set operations for special set type...
LazySets v1.42.0 Diff since v1.41.3 Closed issues: More readable string output (#127) Use promotion...
LazySets v1.29.0 Diff since v1.28.0 Closed issues: Quantifier elimination for projections of unboun...
LazySets v1.31.0 Diff since v1.30.0 Closed issues: Add default value in project (#1331) Remove type...
LazySets v1.37.15 Diff since v1.37.14 Closed issues: Clean up plot_recipes (#237) More efficient bo...
LazySets v1.37.4 Diff since v1.37.3 Closed issues: Implement iterator version of vertices_list (#53...
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.40.0 Diff since v1.39.0 Closed issues: Remove duplicate vertices from linear_map of V-r...
Note: this release is fully compatible with Julia v0.7/1.0 and also with Julia v0.6. Features added...
Features added benchmarking capabilities (#356) added an_element function for LinearMap (#374) adde...
LazySets v2.8.0 Diff since v2.7.6 Closed issues: Use SingleEntryVector type (#538) Add an example i...
LazySets v2.7.4 Diff since v2.7.3 Closed issues: Union-splitting in concrete intersection of hyperr...
LazySets v1.38.0 Diff since v1.37.17 Closed issues: Concrete intersection between VPolygons (#698) ...
LazySets v1.41.0 Diff since v1.40.0 Closed issues: Iterative refinement contains redundant informat...
LazySets v1.37.1 Diff since v1.37.0 Closed issues: Add explicit set operations for special set type...
LazySets v1.42.0 Diff since v1.41.3 Closed issues: More readable string output (#127) Use promotion...
LazySets v1.29.0 Diff since v1.28.0 Closed issues: Quantifier elimination for projections of unboun...
LazySets v1.31.0 Diff since v1.30.0 Closed issues: Add default value in project (#1331) Remove type...
LazySets v1.37.15 Diff since v1.37.14 Closed issues: Clean up plot_recipes (#237) More efficient bo...
LazySets v1.37.4 Diff since v1.37.3 Closed issues: Implement iterator version of vertices_list (#53...
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.40.0 Diff since v1.39.0 Closed issues: Remove duplicate vertices from linear_map of V-r...
Note: this release is fully compatible with Julia v0.7/1.0 and also with Julia v0.6. Features added...
Features added benchmarking capabilities (#356) added an_element function for LinearMap (#374) adde...