-
Notifications
You must be signed in to change notification settings - Fork 37
Pull requests: JuliaReach/LazySets.jl
Pull requests list
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
Fix
remove_redundant_constraints for infeasible case
#3991
opened Aug 3, 2025 by
schillic
Loading...
Let
vertices_list of AbstractHPolygon with no constraints crash
#3961
opened Jul 19, 2025 by
schillic
Loading...
Let This change may break things
discussion 🗣️
Requires human input
validate check nonempty set for an_element
breaking ❌
Let This change may break things
discussion 🗣️
Requires human input
validate check nonempty set for ρ/σ
breaking ❌
Fix
linear_map elimination algorithm with empty constraints
#3953
opened Jul 16, 2025 by
schillic
Loading...
Better
chebyshev_center_radius for AbstractHyperrectangle
#3930
opened Jul 8, 2025 by
schillic
Loading...
Fix and improve
is_interior_point for AbstractHyperrectangle
#3906
opened Jul 6, 2025 by
schillic
Loading...
Fix
linear_map_inverse/affine_map_inverse for EmptySet result
#3889
opened Jun 22, 2025 by
schillic
Loading...
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.