Published March 4, 2022
| Version v1.56.0
Software
Open
JuliaReach/LazySets.jl: v1.56.0
Creators
- 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
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
Related works
- Is supplement to
- https://github.com/JuliaReach/LazySets.jl/tree/v1.56.0 (URL)