Release log tracker

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

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Alessandro Carraro (@alecarraro)

Breaking changes

Features

Enhancements

• Add default implementation of linear_combination for 1D sets (#4070)
• Add witness production in ⊆ for zonotope in hyperrectangle (#4072)
• Simplify code using convert (#4073)
• Better default for volume of polytopes in 1D and 2D (#4074)
• Better encoding of feasibility LP (#4075)
• Rename ∈ to in (internally) for better docstring support (#4081)
• Better convex_hull for SimpleSparsePolynomialZonotopes (#4082)
• Rename ⊆ to issubset (internally) for better docstring support (#4083)

Bug fixes

• Fix linear_map of Line2D special case (#4071)
• Fix overapproximate of MatrixZonotopeProduct with a MatrixZonotope (#4078)
• Fix default in method (crashed instead of showing a nice intended error message) (#4086)
• Fix in and isdisjoint for zonotopes without generators (#4087)

Internal changes

• Make tests pass without optional dependencies (#4067)
• Bring back Julia v1.12 in CI (#4069)
• Revise tolerance tests and comments (#4076)
• Comment out unstable plot test (#4077)
• Fix docstring for matrix zonotope norm approximation (#4079)
• Revise plot tests (#4088, #4089)