Release log tracker

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, #432)
• New page in the documentation about works citing JuliaReach related packages (#428), and another one with publications of repeatability evaluations or algorithms (#426)
• We now use the AbstractMap interface from MathematicalSystems for transitions (guards/assignmens) of hybrid automaton models (#439)
• Allow to disable the max_jumps option and disable it by default (#456)