There is a newer version of the record available.

Published November 14, 2022 | Version v2.4.0
Software Open

JuliaReach/LazySets.jl: v2.4.0

  • 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

Diff since v2.3.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