JuliaReach/LazySets.jl: v1.37.15

Diff since v1.37.14

Closed issues:

• Clean up plot_recipes (#237)
• More efficient box approximation of specific set types (#589)
• MethodError for 1D symbolic half-space (#2354)
• isoperationtype is not implemented for type HParallelotope (#2390)
• HalfSpace MT with only 1 variable (#2409)
• MethodError for empty set overapproximation (#2414)
• Use box_approximation instead of overapproximate(X, Hyperrectangle) (#2415)
• Concrete Minkowski sum of Singletons (#2417)
• Generalize concrete Zonotope operations to AbstractZonotope interface (#2441)
• Plotting zonotope with SArray fields fails (#2447)

Merged pull requests:

• #2219 Remove N <: Real for zonotopic sets (#2276) (@mforets)
• Adapt TagBot (#2402) (@schillic)
• Update about.md (#2404) (@mforets)
• An element for unbounded polyhedra (#2408) (@mforets)
• Add interval constructor with type promotion (#2410) (@mforets)
• #2409 - Fix MT constructor with 1 variable (#2412) (@mforets)
• linear_map_inverse for Universe (#2413) (@schillic)
• Use tuple instead of vector (#2416) (@schillic)
• #2417 - Specialize concrete minkowski sum for singletons (#2418) (@mforets)
• Partially remove 'N<:Real' (#2420) (@schillic)
• #2219 -- Remove N <: Real for set operations (#2421) (@mforets)
• #2415 - Use box_approximation instead of overapproximate(X, Hyperrectangle) (#2422) (@schillic)
• #2414 - MethodError for empty set overapproximation (#2423) (@schillic)
• #2390 - isoperationtype is not implemented for type HParallelotope (#2424) (@schillic)
• Remove 'N<:Real' in Approximations (#2425) (@schillic)
• Refer to ReachabilityAnalysis.jl (#2427) (@goretkin)
• #2219 - Remove 'N<:Real' in overapproximate.jl (#2428) (@schillic)
• Bump StaticArrays (#2429) (@schillic)
• #2219 - Remove 'N<:Real' for some set types (#2430) (@schillic)
• Efficient p-norm for SEV (#2433) (@schillic)
• #2219 - Remove 'N<:Real' for some set types (#2435) (@schillic)
• Outsource method to other file (#2437) (@schillic)
• #2219 - Remove 'N<:Real' for some set types (#2438) (@schillic)
• Generalize _isapprox to arrays (#2439) (@schillic)
• Generalize Zonotope to AbstractZonotope in isdisjoint (#2442) (@schillic)
• #589 - More efficient box approximation of specific set types (#2443) (@schillic)
• Bloating: constraints_list and used in hausdorff_distance (#2446) (@schillic)
• #2447 - Fix plot for SArray inputs (#2448) (@mforets)
• Update Project.toml (#2449) (@mforets)