Release log tracker

Jump to bottom

Christian Schilling edited this page Feb 22, 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

Changed option :lazy_A⌜R⋂G⌟ from Bool to String (#621)
Fixed upper bounds for dependencies (#744)

Features

Bug fixes

Fix ABS07_decomposed operator with inputs (#737)
Overapproximate singular maps in LazyDiscretePost (#621)
Forbid old, non-functional Symbol input for option :block_options (#744)

Enhancements

Fix typo in error messages (#729)
Improved discretization of interval-matrix affine systems (#732)
Restore compatibility with MathematicalSystems (#733)
Use zonotope decomposition in ASB07_decomposed (#736)
Restore compatibility with IntervalMatrices (#742)
Fixed compatibility with LazySets (#744)

Other

Fixed doctests (#744)