Merge pull request #395 from JuliaReach/schillic/RA_v0.26

Allow ReachabilityAnalysis v0.26
JuliaReach · Jun 2, 2024 · b344af7 · b344af7
2 parents 7e0095a + 01054f0
commit b344af7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -19,7 +19,7 @@ ControllerFormats = "0.1 - 0.2"
 LazySets = "2.11.1"
 NeuralNetworkReachability = "0.1"
 Parameters = "0.12"
-ReachabilityAnalysis = "0.14.5 - 0.25"
+ReachabilityAnalysis = "0.14.5 - 0.26"
 ReachabilityBase = "0.2.1"
 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"
+ReachabilityAnalysis = "0.25 - 0.26"
 ReachabilityBase = "0.2.3"