Skip to content

Release log tracker

Jump to bottom
Christian Schilling edited this page Feb 24, 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

  • added (rudimentary) support to check properties for hybrid systems (#480)

Bug fixes

  • fixed behavior of LazyDiscretePost's option :lazy_R⋂G and added option :lazy_A⌜R⋂G⌟ for the old behavior (#459)

Enhancements

  • allow to disable the max_jumps option and disable it by default (#456)

Other

  • refactoring work (#430, #432), #493)
  • 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, #458)
  • The options interface has changed. In particular, options specific to the continuous-post algorithm now need to be passed to the respective post operator, and the default values for some options has changed. #464)

Clone this wiki locally