Published July 29, 2026 | Version v7.0.0

JuliaReach/LazySets.jl: v7.0.0

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

Description

LazySets v7.0.0

Diff since v6.1.0

Announcements

Contributors for this release:

Breaking changes

  • Use package extensions for all optional dependencies and drop Requires dependency (this should not be breaking normal use cases) (4315, 4318, 4320, 4321, 4322, 4323, 4324, 4329, 4330, 4331, 4333, 4334, 4335, 4336, 4337, 4338, 4339, 4340, 4341, 4343, 4345, 4348, 4351, 4354)
  • Make IntervalArithmetic a hard dependency of HyperrectangleModule (this should not be breaking normal use cases) (4346)
  • Remove the SPZ and SSPZ aliases (4356)
  • Remove the element function for singletons (use the equivalent function center instead, which is backward-compatible) (4356)
  • Remove the singleton_list function (4356)
  • Remove the HPolygonOpt struct (4356)
  • Rename the min/max methods for Intervals (use the equivalent functions low(X, 1)/high(X, 1) instead, which is backward-compatible) (4356)

Merged pull requests:

  • Use package extension for RecipesBase (#4315) (@schillic)
  • Use package extension for Distributions (#4318) (@schillic)
  • Use package extension for SCS (#4320) (@schillic)
  • Use package extension for Javis (#4321) (@schillic)
  • Use package extension for WriteVTK (#4322) (@schillic)
  • Use package extension for Ipopt (#4323) (@schillic)
  • Use package extension for Makie (#4324) (@schillic)
  • Use package extension for IntervalConstraintProgramming (#4329) (@schillic)
  • Use package extension for SetProg (#4330) (@schillic)
  • Use package extension for SymEngine (#4331) (@schillic)
  • Use package extension for Symbolics (#4333) (@schillic)
  • Use package extension for Expokit (#4334) (@schillic)
  • Use package extension for ExponentialUtilities (#4335) (@schillic)
  • Use package extension for RangeEnclosures (#4336) (@schillic)
  • Use package extension for Optim (#4337) (@schillic)
  • Use package extension for MiniQhull (#4338) (@schillic)
  • Use package extension for CDDLib (#4339) (@schillic)
  • Use package extension for IntervalBoxes (#4340) (@schillic)
  • Use package extension for GeometryBasics (#4341) (@schillic)
  • Use package extension for IntervalMatrices (#4343) (@schillic)
  • Use package extension for StaticArraysCore (#4345) (@schillic)
  • Make IntervalArithmetic a hard dependency of HyperrectangleModule (#4346) (@schillic)
  • Use package extension for Polyhedra (#4348) (@schillic)
  • Use package extension for TaylorModels (#4351) (@schillic)
  • Clean up package extensions (#4353) (@schillic)
  • Use package extension for Distributed (#4354) (@schillic)
  • Remove redundant functions and HPolygonOpt (#4355) (@schillic)
  • v7.0.0 (#4359) (@schillic)

Files

JuliaReach/LazySets.jl-v7.0.0.zip

Files (1.2 MB)

Name Size Download all
md5:a749ece652b000a842b073a720f3eb6f
1.2 MB Preview Download

Additional details

Related works