Merge pull request #851 from JuliaReach/schillic/RB

Update to LazySets v2.14 and allow ReachabilityBase v0.3
JuliaReach · Jun 28, 2024 · 078eb76 · 078eb76
2 parents ad8edd5 + 09d7995
commit 078eb76
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/Project.toml b/Project.toml
@@ -31,12 +31,12 @@ ExprTools = "0.1"
 HybridSystems = "0.4"
 IntervalArithmetic = "0.16 - 0.20, =0.20.9"  # new versions require updates and are incompatible with dependencies
 IntervalMatrices = "0.6 - 0.10"
-LazySets = "2.12"
+LazySets = "2.14"
 LinearAlgebra = "<0.0.1, 1.6"
 MathematicalSystems = "0.11 - 0.13"
 Parameters = "0.10 - 0.12"
 Random = "<0.0.1, 1.6"
-ReachabilityBase = "0.1, 0.2"
+ReachabilityBase = "0.1 - 0.3"
 RecipesBase = "0.6 - 0.8, 1"
 Reexport = "0.2, 1"
 Requires = "0.5, 1"

diff --git a/docs/Project.toml b/docs/Project.toml
@@ -20,10 +20,10 @@ ExponentialUtilities = "1"
 IntervalArithmetic = "=0.20.9"  # new versions require updates and are incompatible with dependencies
 JLD2 = "0.4"
 LaTeXStrings = "1"
-LazySets = "2"
+LazySets = "2.14"
 Literate = "2"
 MathematicalSystems = "0.11 - 0.13"
 OrdinaryDiffEq = "6"
 Plots = "1"
-ReachabilityBase = "0.2.3"
+ReachabilityBase = "0.2.3 - 0.3"
 Symbolics = "5"