Merge pull request #24 from JuliaReach/schillic/RA

ReachabilityAnalysis v0.25.0
JuliaReach · Apr 11, 2024 · c12b527 · c12b527
2 parents 08a59fc + ed05eec
commit c12b527
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/Project.toml b/test/Project.toml
@@ -12,7 +12,7 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 Aqua = "0.8"
 CDDLib = "0.6 - 0.9"
 ControllerFormats = "0.2"
-LazySets = "2.11.1"
+LazySets = "2.12.1"
 Optim = "1"
 Polyhedra = "0.6 - 0.7"
-ReachabilityAnalysis = "0.22 - 0.24"
+ReachabilityAnalysis = "0.22 - 0.25"