Skip to content

Pull requests: JuliaReach/LazySets.jl

New pull request New
26 Open 2,366 Closed
26 Open 2,366 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add witness option to isempty for EmptySet
#3884 opened Jun 21, 2025 by schillic • Draft
Fix isapprox for HPoly* and Star
#3883 opened Jun 21, 2025 by schillic Loading…
1
Add an_element for Polygon
#3882 opened Jun 21, 2025 by schillic Loading…
Add distance to point for Universe
#3881 opened Jun 21, 2025 by schillic Loading…
Fix tohrep: may return HPolytope
#3879 opened Jun 20, 2025 by schillic Loading…
Fix ispolyhedral for UnionSet
#3878 opened Jun 20, 2025 by schillic Loading…
Add ispolyhedraltype trait
#3877 opened Jun 20, 2025 by schillic Loading…
Add getindex for caching template directions
#3876 opened Jun 20, 2025 by schillic Loading…
Fix isuniversal for AbstractPolytope
#3875 opened Jun 19, 2025 by schillic Loading…
Faster conversion from Rectification of Interval to Interval
#3869 opened Jun 16, 2025 by schillic Loading…
Generalize SparsePolynomialZonotope methods to AbstractSparsePolynomialZonotope
#3859 opened Jun 14, 2025 by schillic Loading…
Faster overapproximate of SparsePolynomialZonotope with `UnionSetArray{<:Zonotope}
#3855 opened Jun 11, 2025 by schillic Loading…
#3814 - Allow area for 3D sets and add common cases
#3852 opened Jun 9, 2025 by schillic Loading…
1
Implemented ellipse-rectangle intersection test
#3833 opened Apr 8, 2025 by alecarraro • Draft
5
Fix vertices_list of zonotopes with immutable center vector
#3823 opened Apr 1, 2025 by schillic • Draft
AbstractPolynomialZonotope: add linear_combination and convex_hull
#3778 opened Jan 4, 2025 by schillic Loading…
SPZ overapproximation of CH(::SPZ,::SPZ)
#3777 opened Jan 4, 2025 by schillic Loading…
Allow to construct H-rep from mixed numeric types
#3776 opened Jan 4, 2025 by schillic Loading…
Rectification: add some isconvextype special cases
#3775 opened Jan 4, 2025 by schillic Loading…
AbstractPolyhedron: fix isbounded necessary check
#3774 opened Jan 4, 2025 by schillic Loading…
Add missing documentation
#3768 opened Jan 4, 2025 by schillic Loading…
Let 1D linear_map of zonotopic set remove redundant generator
#3764 opened Jan 3, 2025 by schillic Loading…
Fix an_element fallback for unbounded sets
#3763 opened Jan 3, 2025 by schillic Loading…
Inline one-line helper functions
#3758 opened Jan 3, 2025 by schillic Loading…
AbstractAffineMap: add isuniversal method
#3744 opened Jan 1, 2025 by schillic Loading…
ProTip! Add no:assignee to see everything that’s not assigned.