There is a newer version of the record available.

Published March 12, 2020 | Version v1.32.0
Software Open

JuliaReach/LazySets.jl: v1.32.0

Creators

  • 1. IST Austria
  • 2. UdelaR
  • 3. Urudata Software
  • 4. Massey University

Description

LazySets v1.32.0

Diff since v1.31.0

Closed issues:

  • Add type parameter of linear constraint in HPolyhedron (#1771)
  • Concretely type linear constraint arrays (#1802)
  • Add type parameter of linear constraint in HPolygon (#1851)
  • Add type parameters for zonotope center and generators (#1900)
  • Overapproximate a lazy affine map with a hyperrectangle (#1940)
  • Add corresponding vector type and matrix type (#2032)
  • Add concrete parameter for linear constraint in HPolytope (#2035)
  • Add concrete type parameter for linear constraint in HPolygonOpt (#2036)

Merged pull requests:

  • #1900 - Add type parameters for zonotope (#2029) (@mforets)
  • #2032 - Add corresponding matrix type and vector type (#2039) (@mforets)
  • #1851 - Add type parameter of linear constraints (#2044) (@mforets)
  • #1940 - Overapproximate a lazy affine map with a hyperrectangle (#2049) (@SebastianGuadalupe)
  • Update Project.toml (#2050) (@mforets)
  • Update IntersectionArray.jl (#2053) (@mforets)
  • Update Project.toml (#2065) (@mforets)

Files

JuliaReach/LazySets.jl-v1.32.0.zip

Files (530.6 kB)

Name Size Download all
md5:3c494f951982182441a193af428327c2
530.6 kB Preview Download

Additional details

Related works

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