ReachabilityAnalysis v0.25

JuliaReach · Apr 10, 2024 · d8c5de1 · d8c5de1
1 parent d250da2
commit d8c5de1
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.24"
+ReachabilityAnalysis = "0.14.5 - 0.25"
 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 @@ DisplayAs = "0.1"
 Documenter = "1"
 Literate = "2"
 Plots = "1"
-ReachabilityAnalysis = "0.23.1 - 0.24"
+ReachabilityAnalysis = "0.23.1 - 0.25"
 ReachabilityBase = "0.2.3"