There is a newer version of the record available.

Published February 16, 2021 | Version v1.40.0

JuliaReach/LazySets.jl: v1.40.0

Description

LazySets v1.40.0

Diff since v1.39.0

Closed issues:

  • Remove duplicate vertices from linear_map of V-reps (#674)
  • Singleton containment invokes the wrong method (#1298)
  • Handle inexact vectors in ispermutation (#1337)
  • ispermutation works with different numeric types (#1593)
  • Use require function in ExponentialMap (#1634)
  • Faster intersection between a hyperrectangular set and an axis-aligned halfspace (#1800)
  • Iterative refinement fails for affine map with static vector (#1874)
  • _isapprox method for Array{<:LazySet} (#1916)
  • Treatment of unbounded intervals (#2349)
  • Fix equivalence of sets (#2370)
  • linear_map applied to VPolygon returns a VPolygon even for non-square matrix (#2567)

Merged pull requests:

  • #674 - Remove redundant vertices from linear_map of V-reps (#2564) (@schillic)
  • #1298 - Singleton containment invokes the wrong method (#2565) (@schillic)
  • #1916 - Fix crash in isequivalent for same set types (#2569) (@schillic)
  • #1337 - Fix ispermutation for approximate duplicates (#2570) (@schillic)
  • Downgrade ModelingToolkit (#2572) (@schillic)
  • Use fallback _linear_map_vrep for VPolygon (#2573) (@schillic)
  • #2219 - Review dispatch on numeric type in concrete intersection (#2574) (@mforets)
  • #1874 - Iterative refinement fails for static vectors (#2575) (@schillic)
  • #2349 - Check boundedness in Interval constructor (#2576) (@schillic)
  • #1800 - Faster intersection of an axis-aligned halfspace and a hyperrectangular set (#2580) (@SebastianGuadalupe)
  • Update Project.toml (#2581) (@mforets)

Files

JuliaReach/LazySets.jl-v1.40.0.zip

Files (668.1 kB)

Name Size Download all
md5:507ec4afe2dbf03e2eea8d753b411a9e
668.1 kB Preview Download

Additional details