Software Open Access
JuliaReach/LazySets.jl: v2.2.0
Christian Schilling; Marcelo Forets; Luca Ferranti; Sebastián Guadalupe; kpotomkin; ueliwechsler; Bruno Garate; tomerarnon; dfcaporale; Ryan Birmingham; nikos-kekatos; Aadesh Deshmukh; David Reguera; Gustavo Goretkin; Julia TagBot; Morten Piibeleht; Peng Yu; Lasse Peters; viryfrederic
LazySets v2.2.0
Closed issues:
- Review SPZ
remove_redundant_generators(compact) (#3029)
Merged pull requests:
- add remove_redundant_generators for SPZ (#3043) (@lucaferranti)
- Switch to StaticArraysCore and make it a direct dependency (#3045) (@schillic)
- Remove Pkg dependency (#3046) (@schillic)
- Add extrema for AbstractCentrallySymmetric(Polytope) (#3048) (@schillic)
- Use updated require function from ReachabilityBase (#3049) (@schillic)
- Revise Ball1 code (#3050) (@schillic)
- Revise Ball2 code (#3051) (@schillic)
- Revise Ballp code (#3052) (@schillic)
- Fix isconvextype (#3054) (@schillic)
- underapproximate with a Ball2 (#3055) (@schillic)
Files
(693.8 kB)
| Name | Size | |
|---|---|---|
|
JuliaReach/LazySets.jl-v2.2.0.zip
md5:a26b9f399b071d8d136ec4523d423c14 |
693.8 kB | Download |
1,481
1,565
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 1,481 | 13 |
| Downloads | 1,565 | 0 |
| Data volume | 793.9 MB | 0 Bytes |
| Unique views | 1,355 | 13 |
| Unique downloads | 246 | 0 |
Available in
Indexed in
Indexed in
- Publication date:
- August 25, 2022
- DOI:
-
- Related identifiers:
- Supplement to
- License (for files):
- Other (Open)