Published September 21, 2021
| Version v1.51.0
Software
Open
JuliaReach/LazySets.jl: v1.51.0
Authors/Creators
- 1. University of Konstanz
- 2. UdelaR
- 3. Urudata Software
- 4. University of Utah
- 5. Massey University
- 6. @Shopify
- 7. University of Vaasa
Description
LazySets v1.51.0
Closed issues:
- Make convex_hull for EmptySet a no-op (#2715)
- Define getindex for arrays of sets (#2716)
- Convex hull of a union (#2756)
- Add isboundedtype methods for lazy operations (#2776)
- Sampling from the faces of a hyperrectangle (#2819)
- Inclusion of interval in union of intervals (#2831)
- Concrete Minkowski sum in 2D with VPolygon does not trigger (#2837)
- Change signature of Translation (#2839)
- Box approximation of common lazy sets (#2845)
- Strict inclusion (#2850)
Merged pull requests:
- Clean up underapproximate (#2306) (@mforets)
- Redefine copy(::LazySet) (#2322) (@schillic)
- Refactor overapproximate(::TM, ::Zonotope) (#2816) (@schillic)
- Fix _nonlinear_polynomial for constant polynomials (#2817) (@schillic)
- #2819 - Sampling from the faces of a hyperrectangle (#2821) (@schillic)
- #2776 - Add isboundedtype methods for lazy operations (#2842) (@schillic)
- Show error message when sampling fails (#2846) (@schillic)
- #2845 - More efficient box_approximation of CHull and MSum (#2847) (@schillic)
- #2756 - Convex hull of a union (#2848) (@schillic)
- #2831 - Inclusion of interval in union of intervals (#2849) (@schillic)
- #2850 - Strict inclusion check (#2853) (@schillic)
- #2839 - Change signature of Translation (#2854) (@schillic)
- Remove identical specializations (#2855) (@schillic)
- CompatHelper: bump compat for GLPK to 0.15, (keep existing compat) (#2856) (@github-actions[bot])
- Import ⊂ from IA (#2857) (@schillic)
- #2716 - Define getindex for arrays of sets (#2858) (@schillic)
- Fix isboundedtype(Translation) (#2859) (@schillic)
- Fix ⊂ (for good) (#2860) (@schillic)
- #2715 - Make convex_hull for EmptySet a no-op (#2861) (@schillic)
- Update Project.toml (#2862) (@schillic)
Files
JuliaReach/LazySets.jl-v1.51.0.zip
Files
(714.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:817e08b94af8317090567567e4a5d514
|
714.8 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/JuliaReach/LazySets.jl/tree/v1.51.0 (URL)