There is a newer version of the record available.

Published July 12, 2022 | Version v1.58.1
Software Open

JuliaReach/LazySets.jl: v1.58.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

Description

LazySets v1.58.1

Diff since v1.58.0

Closed issues:

  • Conversion from abstract zonotope to PZ (#2983)
  • Overapproximate CH with 0-gens zonotope (#2994)
  • should genmat(::Hyperrectangle) return a diagonal matrix? (#2997)

Merged pull requests:

  • add conversion from zonotope to sspz (#2991) (@lucaferranti)
  • Overapproximate CH with 0-gens zonotope (#2995) (@mforets)
  • sspz docs tweaks (#2996) (@mforets)
  • add docs preview (#2998) (@lucaferranti)

Files

JuliaReach/LazySets.jl-v1.58.1.zip

Files (700.2 kB)

Name Size Download all
md5:7e13327402a4e5390de7645373b90739
700.2 kB Preview Download

Additional details

Related works

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