Merge pull request #870 from JuliaReach/schillic/bump2

Bump IntervalMatrices and Symbolics
JuliaReach · Sep 10, 2024 · 8d3d739 · 8d3d739
2 parents ec81c11 + 6183257
commit 8d3d739
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 5 deletions.
diff --git a/Project.toml b/Project.toml
@@ -30,7 +30,7 @@ CommonSolve = "0.2"
 ExprTools = "0.1"
 HybridSystems = "0.4"
 IntervalArithmetic = "0.16 - 0.20, =0.20.9"  # new versions require updates and are incompatible with dependencies
-IntervalMatrices = "0.6 - 0.10"
+IntervalMatrices = "0.11"
 LazySets = "2.14"
 LinearAlgebra = "<0.0.1, 1.6"
 MathematicalSystems = "0.11 - 0.13"

diff --git a/docs/Project.toml b/docs/Project.toml
@@ -26,4 +26,4 @@ MathematicalSystems = "0.11 - 0.13"
 OrdinaryDiffEq = "6"
 Plots = "1"
 ReachabilityBase = "0.2.3 - 0.3"
-Symbolics = "5"
+Symbolics = "5 - 6"
diff --git a/src/Algorithms/ASB07/reach_homog.jl b/src/Algorithms/ASB07/reach_homog.jl
@@ -57,7 +57,7 @@ function reach_homog_ASB07!(F::Vector{ReachSet{N,Zonotope{N,VN,MN}}},
 
     k = 2
     @inbounds while k <= NSTEPS
-        Φ_power_k = IntervalMatrices.get(Φpow)
+        Φ_power_k = IntervalMatrices.matrix(Φpow)
         Φc, Φs = _split(Φ_power_k)
 
         Zₖ = _overapproximate_interval_linear_map(Φc, Φs, c0, G0)

diff --git a/src/Discretization/Overapproximate.jl b/src/Discretization/Overapproximate.jl
@@ -2,6 +2,7 @@ module Overapproximate
 
 using LazySets
 using IntervalMatrices
+using LazySets: matrix
 using StaticArrays: SVector, SMatrix, MMatrix, StaticArray
 import IntervalArithmetic as IA
 

diff --git a/src/Initialization/init.jl b/src/Initialization/init.jl
@@ -24,7 +24,7 @@ using ExprTools: splitdef, combinedef
 using LazySets: AffineMap, ResetMap
 
 # required to avoid conflicts with IntervalMatrices
-using LazySets: Interval, radius, sample, ∅, dim, scale, scale!, ⊂
+using LazySets: Interval, radius, sample, ∅, dim, scale, scale!, ⊂, matrix
 
 # JuliaReach internal functions
 using ReachabilityBase.Arrays: projection_matrix, SingleEntryVector,

diff --git a/test/Project.toml b/test/Project.toml
@@ -28,5 +28,5 @@ OrdinaryDiffEq = "6"
 Polyhedra = "0.5 - 0.7"
 StaticArrays = "0.12, 1"
 Suppressor = "0.2"
-Symbolics = "4 - 5"
+Symbolics = "4 - 6"
 TaylorModels = "0.7"