There is a newer version of this record available.

Software Open Access

JuliaReach/LazySets.jl: v2.3.0

Christian Schilling; Marcelo Forets; Luca Ferranti; Sebastián Guadalupe; kpotomkin; Mauricio Vanzulli; ueliwechsler; Bruno Garate; tomerarnon; Daniel Freire Caporale; Ryan Birmingham; nikos-kekatos; Aadesh Deshmukh; David Reguera; Gustavo Goretkin; Julia TagBot; Morten Piibeleht; Peng Yu; Lasse Peters; viryfrederic

LazySets v2.3.0

Diff since v2.2.1

Closed issues:

  • Create single generator for approximately flat LineSegment (#2001)
  • Errors when computing intersection(HPolytope, Zonotope) (#3059)

Merged pull requests:

  • add unary quadratic_map for SPZ (#3056) (@lucaferranti)
  • Manual update: reorder packages and add contributor (#3066) (@schillic)
  • move docstrings for spz and sspz to binary_functions.md (#3067) (@lucaferranti)
  • add reduce_order for SPZ (#3069) (@lucaferranti)
  • Add translate for UnionSetArray (#3070) (@schillic)
  • Generalize reduce_order to AbstractZonotope (#3071) (@schillic)
  • Generalize box_approximation to LazySet (#3072) (@schillic)
  • Generalize low, high, extrema to LazySet (#3074) (@schillic)
  • Generalize some overapproximate methods from ConvexSet to LazySet (#3075) (@schillic)
  • Let box_approximation use extrema (#3076) (@schillic)
  • Revise EmptySet code (#3079) (@schillic)
  • Remove wrong docs entries for EmptySet (#3080) (@schillic)
  • Revise HalfSpace code (#3081) (@schillic)
  • Reorder polynomial zonotopes in docs (#3083) (@schillic)
  • Revise Interval code (#3084) (@schillic)
  • Revise HParallelotope code (#3085) (@schillic)
  • Revise Line code (#3086) (@schillic)
  • Fix constraints_list docs HParallelotope/Interval (#3087) (@schillic)
  • Revise Line2D code (#3088) (@schillic)
  • Revise LineSegment code (#3089) (@schillic)
  • Revise Hyperplane code (#3090) (@schillic)
  • Revise RotatedHyperrectangle code (#3091) (@schillic)
  • Revise Singleton code (#3092) (@schillic)
  • Revise ZeroSet code (#3093) (@schillic)
  • Revise Universe code (#3094) (@schillic)
  • Revise Hyperrectangle code (#3095) (@schillic)
  • Revise Star code (#3096) (@schillic)
  • Revise Zonotope code (#3097) (@schillic)
  • Generalize Initialization folder to LazySet (#3098) (@schillic)
  • Revise QuadraticMap code (#3099) (@schillic)
  • Revise samples code and generalize to LazySet (#3100) (@schillic)
  • Some docs improvements (#3101) (@schillic)
  • Revise HPolytope code and generalize isbounded to list of constraints (#3102) (@schillic)
  • Revise Complement code and generalize to LazySet (#3104) (@schillic)
  • Use Julia v1.8 in CI (#3105) (@schillic)
  • Revise VPolygon code (#3106) (@schillic)
  • Revise VPolytope code (#3107) (@schillic)
  • Remove interface comments (#3108) (@schillic)
  • Revise AbstractPolynomialZonotope and AbstractStar (#3109) (@schillic)
  • Revise helper functions and generalize to LazySet (#3110) (@schillic)
  • Fix (de)activate_assertions (#3111) (@schillic)
  • Revise Parallel code and generalize to LazySet (#3112) (@schillic)
  • Revise paraview code and generalize to LazySet (#3113) (@schillic)
  • Revise mesh code and generalize to LazySet (#3114) (@schillic)
  • Include non-convex polygon struct VPolygonNC :eight_spoked_asterisk: (#3116) (@mvanzulli)
  • Revise box-/ballinf-approximation and sih code (#3118) (@schillic)
  • Revise some Approximations code (#3119) (@schillic)
  • Update Project.toml (#3125) (@mforets)
Files (699.7 kB)
Name Size
JuliaReach/LazySets.jl-v2.3.0.zip
md5:008179a091f8703b75bff4ed5f262146
699.7 kB Download
1,483
1,565
views
downloads
All versions This version
Views 1,4836
Downloads 1,5650
Data volume 793.9 MB0 Bytes
Unique views 1,3575
Unique downloads 2460

Share

Cite as