There is a newer version of the record available.

Published July 13, 2020 | Version v1.37.0
Software Open

JuliaReach/LazySets.jl: v1.37.0

Description

LazySets v1.37.0

Diff since v1.36.3

Closed issues:

  • Add vertices_list for HPolyhedron (#998)
  • Zonotope inclusion in hyperrectangle (#1555)
  • Extend isdisjoint for julia v1.5 (#2202)
  • Vertices list of minkowski sum of zonotopes (#2211)

Merged pull requests:

  • #998 - Add vertices list for HPolyhedron (#2128) (@mforets)
  • Add default solver to Polyhedra backend (#2195) (@schillic)
  • Two-dimensional zonotope vertex enumeration with positive generators (#2199) (@yupbank)
  • #2202 - Extend isdisjoint for Julia v1.5 (#2203) (@mforets)
  • Faster Zonotope inclusion in Hyperrectangle (#2205) (@SebastianGuadalupe)
  • Rename Line to Line2D (#2206) (@mforets)
  • #2211 - Vertices list of minkowski sum of zonotopes (#2212) (@SebastianGuadalupe)
  • Bump Documenter version (#2216) (@schillic)
  • Update Project.toml (#2217) (@mforets)

Files

JuliaReach/LazySets.jl-v1.37.0.zip

Files (581.6 kB)

Name Size Download all
md5:026e0bd571b00aa4572802932b8318e5
581.6 kB Preview Download

Additional details