feature: add compat versions (#19)

Project.toml

@@ -15,6 +15,13 @@ Requires = "ae029012-a4dd-5104-9daa-d747884805df"
 
 [compat]
 julia = "1.6"
+CDDLib = "0.9"
+Distributions = "0.25"
+JuMP = "1"
+LazySets = "2"
+MathematicalSystems = "0.13"
+Polyhedra = "0.7"
+Requires = "1"
 
 [extras]
 CDDLib = "3391f64e-dcde-5f30-b752-e11513730f60"

src/InvariantSets.jl

@@ -16,34 +16,34 @@ export Ball1, Ball2, BallInf, Ballp
 # Polytopic Sets
 export HPolygon, HPolytope, HPolyhedron, VPolygon, VPolytope
 # others
-export  Singleton,
-        Interval,
-        LineSegment,
-        SingleEntryVector,
-        Hyperplane,
-        HalfSpace,
-        Hyperrectangle,
-        Ellipsoid,
-        Zonotope,
-        Universe
+export Singleton,
+    Interval,
+    LineSegment,
+    SingleEntryVector,
+    Hyperplane,
+    HalfSpace,
+    Hyperrectangle,
+    Ellipsoid,
+    Zonotope,
+    Universe
 
 # ==== SET OPERATIONS ====
 #  Exported lazy set operators from LazySets.jl
 export +, ⊕, *, ∩
 # Exported functionalities from LazySets.jl
-export  dim,
-        isbounded,
-        tosimplehrep,
-        constraint_list,
-        ρ, support_function,
-        σ, support_vector,
-        is_interior_point,
-        ∈, ≈, ⊆, ==,
-        isequivalent,
-        rand, an_element,
-        chebyshev_center, intersection,
-        sample # needs Distributions to be loaded
-        # TODO: distance_point_to_set
+export dim,
+    isbounded,
+    tosimplehrep,
+    constraint_list,
+    ρ, support_function,
+    σ, support_vector,
+    is_interior_point,
+    ∈, ≈, ⊆, ==,
+    isequivalent,
+    rand, an_element,
+    chebyshev_center, intersection,
+    sample # needs Distributions to be loaded
+# TODO: distance_point_to_set
 # Convenience operator for set equality check (⫓), because == checks for type and field equality
 ⫓(X::LazySet, Y::LazySet) = X ⊆ Y && Y ⊆ X
 # TODO: Check if ⫓(X::LazySet, Y::LazySet) = isequivalent(X,Y) works for all set types
@@ -53,21 +53,21 @@ export ⫓
 export +ᶜ, ⊕ᶜ, -ᶜ, ⊖ᶜ, *ᶜ, ∩ᶜ, reflect, translate
 include(raw"concrete_operator.jl")
 
-export  ρ_exact, σ_exact, ρ_matrix,
-        canonical_length, marginal_enlargment
+export ρ_exact, σ_exact, ρ_matrix,
+    canonical_length, marginal_enlargment
 include(raw"helper/lazy_sets.jl")
 include(raw"helper/control_systems.jl")
 
 abstract type AbstractAlgorithm end
 export preset,
-       state_constraints,
-       maximum_invariant_set,
-       maximum_control_invariant_set,
-       maximal_RPI_set
+    state_constraints,
+    maximum_invariant_set,
+    maximum_control_invariant_set,
+    maximal_RPI_set
 # TODO: add maximal_RPI_set
 include(raw"maximal_invariance/main.jl")
 export minimal_RPI_set,
-       implicit_rakovic
+    implicit_rakovic
 # TODO: add implicit_rakovic once paper is published
 # TODO: add tests for F_lazy (with the straightforward definition)
 # TODO: Document  Schulze Algorithm
@@ -76,10 +76,10 @@ include(raw"minimal_invariance/main.jl")
 
 # Derived sets used in MPC and control systems
 export terminal_set,
-       feasible_set,
-       tightened_state_constraint,
-       tightened_input_constraint,
-       tightened_constraints
+    feasible_set,
+    tightened_state_constraint,
+    tightened_input_constraint,
+    tightened_constraints
 # TODO: documentation
 # TODO: add `tightened_constraints`once paper is published
 include(raw"applied_sets/control_systems.jl")