JuliaReach/LazySets.jl: v1.37.15

LazySets 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