Published July 21, 2026 | Version v6.1.0
Software Open

JuliaReach/LazySets.jl: v6.1.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 v6.1.0

Diff since v6.0.4

Merged pull requests:

  • Use new ExplicitImports interface (#4308) (@schillic)
  • Bump codecov/codecov-action from 6 to 7 (#4309) (@dependabot[bot])
  • Bump actions/checkout from 6 to 7 (#4310) (@dependabot[bot])
  • Use package extensions for LazySets in inner modules (#4314) (@schillic)
  • Remove global variables (#4319) (@schillic)
  • Be explicit about Polyhedra.polyhedron (#4325) (@schillic)
  • Use SetProg in tests again (#4326) (@schillic)
  • Minor fixes to HalfSpace tests (#4327) (@schillic)
  • Use dependency instead of internal function in test (#4328) (@schillic)
  • Avoid using Symbolics in tests (#4332) (@schillic)
  • Use midpoint_radius (#4342) (@schillic)
  • Raise minimum version of StaticArrays in tests & docs (#4344) (@schillic)
  • Sampler for UnionSetArray (#4347) (@giacomobais)
  • Format code (#4349) (@schillic)
  • Automatic JuliaFormatter.jl run (#4350) (@github-actions[bot])
  • Avoid unnecessary qualified accesses (#4352) (@schillic)
  • v6.1.0 (#4356) (@schillic)
  • Remove [extras] from Project.toml (#4357) (@schillic)
  • Make LazySetsExt part of the main code again (#4358) (@schillic)

Files

JuliaReach/LazySets.jl-v6.1.0.zip

Files (1.2 MB)

Name Size Download all
md5:b98c08e890dad4b54405cf4b648953ad
1.2 MB Preview Download

Additional details

Related works

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

Software

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