Release log tracker

Jump to bottom

Christian Schilling edited this page Dec 27, 2019 · 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

Added Flowpipe type (#719); this changed the internal interface for algorithms and the result type ReachSolution

Features

Bug fixes

Fixed property checking with BFFPSV18 algorithm when N == 1 and using multiple blocks (#721)

Enhancements

Other