Merge pull request #130 from JuliaReach/schillic/RB

Allow ReachabilityBase v0.3
JuliaReach · Jun 28, 2024 · 8554c78 · 8554c78
2 parents 39b0d45 + 63cca5c
commit 8554c78
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -10,7 +10,7 @@ SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
 
 [compat]
 ReachabilityAnalysis = "0.18.6 - 0.26"
-ReachabilityBase = "0.2.3"
+ReachabilityBase = "0.2.3 - 0.3"
 Reexport = "1"
 SparseArrays = "<0.0.1, 1.6"
 julia = "1.6"
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -15,4 +15,4 @@ MAT = "0.10"
 ModelingToolkit = "8, 9"
 Plots = "1"
 ReachabilityAnalysis = "0.22 - 0.26"
-ReachabilityBase = "0.2.3"
+ReachabilityBase = "0.2.3 - 0.3"