Merge pull request #50 from JuliaReach/schillic/RB

Allow ReachabilityBase v0.3

Author: schillic

Project.toml

@@ -11,7 +11,7 @@ Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
 
 [compat]
 LinearAlgebra = "<0.0.1, 1.6"
-ReachabilityBase = "0.1.1 - 0.2"
+ReachabilityBase = "0.1.1 - 0.3"
 Reexport = "0.2, 1"
 Requires = "0.5, 1"
 Statistics = "<0.0.1, 1.6"

test/Project.toml

@@ -13,6 +13,6 @@ Aqua = "0.8"
 Flux = "0.13 - 0.14"
 MAT = "0.10"
 ONNX = "0.2"
-ReachabilityBase = "0.1.1 - 0.2"
+ReachabilityBase = "0.1.1 - 0.3"
 Statistics = "<0.0.1, 1.6"
 YAML = "0.3 - 0.4"