There is a newer version of the record available.

Published January 13, 2021 | Version v1.38.1
Software Open

JuliaReach/LazySets.jl: v1.38.1

Authors/Creators

  • 1. University of Konstanz
  • 2. UdelaR
  • 3. Urudata Software
  • 4. IIITT
  • 5. Massey University
  • 6. @Shopify

Description

LazySets v1.38.1

Diff since v1.38.0

Closed issues:

  • Update to MT v4 (#2411)
  • default_polyhedra_backend should not take N as argument (#2436)
  • Default option not applied to flat 2D zonotope (#2450)
  • Overapproximating lazy intersection of zonotope with polygon (#2451)

Merged pull requests:

  • update concrete minkowski sum (#2488) (@mforets)
  • vertices_list for Intersection (#2493) (@schillic)
  • Apply convex hull in vertices_list(zonotope) (#2494) (@schillic)
  • #2436 - Remove argument from default_polyhedra_backend (#2495) (@schillic)
  • cleanup export (#2497) (@mforets)
  • Update to ModelingToolkit v4.5 (#2499) (@mforets)
  • Update Project.toml (#2501) (@mforets)

Files

JuliaReach/LazySets.jl-v1.38.1.zip

Files (656.5 kB)

Name Size Download all
md5:5f75486cc561455caa187b6a7f0af46f
656.5 kB Preview Download

Additional details

Related works

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