JuliaReach/LazySets.jl: v2.12.0

LazySets v2.12.0

Diff since v2.11.4

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)