There is a newer version of the record available.

Published August 27, 2022 | Version v2.2.1
Software Open

JuliaReach/LazySets.jl: v2.2.1

Authors/Creators

  • 1. Aalborg University
  • 2. Universidad de la República
  • 3. University of Vaasa
  • 4. Urudata Software
  • 5. University of Utah
  • 6. Massey University
  • 7. @Shopify
  • 8. Delft University of Technology

Description

LazySets v2.2.1

Diff since v2.2.0

Closed issues:

  • ERROR: AssertionError: package 'Polyhedra' not loaded (it is required for executing tohrep) despite it being present (#3062)

Merged pull requests:

  • add minkowski sum for sparse polynomial zonotope (#3057) (@lucaferranti)
  • Add translate for SPZ (#3058) (@lucaferranti)
  • Revise BallInf code (#3063) (@schillic)
  • Pass MODULE to require function explicitly (#3064) (@schillic)
  • Revise Ellipsoid code (#3065) (@schillic)

Files

JuliaReach/LazySets.jl-v2.2.1.zip

Files (694.5 kB)

Name Size Download all
md5:8842f722e0a15ebb7f74978993833748
694.5 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/JuliaReach/LazySets.jl/tree/v2.2.1 (URL)