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 12, 2023 | Version v2.9.0
Software Open

JuliaReach/LazySets.jl: v2.9.0

Creators

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

Description

LazySets v2.9.0

Diff since v2.8.0

Closed issues:

  • Add interfaces for operation set types (#269)
  • Add decomposition for HalfSpaces (#1086)
  • Extra allocation in inclusion test for UnionSet (#1857)
  • Extra allocs in disjointness checks for unions (#1858)

Merged pull requests:

  • Better constraints_list of 1D/2D VPolytopes (#3350) (@schillic)
  • Fix plot of union (#3355) (@schillic)
  • Switch from thread-local to task-local LP solvers (#3356) (@Zinoex)
  • Replace ColumnIterator with eachcol (#3357) (@schillic)
  • Revise binary and n-ary lazy operations (#3358) (@schillic)
  • Fix plotting (#3359) (@schillic)
  • Generalize linear_map_inverse to affine_map_inverse (#3360) (@schillic)
  • Automatic JuliaFormatter.jl run (#3362) (@github-actions[bot])
  • Adapt to ReachabilityBase v0.2 (#3369) (@schillic)
  • v2.9.0 (#3371) (@schillic)

Files

JuliaReach/LazySets.jl-v2.9.0.zip

Files (732.1 kB)

Name Size Download all
md5:694612e6ba01132c278c08523a2c4203
732.1 kB Preview Download

Additional details

Related works

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