There is a newer version of the record available.

Published April 10, 2020 | Version v1.34.0
Software Open

JuliaReach/LazySets.jl: v1.34.0

Description

LazySets v1.34.0

Diff since v1.33.0

Closed issues:

  • Optional algorithms for <= (#202)
  • Let isempty optionally produce a witness (#1007)
  • Revisit delete_zero_columns! (#1901)
  • Improve performance of minkowski_sum of two Zonotopes (#1975)
  • Review Zonotope constructor from center and list of generators (#2045)
  • Narrow element type in abstract directions (#2051)
  • Scaling from the right (#2070)
  • Updates to AbstractDirections (#2087)

Merged pull requests:

  • Remove zero gens check in zonotope constructor (#2072) (@mforets)
  • Update .travis.yml (#2083) (@mforets)
  • #2087 - Updates to template directions (#2088) (@mforets)
  • #2070 - Scaling from the right (#2099) (@mforets)
  • Test for HPolyhedron's an_element method (#2104) (@schillic)
  • Update Project.toml (#2109) (@mforets)

Files

JuliaReach/LazySets.jl-v1.34.0.zip

Files (534.6 kB)

Name Size Download all
md5:3143f92b29ea9f81eda5435bd9afff52
534.6 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/JuliaReach/LazySets.jl/tree/v1.34.0 (URL)