bump LazySets v3 and RA v0.27

JuliaReach · Nov 21, 2024 · b5e4445 · b5e4445
1 parent 9603855
commit b5e4445
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Project.toml b/Project.toml
@@ -16,10 +16,10 @@ Requires = "ae029012-a4dd-5104-9daa-d747884805df"
 [compat]
 CommonSolve = "0.1 - 0.2"
 ControllerFormats = "0.1 - 0.2"
-LazySets = "2.14"
+LazySets = "2.14, 3"
 NeuralNetworkReachability = "0.1"
 Parameters = "0.12"
-ReachabilityAnalysis = "0.14.5 - 0.26"
+ReachabilityAnalysis = "0.14.5 - 0.27"
 ReachabilityBase = "0.2.1 - 0.3"
 Reexport = "0.2, 1"
 Requires = "0.5, 1"

diff --git a/docs/Project.toml b/docs/Project.toml
@@ -13,5 +13,5 @@ Documenter = "1"
 Literate = "2"
 OrdinaryDiffEq = "6"
 Plots = "1"
-ReachabilityAnalysis = "0.25 - 0.26"
+ReachabilityAnalysis = "0.25 - 0.27"
 ReachabilityBase = "0.2.3 - 0.3"