Published August 21, 2023
| Version v2.10.0
Software
Open
JuliaReach/LazySets.jl: v2.10.0
Creators
- Christian Schilling1
- Marcelo Forets2
- Luca Ferranti3
- Sebastián Guadalupe
- kpotomkin
- Mauricio Vanzulli4
- Frederik Baymler Mathiesen5
- Bruno Garate6
- tomerarnon
- Daniel Freire Caporale
- Ryan Birmingham
- nikos-kekatos
- Peng Yu7
- Lasse Peters8
- Aadesh Deshmukh9
- David Reguera
- Gustavo Goretkin
- Julia TagBot
- Morten Piibeleht10
- viryfrederic
- 1. Aalborg University
- 2. Universidad de la República
- 3. University of Vaasa
- 4. Facultad de Ingeniería UdelaR
- 5. TU Delft
- 6. Urudata Software
- 7. @Shopify
- 8. Delft University of Technology
- 9. University of Utah
- 10. @JuliaComputing
Description
LazySets v2.10.0
Closed issues:
- Add interface for balls (#1629)
- Concrete Minkowski sum of balls (#1630)
- Update "How to cite" in manual (#3347)
Merged pull requests:
- difference of Interval and HalfSpace & fix issubset of interval in union (#3351) (@schillic)
- Remove empty sets from intersection with union (#3352) (@schillic)
- #3347 - Add link to CITATION.bib to manual (#3354) (@schillic)
- intersection of CartesianProduct with polyhedron (#3361) (@schillic)
- constraints_list: faster for AbstractHyperrectangle and alternative for AbstractSingleton (#3363) (@schillic)
- Better linear_map of AbstractZonotope for 1D output (#3364) (@schillic)
- area: add for Ball2 and faster for BallInf and AbstractHyperrectangle (#3365) (@schillic)
- Line2D: merge docs, remove method from HalfSpace (#3366) (@schillic)
- Line: merge constructor docs to struct docs, add normalize option (#3367) (@schillic)
- Add AbstractBallp interface (#3368) (@schillic)
- Automatic JuliaFormatter.jl run (#3372) (@github-actions[bot])
- Update Project.toml (#3373) (@mforets)
Files
JuliaReach/LazySets.jl-v2.10.0.zip
Files
(736.4 kB)
Name | Size | Download all |
---|---|---|
md5:9af9b9c1f8f027c47387eb5e90f3c56d
|
736.4 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/JuliaReach/LazySets.jl/tree/v2.10.0 (URL)