There is a newer version of the record available.

Published December 21, 2023 | Version v2.11.1
Software Open

JuliaReach/LazySets.jl: v2.11.1

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

Description

LazySets v2.11.1

Diff since v2.11.0

Merged pull requests:

  • Bump actions/checkout from 3 to 4 (#3379) (@dependabot[bot])
  • Bump compat for Documenter to 1 (#3381) (@schillic)
  • Automatic JuliaFormatter.jl run (#3382) (@github-actions[bot])
  • Remove documentation of unexported AbstractBallp methods (#3383) (@schillic)
  • Update reference to Gitter -> Zulip (#3384) (@schillic)
  • Bump compat for IntervalMatrices to 0.9 (#3386) (@schillic)
  • Spell checker (#3389) (@schillic)
  • Faster infinity norm (#3390) (@schillic)
  • #3394 - Better containment check in LinearMap/AbstractAffineMap (#3395) (@schillic)
  • Update versions of Makie and SCS (#3396) (@schillic)
  • Robust subset check for zonotope in polyhedron (#3397) (@schillic)
  • Add publications (#3402) (@schillic)
  • Set GR version in docs/Project to 0.* (#3403) (@schillic)
  • Freeze version of IntervalArithmetic (#3404) (@schillic)
  • Add concretize methods for UnionSet and UnionSetArray (#3406) (@schillic)
  • Add is_polyhedral for CartesianProductArray and assertion (#3407) (@schillic)
  • Add tests for is_polyhedral of CartesianProductArray (#3408) (@schillic)
  • v2.11.1 (#3409) (@schillic)

Closed issues:

  • Containment check in a LinearMap can fail with SingularException (#3394)
  • Inclusion check of flat zonotope in equivalent line segment fails (#3405)

Files

JuliaReach/LazySets.jl-v2.11.1.zip

Files (738.3 kB)

Name Size Download all
md5:3bdd7f746622006cf20b869cc35d1df6
738.3 kB Preview Download

Additional details

Related works