Merge pull request #408 from JuliaReach/schillic/bump

Bump LazySets v3 and ReachabilityAnalysis v0.27
JuliaReach · Nov 21, 2024 · 31c3842 · 31c3842
2 parents 9603855 + b5e4445
commit 31c3842
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"