Skip to content

Pull requests: JuliaReach/LazySets.jl

New pull request New
33 Open 2,266 Closed
33 Open 2,266 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

CompatHelper: bump compat for CDDLib to 0.10 for package docs, (keep existing compat)
#3785 opened Jan 16, 2025 by github-actions bot Loading…
CompatHelper: bump compat for Polyhedra to 0.8 for package docs, (keep existing compat)
#3784 opened Jan 16, 2025 by github-actions bot Loading…
CompatHelper: bump compat for CDDLib to 0.10 for package test, (keep existing compat)
#3783 opened Jan 16, 2025 by github-actions bot Loading…
CompatHelper: bump compat for Polyhedra to 0.8 for package test, (keep existing compat)
#3782 opened Jan 16, 2025 by github-actions bot Loading…
Update test dependencies
#3780 opened Jan 14, 2025 by schillic • Draft
CompatHelper: bump compat for Makie to 0.22 for package test, (keep existing compat)
#3779 opened Jan 14, 2025 by github-actions bot • 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 redudant 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 ○ to AbstractCentrallySymmetric
#3761 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…
AbstractAffineMap: add volume method
#3743 opened Jan 1, 2025 by schillic Loading…
Fix minkowski_difference for polyhedron and bounded set
#3741 opened Jan 1, 2025 by schillic Loading…
ConvexSet: make σ a required method
#3735 opened Dec 31, 2024 by schillic Loading…
Change default implementation of scale
#3730 opened Dec 30, 2024 by schillic Loading…
Remove scalar linear_map breaking ❌ This change may break things discussion 🗣️ Requires human input
#3729 opened Dec 30, 2024 by schillic Loading…
Revise concretize
#3726 opened Dec 30, 2024 by schillic Loading…
Add isparametrictype trait
#3725 opened Dec 30, 2024 by schillic Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.