Release log tracker

Jump to bottom

Christian Schilling edited this page May 11, 2020 · 88 revisions

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)
Upper-bound Julia version to v1.2 because of an "unreachable reached" error (#757)

Features

Bug fixes

Fix usage of SparseReachSet in BFFPS19 (#750)

Enhancements

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

Other