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

• Outsource Properties module to new MathematicalPredicates.jl package (#746, #748)
• Relax type restriction of Flowpipe (#759)

Features

Bug fixes

• Fix usage of SparseReachSet in BFFPS19 (#750)

Enhancements

• Remove redundant order reduction in GLGM06, homogeneous case (#756)

Other