Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published May 8, 2023 | Version v2.7.6
Software Open

JuliaReach/LazySets.jl: v2.7.6

  • 1. Aalborg University
  • 2. Universidad de la República
  • 3. University of Vaasa
  • 4. Facultad de Ingeniería UdelaR
  • 5. Urudata Software
  • 6. TU Delft
  • 7. Delft University of Technology
  • 8. University of Utah
  • 9. @JuliaComputing
  • 10. @Shopify

Description

LazySets v2.7.6

Diff since v2.7.5

Merged pull requests:

  • Fix linear_map with number (#3322) (@schillic)

Files

JuliaReach/LazySets.jl-v2.7.6.zip

Files (723.8 kB)

Name Size Download all
md5:c2d7470313aacaf4499776d5d6fa02dc
723.8 kB Preview Download

Additional details

Related works