There is a newer version of the record available.

Published August 20, 2025 | Version v5.0.0
Software Open

JuliaReach/LazySets.jl: v5.0.0

Authors/Creators

  • 1. Aalborg University
  • 2. Universidad de la República
  • 3. TU Delft
  • 4. @SRA-VJTI
  • 5. @PlantingSpace
  • 6. Urudata Software
  • 7. @Shopify
  • 8. Delft University of Technology
  • 9. AMD
  • 10. ZeroDeposit
  • 11. @JuliaComputing

Description

LazySets v5.0.0

Diff since v4.0.1

Breaking changes

  • Add @validate macro to validate inputs; this is mildly breaking in cases where invalid inputs were previously (unintentionally) accepted (#3939, #3943, #3947, #3992, #3994, #3963, #4006, #3964, #3960)
  • Extend ExponentialMap to support MatrixZonotopeExps and rename spmexp field to expmat (use the matrix getter to be unaffected by this change) (#3970)
  • Extend LinearMap to support AbstractMatrixZonotopes (#3969)
  • Rename stack fields to directions for some template directions (#3921)
  • Remove methods for IntervalArithmetic types (#3945)

Closed issues:

  • Add matrix zonotopes (#1030)
  • Concrete cartesian product of zonotopes in standard form (#2739)
  • Add definition of area for other set (#3814)
  • Edge case of 'remove_redundant_generator' function for SPZ (#3955)
  • Make overapproximate more robust (#3971)
  • Let minkowski_sum of SparsePolynomialZonotope preserve index vector (#3976)

Files

JuliaReach/LazySets.jl-v5.0.0.zip

Files (1.1 MB)

Name Size Download all
md5:b7a8be411cbc23e96a78941224bc9004
1.1 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/JuliaReach/LazySets.jl/tree/v5.0.0 (URL)

Software

Repository URL
https://github.com/JuliaReach/LazySets.jl