Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

There is a newer version of the record available.

Published August 25, 2022 | Version v2.2.0
Software Open

JuliaReach/LazySets.jl: v2.2.0

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.0

Diff since v2.1.1

Closed issues:

  • Review SPZ remove_redundant_generators (compact) (#3029)

Merged pull requests:

  • add remove_redundant_generators for SPZ (#3043) (@lucaferranti)
  • Switch to StaticArraysCore and make it a direct dependency (#3045) (@schillic)
  • Remove Pkg dependency (#3046) (@schillic)
  • Add extrema for AbstractCentrallySymmetric(Polytope) (#3048) (@schillic)
  • Use updated require function from ReachabilityBase (#3049) (@schillic)
  • Revise Ball1 code (#3050) (@schillic)
  • Revise Ball2 code (#3051) (@schillic)
  • Revise Ballp code (#3052) (@schillic)
  • Fix isconvextype (#3054) (@schillic)
  • underapproximate with a Ball2 (#3055) (@schillic)

Files

JuliaReach/LazySets.jl-v2.2.0.zip

Files (693.8 kB)

Name Size Download all
md5:a26b9f399b071d8d136ec4523d423c14
693.8 kB Preview Download

Additional details

Related works

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