There is a newer version of the record available.

Published September 16, 2021 | Version v1.50.0
Software Open

JuliaReach/LazySets.jl: v1.50.0

Authors/Creators

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

Description

LazySets v1.50.0

Diff since v1.49.1

Closed issues:

  • very slow sampling from a 3-dimensional HPolytope (Julia 1.5.2) (#2536)
  • Skip TM normalization if already normalized (#2818)
  • Change code examples to doctests (#2823)
  • update publication list on the README (#2834)
  • isbounded of 1D Hyperplane is wrong (#2840)

Merged pull requests:

  • Alternative polytope sampler (#2563) (@schillic)
  • Add 'normalize' parameter to overapproximate(::TM, Zonotope) (#2820) (@schillic)
  • Fix get_linear_coeffs (#2822) (@schillic)
  • #2823 - Change code examples to doctests (#2824) (@schillic)
  • Add more robust sampler (#2826) (@schillic)
  • Update README.md (#2835) (@mforets)
  • Add boxdot as alias for SymmetricIntervalHull (#2836) (@schillic)
  • #2840 - Fix isbounded of 1D Hyperplane (#2841) (@schillic)
  • Generalize rectify to arrays (#2843) (@schillic)
  • Update README.md (#2844) (@mforets)

Files

JuliaReach/LazySets.jl-v1.50.0.zip

Files (709.1 kB)

Name Size Download all
md5:9c89cab56826714867c89944a871d22c
709.1 kB Preview Download

Additional details

Related works

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