There is a newer version of the record available.

Published June 1, 2021 | Version v1.45.0
Software Open

JuliaReach/LazySets.jl: v1.45.0

Authors/Creators

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

Description

LazySets v1.45.0

Diff since v1.44.5

Closed issues:

  • Remove linear dependencies from zonotope's generators in constraints_list (#1453)
  • Wrong vertices list of an empty set (#2713)
  • Missing conversion from sparse singleton to Zonotope (#2723)

Merged pull requests:

  • #1453 - Remove redundant generators in constraints_list (#2642) (@schillic)
  • Add minkowski_sum with ZeroSet (#2712) (@schillic)
  • #2713 - Fix vertices/vertices_list for EmptySet (#2714) (@schillic)
  • More efficient remove_redundant_generators (#2719) (@schillic)
  • First version of the Tour (#2720) (@mforets)
  • Update packages when building the docs (#2722) (@schillic)
  • #2723 - Generalize convert from Singleton to Zonotope (#2724) (@schillic)
  • Update README.md (#2725) (@mforets)
  • Update Project.toml (#2726) (@mforets)

Files

JuliaReach/LazySets.jl-v1.45.0.zip

Files (696.0 kB)

Name Size Download all
md5:27369dba388e8ce24160e20a62f26069
696.0 kB Preview Download

Additional details

Related works

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