v0.7.0

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)