Merge pull request #362 from JuliaReach/schillic/ia

Allow LazySets v6 & release v0.14.4

Author: schillic

Project.toml

@@ -1,6 +1,6 @@
 name = "MathematicalSystems"
 uuid = "d14a8603-c872-5ed3-9ece-53e0e82e39da"
-version = "0.14.3"
+version = "0.14.4"
 
 [deps]
 Espresso = "6912e4f1-e036-58b0-9138-08d1e6358ea9"
@@ -15,7 +15,7 @@ SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
 [compat]
 Espresso = "0.6"
 InteractiveUtils = "<0.0.1, 1.6"
-LazySets = "5"
+LazySets = "5 - 6"
 LinearAlgebra = "<0.0.1, 1.6"
 MacroTools = "0.5"
 MultivariatePolynomials = "0.3 - 0.5"

docs/Project.toml

@@ -6,4 +6,4 @@ LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
 [compat]
 Documenter = "1"
 DocumenterCitations = "1.3"
-LazySets = "5"
+LazySets = "5 - 6"

test/Project.toml

@@ -12,6 +12,6 @@ TypedPolynomials = "afbbf031-7a57-5f58-a1b9-b774a0fad08d"
 [compat]
 Aqua = "0.8.9"
 ExplicitImports = "1"
-LazySets = "5"
+LazySets = "5 - 6"
 RecipesBase = "1"
 TypedPolynomials = "0.3 - 0.4"