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
Publication date
August 2022
DOIAbstract
LazySets v2.2.0 Diff since v2.1.1 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
Add to ORKG