Merge pull request #345 from JuliaReach/schillic/cf

ControllerFormats v0.2
JuliaReach · Aug 17, 2023 · 031ecef · 031ecef
2 parents 0e4fbf9 + f8c7e65
commit 031ecef
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Project.toml b/Project.toml
@@ -14,11 +14,11 @@ Requires = "ae029012-a4dd-5104-9daa-d747884805df"
 
 [compat]
 CommonSolve = "0.1 - 0.2"
-ControllerFormats = "0.1"
+ControllerFormats = "0.1 - 0.2"
 LazySets = "2.7.6"
 Parameters = "0.12"
-ReachabilityAnalysis = "0.14.5 - 0.21, 0.22"
-ReachabilityBase = "0.1.1, 0.2"
+ReachabilityAnalysis = "0.14.5 - 0.22"
+ReachabilityBase = "0.1.1 - 0.2"
 Reexport = "0.2, 1"
 Requires = "0.5, 1"
 julia = "1.6"