Skip to content

Releases: JuliaReach/ReachabilityAnalysis.jl

v0.26.1

28 Jun 06:39
ea73568
Compare
Choose a tag to compare

ReachabilityAnalysis v0.26.1

Diff since v0.26.0

Merged pull requests:

v0.26.0

02 Jun 19:35
effc218
Compare
Choose a tag to compare

ReachabilityAnalysis v0.26.0

Diff since v0.25.0

Merged pull requests:

Closed issues:

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

v0.25.0

10 Apr 16:16
f2a1de8
Compare
Choose a tag to compare

ReachabilityAnalysis v0.25.0

Diff since v0.24.1

Merged pull requests:

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

27 Feb 22:19
c58a0e6
Compare
Choose a tag to compare

ReachabilityAnalysis v0.24.1

Diff since v0.24.0

Merged pull requests:

Closed issues:

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

v0.24.0

10 Feb 11:58
6f77445
Compare
Choose a tag to compare

ReachabilityAnalysis v0.24.0

Diff since v0.23.1

Merged pull requests:

v0.23.1

02 Feb 22:10
26f6928
Compare
Choose a tag to compare

ReachabilityAnalysis v0.23.1

Diff since v0.23.0

Merged pull requests:

v0.23.0

31 Jan 14:42
128724f
Compare
Choose a tag to compare

ReachabilityAnalysis v0.23.0

Diff since v0.22.4

Merged pull requests:

v0.22.4

12 Jan 21:33
f15bf97
Compare
Choose a tag to compare

ReachabilityAnalysis v0.22.4

Diff since v0.22.3

Merged pull requests:

v0.22.3

06 Jan 08:37
ac94041
Compare
Choose a tag to compare

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

04 Jan 19:07
50de934
Compare
Choose a tag to compare

ReachabilityAnalysis v0.22.2

Diff since v0.22.1

Merged pull requests:

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)