Release log tracker

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

Announcements

Breaking changes

• Removed symbol arguments for the overapproximation option with template directions (e.g., :box) (#633)

Features

• Accept AfineContinuousSystem (resp. AffineDiscreteSystem) in the continuous post (#625)

Bug fixes

• Fixed a case where the :overapproximation option was ignored by the LazyDiscretePost operator (#633)

Enhancements

• Allow using template directions for overapproximation in the discrete post operator (#627)

Other

• Ported validated_integ from TaylorModels to Reachability (#614)