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 (#4081)

Bug fixes

• Fix linear_map of Line2D special case (#4071)
• Fix overapproximate of MatrixZonotopeProduct with a MatrixZonotope (#4078)

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)