Merge pull request #32 from JuliaReach/schillic/RB

Use LazySets v2.14 and allow ReachabilityBase v0.3
JuliaReach · Jun 28, 2024 · 6ba56df · 6ba56df
2 parents b3e3d36 + e8f171c
commit 6ba56df
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Project.toml b/Project.toml
@@ -12,9 +12,9 @@ Requires = "ae029012-a4dd-5104-9daa-d747884805df"
 
 [compat]
 ControllerFormats = "0.2.3"
-LazySets = "2.13"
+LazySets = "2.14"
 LinearAlgebra = "<0.0.1, 1.6"
-ReachabilityBase = "0.2.1"
+ReachabilityBase = "0.2.1 - 0.3"
 Reexport = "0.2, 1"
 Requires = "0.5, 1"
 julia = "1.6"
diff --git a/test/Project.toml b/test/Project.toml
@@ -14,7 +14,7 @@ Aqua = "0.8"
 CDDLib = "0.6 - 0.9"
 ControllerFormats = "0.2"
 IntervalConstraintProgramming = "0.9 - 0.13"
-LazySets = "2.13"
+LazySets = "2.14"
 Optim = "1"
 Polyhedra = "0.6 - 0.7"
 ReachabilityAnalysis = "0.22 - 0.26"