v0.26.1

ReachabilityAnalysis v0.26.1

Diff since v0.26.0

Merged pull requests:

• Add JuliaHub and PkgEval badges (#838) (@schillic)
• Update to LazySets v2.14 and allow ReachabilityBase v0.3 (#851) (@schillic)
• v0.26.1 (#852) (@schillic)

v0.26.0

ReachabilityAnalysis v0.26.0

Diff since v0.25.0

Merged pull requests:

• Remove RecursiveArrayTools (#820) (@schillic)
• Automatic JuliaFormatter.jl run (#827) (@github-actions[bot])
• Remove old helper function (#828) (@schillic)
• Automatic JuliaFormatter.jl run (#830) (@github-actions[bot])
• Remove basetype (available in ReachabilityBase) (#831) (@schillic)
• #726 - Outsource SingleEntryVector code to ReachabilityBase (#832) (@schillic)
• Bump julia-actions/cache from 1 to 2 (#833) (@dependabot[bot])
• Simplify code for UnionSet and UnionSetArray (#834) (@schillic)
• Fix conflict with ⊂ (#836) (@schillic)
• v0.26.0 (#837) (@schillic)

Closed issues:

• Move SingleEntryVector array ops to ReachabilityBase.jl (#726)

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)

v0.24.1

ReachabilityAnalysis v0.24.1

Diff since v0.24.0

Merged pull requests:

• Revise models (#783) (@schillic)
• Minor fixes (#784) (@schillic)
• Run Aqua in tests and fix problems (#785) (@schillic)
• Replace $ with double backticks and use Unicode symbols (#786) (@schillic)
• Fix method-call errors in XFZ18 (#787) (@schillic)
• v0.24.1 (#791) (@schillic)

Closed issues:

• Errors when testing the Thermostat tutorial problem (#750)

v0.24.0

ReachabilityAnalysis v0.24.0

Diff since v0.23.1

Merged pull requests:

• Fix optional packages in Exponentiation module (#770) (@schillic)
• Fixes in Quadrotor script (#773) (@schillic)
• Revise Literate script and deactivate notebook generation (#774) (@schillic)
• Outsource discretization methods to modules (#775) (@schillic)
• Better blocks in docs/make.jl for quick commenting (#776) (@schillic)
• Fix and activate doctests; fix add_dimension (#777) (@schillic)
• Revise CI scripts (#779) (@schillic)
• Use current_path from ReachabilityBase in examples and revise examples (#780) (@schillic)
• v0.24.0 (#781) (@schillic)

v0.23.1

ReachabilityAnalysis v0.23.1

Diff since v0.23.0

Merged pull requests:

• Fix overapproximate method; v0.23.1 (#769) (@schillic)

v0.23.0

ReachabilityAnalysis v0.23.0

Diff since v0.22.4

Merged pull requests:

• backward module (#753) (@mforets)
• Make affine_map consistent (#765) (@schillic)
• Merge code for overapproximate of TaylorModelReachSet (#766) (@schillic)
• v0.23.0 (#768) (@schillic)

v0.22.4

ReachabilityAnalysis v0.22.4

Diff since v0.22.3

Merged pull requests:

• Avoid using .DifferentialEquations (#761) (@schillic)
• Avoid using .Symbolics; depend on Random directly; simpler init functions (#762) (@schillic)
• v0.22.4 (#763) (@schillic)

v0.22.3

ReachabilityAnalysis v0.22.3

Diff since v0.22.2

Merged pull requests:

• CompatHelper: bump compat for IntervalMatrices to 0.10, (keep existing compat) (#760) (@github-actions[bot])

v0.22.2

ReachabilityAnalysis v0.22.2

Diff since v0.22.1

Merged pull requests:

• Bump actions/checkout from 3 to 4 (#730) (@dependabot[bot])
• Refactor tests folder (#736) (@mforets)
• Support/use Documenter v1 (#737) (@schillic)
• Freeze package compat (#738) (@schillic)
• Update reference to Gitter -> Zulip (#740) (@schillic)
• Support for IntervalMatrices v0.9 (#742) (@schillic)
• Automatic JuliaFormatter.jl run (#744) (@github-actions[bot])
• Refactor exp utils to their own module (#745) (@mforets)
• Use latest supported version of frozen packages (=) (#746) (@schillic)
• Remove unused pictures (#747) (@schillic)
• Spell check (#748) (@schillic)
• Update discrete_time.md (#752) (@mforets)
• Remove internal concrete sih (#754) (@mforets)
• CompatHelper: bump compat for RecursiveArrayTools to 3, (keep existing compat) (#755) (@github-actions[bot])
• Fix warnings in tests (#756) (@schillic)
• #757 - Fix invalid comments in examples (#758) (@schillic)
• v0.22.2 (#759) (@schillic)

Closed issues:

• Using Taylor-model algorithm in a loop (#731)
• Cleanup tests folder (#735)
• Failure to run some examples due to both Plots and ReachabilityAnalysis exporting "center" (#751)
• Documenter error (#757)