We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 19b0ef2 commit 348a688Copy full SHA for 348a688
test/Project.toml
@@ -21,12 +21,12 @@ Aqua = "0.8.9"
21
CDDLib = "0.5 - 0.10"
22
Expokit = "0.2"
23
Flowstar = "0.2.4"
24
-IntervalArithmetic = "0.16 - 0.20, =0.20.9" # new versions require updates and are incompatible with dependencies
+IntervalArithmetic = "0.16 - 0.20, =0.20.9"
25
LazySets = "2.14, 3, 4, 5"
26
Optim = "0.15 - 0.22, 1"
27
OrdinaryDiffEq = "6"
28
Polyhedra = "0.5 - 0.8"
29
StaticArrays = "0.12, 1"
30
Suppressor = "0.2"
31
Symbolics = "4 - 6"
32
-TaylorModels = "0.7 - 0.8"
+TaylorModels = "0.7 - 0.8, 0.9"
0 commit comments