There is a newer version of the record available.

Published July 5, 2020 | Version v1.36.3
Software Open

JuliaReach/LazySets.jl: v1.36.3

Description

LazySets v1.36.3

Diff since v1.36.2

Closed issues:

  • Function to normalize a polytope's directions (#1698)
  • Use tolerance in membership test of Polyhedron (#2089)
  • Compute the overapproximation of the convex hull array of zonotopes with a zonotope recursively (#2154)
  • LazySets not loading (#2184)

Merged pull requests:

  • #2154 - Compute the overapproximation of the convex hull array of zonotopes with a zonotope recursively (#2185) (@SebastianGuadalupe)
  • Bump GLPKMathProgInterface and Optim (#2189) (@schillic)
  • Add floating-point tolerance to is_tighter_same_dir_2D (#2191) (@schillic)
  • Always use constraint representation in linear_map_cartesian_product (#2194) (@schillic)
  • Return HPolytope in projection of polytope (#2196) (@schillic)
  • #2089 - Use tolerance in membership test of Polyhedron (#2197) (@SebastianGuadalupe)
  • Remove wrong assertion (#2200) (@schillic)
  • #1698 - Function to normalize a polytope's directions (#2201) (@schillic)
  • Allow emptiness check with zonotopes without generators (#2204) (@mforets)
  • Update Project.toml (#2207) (@mforets)

Files

JuliaReach/LazySets.jl-v1.36.3.zip

Files (580.1 kB)

Name Size Download all
md5:f2ebfd76219f3ae7cbbb6c708469c933
580.1 kB Preview Download

Additional details