ReachabilityAnalysis.jl Versions Save

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)

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)

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)

ReachabilityAnalysis v0.23.1

Diff since v0.23.0

Merged pull requests:

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

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)

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)

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])

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)

ReachabilityAnalysis v0.22.1

Diff since v0.22.0

Closed issues:

• Fix warnings in docs (#698)

Merged pull requests:

• Fix documentation (#722) (@schillic)
• IA.Interval -> IA.interval (#725) (@schillic)
• Update to LazySets v2.11 (#728) (@schillic)
• v0.22.1 (#729) (@schillic)

ReachabilityAnalysis v0.22.0

Diff since v0.21.4

Closed issues:

• normalize docs (dup) (#576)
• Fix links in documentation (#591)
• Plotting ignores order of variables (#678)
• Apply JuliaReach format style (#693)
• Broken Model Example Links in main README.md (#713)
• convert_or_overapproximate broken (#716)
• Namespace conflict with DifferentialEquations: concretize (#718)

Merged pull requests:

• Pass simulation kwargs in distributed setting (#688) (@schillic)
• Fix Pade approximation and test _exp (#691) (@schillic)
• Update scripts/README/Project/docs, format code, fix linter warnings (#694) (@schillic)
• Remove redundant method (#695) (@schillic)
• autoformatter changes (#696) (@mforets)
• Remove reset_map methods (#697) (@schillic)
• #576 - Restrict module in docs building (#699) (@schillic)
• Use LazySets for expv (#704) (@schillic)
• Fix documentation of ASB07 (#705) (@schillic)
• Fix index bug in _overapproximate_interval_linear_map (#706) (@schillic)
• Add _split for scalar matrix (#707) (@schillic)
• Update package bounds (#710) (@schillic)
• Auto-format script (#711) (@schillic)
• Fix broken links (#714) (@mforets)
• Use correct compatible lower bound (#715) (@schillic)
• #716 #718 - Fix convert_or_overapproximate and concretize (#717) (@schillic)
• Remove logarithmic_norm (#719) (@schillic)
• CompatHelper: bump compat for ReachabilityBase to 0.2, (keep existing compat) (#720) (@github-actions[bot])
• Update Project.toml (#721) (@mforets)