Merge pull request #112 from JuliaReach/schillic/RA

Support ReachabilityAnalysis 0.24
JuliaReach · Feb 10, 2024 · 060c191 · 060c191
2 parents 2c42344 + 6abf63c
commit 060c191
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -14,7 +14,7 @@ Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"
 [compat]
 MAT = "0.9, 0.10"
 ModelingToolkit = "1, 2, 3, 4, 5, 6, 7, 8"
-ReachabilityAnalysis = "0.18.6 - 0.23"
+ReachabilityAnalysis = "0.18.6 - 0.24"
 ReachabilityBase = "0.2.3"
 Reexport = "1"
 Symbolics = "0.1, 1, 2, 3, 4, 5"

diff --git a/docs/Project.toml b/docs/Project.toml
@@ -14,5 +14,5 @@ Literate = "2"
 MAT = "0.10"
 ModelingToolkit = "8"
 Plots = "1"
-ReachabilityAnalysis = "0.22 - 0.23"
+ReachabilityAnalysis = "0.22 - 0.24"
 ReachabilityBase = "0.2.3"