Published March 22, 2021
| Version v1.43.2
Software
Open
JuliaReach/LazySets.jl: v1.43.2
Authors/Creators
- 1. University of Konstanz
- 2. UdelaR
- 3. Urudata Software
- 4. IIITT
- 5. Massey University
- 6. @Shopify
Description
LazySets v1.43.2
Closed issues:
- Rotated hyperrectangle / orthogonal polytope (#1280)
Merged pull requests:
- #1280 - Rotated hyperrectangle (#2605) (@schillic)
- fix generator columns for the nonlinear terms in TM -> Zono conversion (#2627) (@mforets)
- Update Project.toml (#2628) (@mforets)
Files
JuliaReach/LazySets.jl-v1.43.2.zip
Files
(679.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ff12c6cb8680345c18bc295d7a4e7348
|
679.4 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/JuliaReach/LazySets.jl/tree/v1.43.2 (URL)