From a6c1e339d038f1a77e6feb520ca27393f3ad186a Mon Sep 17 00:00:00 2001 From: schillic Date: Fri, 2 Feb 2024 21:40:56 +0100 Subject: [PATCH 1/2] fix overapproximate method --- src/ReachSets/TaylorModelReachSet.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ReachSets/TaylorModelReachSet.jl b/src/ReachSets/TaylorModelReachSet.jl index b5eb08d03..f6c856d49 100644 --- a/src/ReachSets/TaylorModelReachSet.jl +++ b/src/ReachSets/TaylorModelReachSet.jl @@ -426,7 +426,7 @@ end # evaluate at a given time point and overapproximate the resulting set function overapproximate(R::TaylorModelReachSet, T::Type{<:LazySet}, t::AbstractFloat; kwargs...) - return overapproximate(R, T, TimeInterval(t, t); kwargs...) + return overapproximate(R, T; Δt=TimeInterval(t, t), kwargs...) end # convert a hyperrectangular set to a taylor model reachset From ff7f1925ec049f4de902bc5ccbaea5f83d136d43 Mon Sep 17 00:00:00 2001 From: schillic Date: Fri, 2 Feb 2024 21:41:13 +0100 Subject: [PATCH 2/2] v0.23.1 --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index d77ea3c92..433e8491a 100644 --- a/Project.toml +++ b/Project.toml @@ -1,6 +1,6 @@ name = "ReachabilityAnalysis" uuid = "1e97bd63-91d1-579d-8e8d-501d2b57c93f" -version = "0.23.0" +version = "0.23.1" [deps] CarlemanLinearization = "4803f6b2-022a-4c1b-a771-522a3413ec86"