v0.25.0

ReachabilityAnalysis v0.25.0

Diff since v0.24.1

Merged pull requests:

• Fix formatting in docs page (#793) (@schillic)
• Fix Codecov (#794) (@schillic)
• Add Aqua badge (#795) (@schillic)
• Better script output (#!jl) in examples and unused packages removed from test/Project.toml (#796) (@schillic)
• Resolve warnings and outputs in tests (#797) (@schillic)
• Minor fixes in comments (#798) (@schillic)
• Fix unbound args (#799) (@schillic)
• Use == instead of isequal and eachindex instead of 1:length (#800) (@schillic)
• Fix ambiguities (#801) (@schillic)
• Fix some piracies (#802) (@schillic)
• Avoid using packages and collect usings and exports (#803) (@schillic)
• Define box_approximation for AbstractReachSets and AbstractFlowpipes (#805) (@schillic)
• Upgrade TaylorSeries, TaylorIntegration and TaylorModels (#808) (@lbenet)
• Support ntdiv splitting in TM-zonotope overapproximation (#809) (@schillic)
• Fix ambiguities (#811) (@schillic)
• Import flatten (#812) (@schillic)
• Adapt Spacecraft settings to ARCH-COMP2020 (#814) (@schillic)
• Automatic JuliaFormatter.jl run (#816) (@github-actions[bot])
• Adapt to new typos version (#817) (@schillic)
• #818 - Refactor TMJets algorithms (#819) (@schillic)
• Automatic JuliaFormatter.jl run (#821) (@github-actions[bot])
• Bump julia-actions/setup-julia from 1 to 2 (#822) (@dependabot[bot])
• Replace DifferentialEquations by OrdinaryDiffEq (#823) (@schillic)
• Outsource code to LazySets (#824) (@schillic)
• Update Project.toml (#826) (@mforets)

Closed issues:

• Move relative_error to ReachabilityBase (#727)
• Fix ambiguities (#788)
• Fix unbound args (#789)
• On TMJets (#804)
• Refactor TMJets algorithms (#818)