Merge pull request #50 from JuliaReach/schillic/RB

Allow ReachabilityBase v0.3
JuliaReach · Jun 27, 2024 · 3d4fb29 · 3d4fb29
2 parents 9f35acd + 105a116
commit 3d4fb29
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -11,7 +11,7 @@ Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
 
 [compat]
 LinearAlgebra = "<0.0.1, 1.6"
-ReachabilityBase = "0.1.1 - 0.2"
+ReachabilityBase = "0.1.1 - 0.3"
 Reexport = "0.2, 1"
 Requires = "0.5, 1"
 Statistics = "<0.0.1, 1.6"

diff --git a/test/Project.toml b/test/Project.toml
@@ -13,6 +13,6 @@ Aqua = "0.8"
 Flux = "0.13 - 0.14"
 MAT = "0.10"
 ONNX = "0.2"
-ReachabilityBase = "0.1.1 - 0.2"
+ReachabilityBase = "0.1.1 - 0.3"
 Statistics = "<0.0.1, 1.6"
 YAML = "0.3 - 0.4"