Published March 1, 2026 | Version v6.0.0
Software Open

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

Diff since v5.3.0

Breaking changes

  • Replace ErrorExceptions with ArgumentErrors etc. (#4107)
  • Let @validate check ispolytopic for vertices(_list) (#4110)
  • Do not export ReachabilityBase.Arrays module (#4156)
  • Rename ball_norm to norm_ball (not exported) (#4181)
  • Bump IntervalArithmetic to v0.22+ (#4068)

Merged pull requests:

  • Bump IntervalArithmetic to v0.22+ (#4068) (@schillic)
  • Replace ErrorExceptions with ArgumentErrors etc. (#4107) (@schillic)
  • Let @validate check ispolytopic for vertices(_list) (#4110) (@schillic)
  • Do not export ReachabilityBase.Arrays module (#4156) (@schillic)
  • Rename ball_norm to norm_ball (#4181) (@schillic)
  • Allow IntervalBoxes v0.3 in tests (#4202) (@schillic)
  • Fix Project.toml (#4203) (@schillic)

Closed issues:

  • Version Restriction for IntervalArithmetic.jl Causing Problems (#3781)
  • TagBot: Manual intervention needed for releases (#4201)

Files

JuliaReach/LazySets.jl-v6.0.0.zip

Files (1.1 MB)

Name Size Download all
md5:ceb4749d5332d2c86480d1a58bcc194f
1.1 MB Preview Download

Additional details

Related works

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

Software

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