There is a newer version of the record available.

Published February 23, 2023 | Version v2.6.0
Software Open

JuliaReach/LazySets.jl: v2.6.0

  • 1. Aalborg University
  • 2. Universidad de la República
  • 3. University of Vaasa
  • 4. Facultad de Ingeniería UdelaR
  • 5. Urudata Software
  • 6. TU Delft
  • 7. Delft University of Technology
  • 8. University of Utah
  • 9. @JuliaComputing
  • 10. @Shopify

Description

LazySets v2.6.0

Diff since v2.5.0

Closed issues:

  • Concrete Minkowski difference for zonotopes (#586)
  • HPolygon's addconstraint! should ignore/replace constraints with same normal direction (#653)
  • HPolytope's removehredundancy! removes non-redundant constraints (#754)
  • Iterative refinement of HPolygon with redundant constraint adds unexpected constraint (#895)
  • tohrep(::VPolytope) results in unbounded polytope (#1234)
  • Overapproximation of zonotope with polyhedron in constraint representation (#1328)
  • Different result for intersection using HPolyhedron or HPolytope (#1348)
  • HPolygon should not reorder already-sorted constraints (#1393)
  • Convert AbstractPolyhedron to Polyhedra.polyhedron (#1505)
  • Docstrings with kwargs (#1650)
  • Faster support function for CPA and canonical vectors (#1758)
  • Add test for MiniQhull optional dependency (#2077)
  • Documentation redefinition in require blocks (#2080)
  • Fix warnings with Polyhedra (#2162)
  • addconstraint! for HPolygon differs with linear_search option (#2426)
  • Error when passing LP solver to Polyhedra (#2542)
  • AssertionError in is_tighter_same_dir_2D (#2582)
  • Checking equality of Complements Unexpected Behavior. (#2686)
  • Fix links in documentation (#2721)
  • Undefined LP in remove_redundant_constraints (#2732)
  • Overapproximation with zonotope and PolarDirections (CPA algorithm) crashes (#2833)
  • MethodError in eps close approx of Bloating (#2894)
  • rand doesn't work with Rational{Int} (#3019)
  • isdisjoint of flat zonotope with polyhedron returns wrong answer (#3038)
  • Generalize polyhedron to AbstractPolyhedron (#3060)
  • EmptySet is not quite the absorbing operation for CartesianProduct (#3078)
  • Support vector of Ball2 in zero direction (#3198)
  • constraints_list of flat zonotopes is wrong (#3209)
  • Depend on MathOptInterface directly instead of referencing the internal variable of JuMP (#3238)

Merged pull requests:

  • Update publications (#3197) (@schillic)
  • #1758 - faster support function/vector for CartesianProduct/CartesianProductArray (#3199) (@schillic)
  • #3198 - Fix support vector of Ball2 in zero direction (#3200) (@schillic)
  • Overapproximation for intersection of zonotope and hyperplane (#3201) (@schillic)
  • Add reference (#3202) (@schillic)
  • Add volume method for HParallelotope (#3204) (@schillic)
  • Add order-reduction method with parallelotope (#3205) (@schillic)
  • #586 - Concrete Minkowski difference for zonotopes (#3206) (@schillic)
  • Fix vrep_chull algorithm and simplify code (#3207) (@schillic)
  • #3078 - Fix CartesianProduct constructor with EmptySet (#3208) (@schillic)
  • #3209 - Fix constraints_list of flat zonotopes (#3210) (@schillic)
  • #2833 - Fix automatic generation of template-direction instances (#3211) (@schillic)
  • #2426 - Fix binary search in addconstraint! for polygons (#3213) (@schillic)
  • #1348 - Improved bound for line search (#3214) (@schillic)
  • #2077 - Add test for MiniQhull (#3216) (@schillic)
  • #2080 - Pull out documentation from requires blocks (#3217) (@schillic)
  • #2732 - Simplify remove_redundant_constraints! code (#3218) (@schillic)
  • Use newer version of Makie in tests (#3220) (@schillic)
  • Add publications (#3222) (@schillic)
  • #3060 - Generalize polyhedron to LazySet (#3223) (@schillic)
  • Use rng in all rand calls (#3224) (@schillic)
  • #2162 - Fix warning with Polyhedra (#3225) (@schillic)
  • Fix check for elimination algorithm type in _minkowski_sum_hrep (#3227) (@Zinoex)
  • Fix variable naming error in overapproximate to HPolyhedron (#3228) (@Zinoex)
  • Make names dir/dirs consistent (#3229) (@schillic)
  • Add test for #3227 (_minkowski_sum_hrep with algorithm given) (#3230) (@schillic)
  • Update Symbolics in tests (#3232) (@schillic)
  • Remove invoke calls (#3233) (@schillic)
  • Fix support vector of unbounded HPolyhedron (#3234) (@schillic)
  • Fix #3238 -- MathOptInterface -> MOI (#3239) (@lassepe)
  • Update Project.toml (#3240) (@schillic)

Files

JuliaReach/LazySets.jl-v2.6.0.zip

Files (706.7 kB)

Name Size Download all
md5:0beec3fda34fe7c5735eb42e2ed19f1b
706.7 kB Preview Download

Additional details

Related works