Published March 17, 2023
| Version v2.7.0
Software
Open
JuliaReach/LazySets.jl: v2.7.0
Creators
- Christian Schilling1
- Marcelo Forets2
- Luca Ferranti3
- Sebastián Guadalupe
- kpotomkin
- Mauricio Vanzulli4
- ueliwechsler
- Bruno Garate5
- tomerarnon
- Daniel Freire Caporale
- Ryan Birmingham
- nikos-kekatos
- Frederik Baymler Mathiesen6
- Lasse Peters7
- Aadesh Deshmukh8
- David Reguera
- Gustavo Goretkin
- Julia TagBot
- Morten Piibeleht9
- Peng Yu10
- viryfrederic
- 1. Aalborg University
- 2. Universidad de la República
- 3. University of Vaasa
- 4. Facultad de Ingeniería UdelaR
- 5. Urudata Software
- 6. TU Delft
- 7. Delft University of Technology
- 8. University of Utah
- 9. @JuliaComputing
- 10. @Shopify
Description
LazySets v2.7.0
Closed issues:
- Generalize methods to AbstractPolyhedron (#1078)
- Conversion from simple HRep to list of constraints (#1610)
- Remove N<:Real annotation (#2219)
- vertices_list of an empty HParallelotope is non-empty (#2786)
- Random parallelotope generation often returns an empty set (#3203)
- Documentation Update section causes error (#3242)
Merged pull requests:
- #2786 - Add consistency check to HParallelotope constructor and use cheap isempty method (#3219) (@schillic)
- #3203 - Make rand of HParallelotope return a nonempty set (#3221) (@schillic)
- #1078 - Generalize isempty from HPolyhedron to (polyhedral) LazySet (#3235) (@schillic)
- #2219 - Remove remaining N<:Real annotations (#3236) (@schillic)
- Update manual (getting started) (#3243) (@schillic)
- Move some code to interface files (#3244) (@schillic)
- Remove dependency on JuMP.MOI (#3245) (@schillic)
Files
JuliaReach/LazySets.jl-v2.7.0.zip
Files
(707.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ab0db294b855f6261067bbadb215c13d
|
707.1 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/JuliaReach/LazySets.jl/tree/v2.7.0 (URL)