Release log tracker

Jump to bottom

Christian Schilling edited this page Dec 15, 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

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

Features

Bug fixes

Enhancements

Other