Release log tracker

Here we collect the new features, bug fixes, etc. for the next release.

Announcements

This version is compatible with Julia v1.2.

Breaking changes

• decomposing algorithms now return a SparseReachSet instead of a ReachSet (#676)
• revised projection (#676)
• continuous-post operator TMJets now returns a flowpipe with concrete set types to account for a change in LazySets (#695)

Features

• discretize using matrix interval remainder (#659)
• reachability algorithm for LTI systems with interval matrices using zonotopes (#681) and a decomposed version thereof (#688)

Bug fixes

• added a missing import of SparseArrays in Utils module (#674)

Enhancements

• improved ConcreteDiscretePost operator (#650)
• added AbstractReachSet as new supertype of reach-set wrappers (#676)
• properties are now checked after taking the intersection with the invariant (#692)

Other

• use TaylorIntegration v0.6.0 (#682)