Release log tracker

Jump to bottom

Christian Schilling edited this page Mar 9, 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)

Features

Bug fixes

Fix usage of SparseReachSet in BFFPS19 (#750)

Enhancements

Other