There is a newer version of the record available.

Published March 4, 2022 | Version v1.56.0
Software Open

JuliaReach/LazySets.jl: v1.56.0

  • 1. Aalborg University
  • 2. Universidad de la República
  • 3. Urudata Software
  • 4. University of Utah
  • 5. Massey University
  • 6. @Shopify
  • 7. University of Vaasa

Description

LazySets v1.56.0

Diff since v1.55.0

Closed issues:

  • Update optional dependencies page in the manual (#2924)
  • Reach sets (#2933)
  • GLPK not thread safe? (#2934)

Merged pull requests:

  • Add JCON badge to README (#2930) (@schillic)
  • Bring back fixed test (#2931) (@schillic)
  • Faster concrete intersection of mixed polygons (#2935) (@schillic)
  • Move Optional Dependencies to its own page (#2936) (@mforets)
  • Use test/Project file (#2939) (@schillic)
  • Update CI scripts (#2940) (@schillic)
  • Faster low/high for Zonotope (#2941) (@schillic)
  • CompatHelper: bump compat for JuMP to 0.23, (keep existing compat) (#2942) (@github-actions[bot])
  • Fix GLPK v1 and update Polyhedra & CDDLib (#2943) (@schillic)
  • Update MinkowskiSum.jl (#2945) (@mforets)
  • Update Project.toml (#2946) (@mforets)

Files

JuliaReach/LazySets.jl-v1.56.0.zip

Files (689.6 kB)

Name Size Download all
md5:feafa81efd17e413a03c6447af453247
689.6 kB Preview Download

Additional details