Skip to content

Pull requests: JuliaReach/LazySets.jl

New pull request New
15 Open 2,671 Closed
15 Open 2,671 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

Fix addconstraint! when constraints are tiny and close
#4184 opened Feb 9, 2026 by schillic • Draft
Rename ball_norm to norm_ball breaking ❌ This change may break things
#4181 opened Feb 7, 2026 by schillic Loading…
Refactor matrix zonotopes overapproximations
#4174 opened Jan 17, 2026 by alecarraro • Draft
Do not export ReachabilityBase.Arrays module breaking ❌ This change may break things
#4156 opened Jan 11, 2026 by schillic Loading…
Let @validate check ispolytopic for vertices(_list) breaking ❌ This change may break things
#4110 opened Dec 17, 2025 by schillic Loading…
Replace ErrorExceptions with ArgumentErrors etc. breaking ❌ This change may break things
#4107 opened Dec 17, 2025 by schillic Loading…
Bump IntervalArithmetic to v0.22+ breaking ❌ This change may break things
#4068 opened Nov 16, 2025 by schillic • Draft
1
CompatHelper: bump compat for RangeEnclosures to 0.3 for package test, (keep existing compat)
#4025 opened Sep 27, 2025 by github-actions bot • Draft
CompatHelper: bump compat for TaylorModels to 0.9 for package docs, (keep existing compat)
#4024 opened Sep 23, 2025 by github-actions bot • Draft
CompatHelper: bump compat for TaylorModels to 0.9 for package test, (keep existing compat)
#4023 opened Sep 23, 2025 by github-actions bot • Draft
Let @validate check ispolyhedral for constraints(_list) discussion 🗣️ Requires human input
#4012 opened Aug 22, 2025 by schillic • Draft
Let @validate check nonempty set for an_element breaking ❌ This change may break things discussion 🗣️ Requires human input
#3959 opened Jul 19, 2025 by schillic • Draft
Let @validate check nonempty set for ρ/σ breaking ❌ This change may break things discussion 🗣️ Requires human input
#3958 opened Jul 19, 2025 by schillic • Draft
Fix vertices_list of zonotopes with immutable center vector
#3823 opened Apr 1, 2025 by schillic • Draft
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! Mix and match filters to narrow down what you’re looking for.