v2.12.0

LazySets v2.12.0

Diff since v2.11.4

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)

Breaking changes

• Change keyword argument in Zonotope overapproximation of Taylor model (#3446)

Features

• Add cartesian_product for SparsePolynomialZonotope (#3438)
• Add translate for most lazy operations (#3474)
• Add reduce_order for Zonotope with static matrix (#3467, #3476)
• Add overapproximate of zonotopic unions with Zonotope (#3458)
• Add convert methods for HPolytope/HPolyhedron with fixed vector type (#3466)
• Add decompose for fixed target type (with overapproximation) (#3468)

Enhancements

• Remove redundant generators in Zonotope overapproximations of Taylor model and SparsePolynomialZonotope (#3446)
• Fix unbound args (#3461)
• Fix piracies (<=, activate_assertions, deactivate_assertions, rand) (#3462, #3463, #3481)
• Revise rectify of polyhedra (filter out empty sets) (#3469, #3479)

Internal changes

• Split and revise documentation pages (#3436)
• Revise CI scripts (#3437)
• Replace $ with double backticks (#3445)
• Run Aqua in tests and fix problems (#3439, #3451)
• Fix Codecov (#3452)
• Minor fixes (#3454)
• Fix invalid character (#3460)
• Remove Javis from test dependencies (#3465)
• Remove redundant calls to uniqueID (#3448)
• Move PkgVersion code to central place (#3459)
• Use eachindex/axes instead of 1:length/1:size (#3464)
• Remove precompile statement (#3470)
• Make test conditional on IntervalArithmetic version (#3477)
• Run doctests when building docs instead of tests (#3478)
• Add Aqua badge (#3453)

---

Merged pull requests:

• Split and revise documentation (#3436) (@schillic)
• Revise CI scripts (#3437) (@schillic)
• cartesian_product for SparsePolynomialZonotope (#3438) (@schillic)
• Run Aqua in tests and fix problems (#3439) (@schillic)
• Add timeout to tests (#3441) (@schillic)
• Replace $ with double backticks (#3445) (@schillic)
• Remove redundant generators in zonotope overapproximations (#3446) (@schillic)
• Remove calls to uniqueID (done in constructor) (#3448) (@schillic)
• Remove old (now duplicate) ambiguity tests (#3451) (@schillic)
• Add Aqua badge and fix Codecov (#3452) (@schillic)
• Add Aqua badge (#3453) (@schillic)
• Minor fixes in comments (#3454) (@schillic)
• Support overapproximate of unions instead of convex hulls (#3458) (@schillic)
• Move PkgVersion code to central place (#3459) (@schillic)
• Fix invalid character (#3460) (@schillic)
• Fix unbound args (#3461) (@schillic)
• Fix piracy with <= (#3462) (@schillic)
• Fix piracies with activate_assertions & deactivate_assertions (#3463) (@schillic)
• Use eachindex/axes instead of 1:length/1:size (#3464) (@schillic)
• Remove Javis from test dependencies (#3465) (@schillic)
• More convert methods for HPolytope/HPolyhedron (#3466) (@schillic)
• reduce_order for zonotope with static matrix (#3467) (@schillic)
• decompose for fixed target type with overapproximation (#3468) (@schillic)
• Revise rectify (#3469) (@schillic)
• Remove precompile statement (#3470) (@schillic)
• TaylorModels compat v0.7 (#3473) (@schillic)
• #1193 - Concrete translation of lazy operations (#3474) (@schillic)
• Generalize reduce_order with StaticArrays matrix (#3476) (@schillic)
• Make test conditional on IA version (#3477) (@schillic)
• Run doctests when building docs instead of tests (#3478) (@schillic)
• Fix for rectify in #3469 (#3479) (@schillic)
• Fix piracy with rand (#3481) (@schillic)
• Rename variables to avoid typos warnings (#3483) (@schillic)
• Bump julia-actions/setup-julia from 1 to 2 (#3490) (@dependabot[bot])

Closed issues:

• Concrete translation of lazy operations (#1193)
• Fix piracies (#3449)
• Fix unbound args (#3450)
• Convex hull algorithm from Polyhedra.jl produces invalid constraints (#3456)