v1.2.1

Bug fixes

• fixed vector-set multiplication (#321)

v1.2.0

Features

• added intersection check for Zonotope and Hyperplane (#208)
• added order reduction for Zonotopes (#211)
• added default an_element function implementation (#216)
• added VPolytope (#217)
• added array getter for n-ary operations (#226)
• added conversion between some set types (#225, #227)
• added PolynomialZonotope (#184), then moved to PolynomialZonotopes.jl
• added a convex hull of zonotopes overapproximate method into a zonotope (#229)
• added LineSegment (#231)
• generalized decomposition into arbitrary block structures (#259, #282)
• added Interval (#277, #316)

Bug fixes

• fixed scalar multiplication of LinearMap (#204)
• fixed sparse direction in support vector computation of ExponentialMap (#207)
• fixed plotting of a vector of Zonotopes (2e779b9)
• fixed membership test for Zonotopes (#247)
• fixed singleton_list function (#252)
• fixed containment of CartesianProductArray (#252)
• fixed assertion error in iterative refinement (#260)
• fixed plot recipes for polytopes (#276)
• fixed slowdowns with support vector functions (#291, #294)
• fixed creation of empty HPolygons/HPolytopes (#320)

Minor changes

• Line became a LazySet type (#233)
• better error message for support vector of empty HPolytope (#252)
• more consistent array set types (#236, #268)
• overapproximate(S) now returns an n-dimensional Hyperrectangle (#271, #289)
• changed output type of ExponentialMap's get_rows/get_columns to dense matrices (#304)
• revised SparseMatrixExp (#307, #309, #312, #313)

v1.1.0

Features

• added is_intersection_empty for two Ball2s
• added (high-dimensional) HPolytope type
• added (partial) lazy Intersection type
• added lazy SymmetricIntervalHull type
• added Ellipsoid type
• added Hyperplane and HalfSpace types
• added ConvexHullArray type
• added concrete operations on zonotopes
• added external Polyhedra library
• improved support for numeric types such as Rational

Bug fixes

• fixed 2D Hyperrectangle decomposition
• fixed inverted behavior of is_intersection_empty
• fixed some plot recipes for numeric types
• fixed partial y-axis labels in documentation plots
• fixed support vector for Ball1
• fixed method ambiguities for is_subset and is_intersection_empty

Minor changes

• added an assertion to check congruence to the LinearMap constructor
• added required numeric type to LazySet and all subtypes

v1.0.0

Merge pull request #119 from JuliaReach/mforets/singleton_plot

#104 - Singleton vector plot