Skip to content

Pull requests: JuliaReach/LazySets.jl

New pull request New
16 Open 2,337 Closed
16 Open 2,337 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

#2739: added ZonotopeMD and support for Cartesian product in normal
#3837 opened Apr 16, 2025 by alecarraro Loading…
1
1
Implemented ellipse-rectangle intersection test
#3833 opened Apr 8, 2025 by alecarraro Loading…
5
#417 - Addition of zonotope order reduction method
#3827 opened Apr 3, 2025 by crisiumnih Loading…
4
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…
Move isfeasible to util section
#3759 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…
CompatHelper: bump compat for IntervalConstraintProgramming to 0.14 for package test, (keep existing compat)
#3661 opened Dec 9, 2024 by github-actions bot • Draft
2
ProTip! What’s not been updated in a month: updated:<2025-03-27.