Published November 14, 2022
| Version v2.4.0
Software
Open
JuliaReach/LazySets.jl: v2.4.0
Creators
- Christian Schilling1
- Marcelo Forets2
- Luca Ferranti3
- Sebastián Guadalupe
- kpotomkin
- Mauricio Vanzulli4
- ueliwechsler
- Bruno Garate5
- tomerarnon
- Daniel Freire Caporale
- Ryan Birmingham
- nikos-kekatos
- Aadesh Deshmukh6
- David Reguera
- Gustavo Goretkin
- Julia TagBot
- Morten Piibeleht7
- Peng Yu8
- Lasse Peters9
- viryfrederic
- 1. Aalborg University
- 2. Universidad de la República
- 3. University of Vaasa
- 4. Facultad de Ingeniería UdelaR
- 5. Urudata Software
- 6. University of Utah
- 7. @JuliaComputing
- 8. @Shopify
- 9. Delft University of Technology
Description
LazySets v2.4.0
Closed issues:
- Restrict generic inclusion between line segment and lazy sets to convex type (#1856)
- Extend LazySet to non-convex sets (#1895)
- Unary convex hull (#2755)
- Rename VPolygonNC to Polygon (#3137)
Merged pull requests:
- Revise Bloating code (#3103) (@schillic)
- Revise iterative_refinement code (#3121) (@schillic)
- Revise template_directions code (#3122) (@schillic)
- Generalize plotting to non-convex sets and add some functionality for VPolygonNC (#3127) (@schillic)
- Revise decompositions code (#3128) (@schillic)
- Revise distance code and generalize to LazySet (#3129) (@schillic)
- Revise exact_sum code (#3130) (@schillic)
- Revise isstrictsubset code and generalize to LazySet (#3131) (@schillic)
- Revise linear_combination code (#3132) (@schillic)
- revise minkowski_difference code and generalize to LazySet (#3133) (@schillic)
- Revise difference code and generalize to LazySet (#3134) (@schillic)
- Revise cartesian_product code and generalize to LazySet (#3135) (@schillic)
- Fix docstring (#3136) (@schillic)
- #3137 - Rename VPolygonNC to Polygon (#3138) (@schillic)
- Revise plot_recipes code and overapproximation of SPZ (#3139) (@schillic)
- Revise overapproximate code and generalize to LazySet (#3140) (@schillic)
- Remove unused type parameters (#3141) (@schillic)
- Add some sets to unions (Non)CompactSet (#3142) (@schillic)
- Revise AbstractSingleton code (#3143) (@schillic)
- Revise AbstractPolytope code (#3144) (@schillic)
- Revise minkowski_sum code and generalize to LazySet (#3145) (@schillic)
- Update publications (#3146) (@schillic)
- Revise intersection code and generalize to LazySet (#3147) (@schillic)
- Revise convex_hull code and generalize to LazySet (#3148) (@schillic)
- Revise LazySet code (#3149) (@schillic)
- Revise AbstractPolyhedron code (#3150) (@schillic)
- Revise AbstractPolygon code (#3151) (@schillic)
- Revise AbstractCentrallySymmetric code (#3152) (@schillic)
- Revise AbstractCentrallySymmetricPolytopic code (#3153) (@schillic)
- Revise issubset code and generalize to LazySet (#3154) (@schillic)
- Revise isdisjoint code and generalize to LazySet (#3156) (@schillic)
- Revise AbstractHyperrectangle code (#3157) (@schillic)
- Revise convert code and generalize to LazySet (#3159) (@schillic)
- Revise AbstractPolyhedron code (#3161) (@schillic)
- Revise HPolyhedron code (#3162) (@schillic)
- Revise AbstractAffineMap code (#3163) (@schillic)
- Revise HPolygon, HPolygonOpt, and AbstractHPolygon code (#3164) (@schillic)
- Revise macros code (#3165) (@schillic)
- Revise DensePolynomialZonotope code (#3166) (@schillic)
- Revise SimpleSparsePolynomialZonotope code (#3167) (@schillic)
- Revise AffineMap code (#3168) (@schillic)
- Revise CachedMinkowskiSum code (#3170) (@schillic)
- Revise CartesianProductArray code (#3171) (@schillic)
- Revise ConvexHullArray code and generalize to LazySet (#3172) (@schillic)
- Revise IntersectionArray code (#3173) (@schillic)
- Revise MinkowskiSumArray code (#3174) (@schillic)
- Revise UnionSetArray code and generalize to LazySet (#3175) (@schillic)
- Revise CartesianProduct code (#3176) (@schillic)
- Revise ConvexHull code and generalize to ConvexSet (#3177) (@schillic)
- Revise Intersection code (#3178) (@schillic)
- Revise MinkowskiSum code (#3179) (@schillic)
- Revise UnionSet code and generalize to LazySet (#3180) (@schillic)
- Revise InverseLinearMap code (#3181) (@schillic)
- Revise QuadraticMap code (#3182) (@schillic)
- Revise ResetMap code (#3183) (@schillic)
- Revise Translation code (#3184) (@schillic)
- Generalize ConvexSet methods to LazySet (#3185) (@schillic)
- Revise SymmetricIntervalHull code and generalize to LazySet (#3187) (@schillic)
- Revise LinearMap code (#3188) (@schillic)
- Revise ExponentialMap code (#3189) (@schillic)
- Revise SparsePolynomialZonotope code (#3190) (@schillic)
- Revise AbstractZonotope code (#3191) (@schillic)
- Revise Rectification code and generalize to LazySet (#3192) (@schillic)
- Update Project.toml (#3193) (@schillic)
Files
JuliaReach/LazySets.jl-v2.4.0.zip
Files
(700.6 kB)
Name | Size | Download all |
---|---|---|
md5:fa2ed41b82fb0f861373e2c48b8b9b04
|
700.6 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/JuliaReach/LazySets.jl/tree/v2.4.0 (URL)