Release log tracker

Jump to bottom

Christian Schilling edited this page Jan 30, 2019 · 88 revisions

Here we collect the new features, bug fixes, etc. for the next release.

Announcements

This release dropped compatibility with pre-v1.0 versions of Julia (#431).

Features

Bug fixes

Enhancements

Other

Refactoring work (#430)
New page in the documentation about works citing JuliaReach related packages (#428), and another one with publications of repeatability evaluations or algorithms (#426)