Published July 26, 2020
| Version v1.37.4
Software
Open
JuliaReach/LazySets.jl: v1.37.4
Creators
- 1. IST Austria
- 2. UdelaR
- 3. Urudata Software
- 4. CSE undergrad at IIITT
- 5. Massey University
- 6. @Shopify
Description
LazySets v1.37.4
Closed issues:
- Implement iterator version of
vertices_list(#53) - Boundedness check for polyhedra using Stiemke's Theorem of alternatives (#1136)
- isbounded of empty polyhedron crashes (#1779)
- Inplace linear map for zonotopic sets (#2063)
- Concrete projection of a hyperrectangle should give a hyperrectangle (#2190)
- MT Polyhedron constructor (#2222)
- Error with new version of ModelingToolkit (#2223)
Merged pull requests:
- #1136 - Boundedness check for polyhedra using Stiemke's Theorem of alternatives (#2110) (@SebastianGuadalupe)
- #53 - Iterator versions of
constraints_listandvertices_list(#2263) (@schillic) - #2222 - Add HPolyhedron constructor using symbolic vars (#2270) (@mforets)
- #2190 - Concrete projection of hyperrectangular sets (#2272) (@mforets)
- #2063 - Add concrete in-place linear map for zonotope (#2273) (@mforets)
- Update Project.toml (#2279) (@mforets)
Files
JuliaReach/LazySets.jl-v1.37.4.zip
Files
(634.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:2c899109cdd004cd4bdd2a30ef298051
|
634.1 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/JuliaReach/LazySets.jl/tree/v1.37.4 (URL)