From d3f3198a02703c14d13abc3e7288cb929524a64b Mon Sep 17 00:00:00 2001 From: CompatHelper Julia Date: Fri, 1 May 2026 03:48:27 +0000 Subject: [PATCH] CompatHelper: bump compat for ReachabilityAnalysis to 0.31, (keep existing compat) --- Project.toml | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/Project.toml b/Project.toml index 08dcda59..91fd7744 100644 --- a/Project.toml +++ b/Project.toml @@ -14,6 +14,15 @@ Reexport = "189a3867-3050-52da-a836-e630ba90ab69" Requires = "ae029012-a4dd-5104-9daa-d747884805df" TaylorModels = "314ce334-5f6e-57ae-acf6-00b6e903104a" +[weakdeps] +OrdinaryDiffEq = "1dea7af3-3e70-54e6-95c3-0bf5283fa5ed" +Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80" +Requires = "ae029012-a4dd-5104-9daa-d747884805df" + +[extensions] +OrdinaryDiffEqExt = "OrdinaryDiffEq" +OrdinaryDiffEqPlotsExt = ["OrdinaryDiffEq", "Plots"] + [compat] CommonSolve = "0.2" ControllerFormats = "0.1 - 0.2" @@ -22,22 +31,13 @@ NeuralNetworkReachability = "0.1" OrdinaryDiffEq = "6" Parameters = "0.12" Plots = "1" -ReachabilityAnalysis = "0.29 - 0.30" +ReachabilityAnalysis = "0.29 - 0.30, 0.31" ReachabilityBase = "0.3" Reexport = "0.2, 1" Requires = "0.5, 1" TaylorModels = "0.7 - 0.9" julia = "1.6" -[extensions] -OrdinaryDiffEqExt = "OrdinaryDiffEq" -OrdinaryDiffEqPlotsExt = ["OrdinaryDiffEq", "Plots"] - [extras] OrdinaryDiffEq = "1dea7af3-3e70-54e6-95c3-0bf5283fa5ed" Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80" - -[weakdeps] -OrdinaryDiffEq = "1dea7af3-3e70-54e6-95c3-0bf5283fa5ed" -Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80" -Requires = "ae029012-a4dd-5104-9daa-d747884805df"