Skip to content

Releases: JuliaReach/ReachabilityAnalysis.jl

v0.14.7

03 Jun 19:21
853c17f
Compare
Choose a tag to compare

ReachabilityAnalysis v0.14.7

Diff since v0.14.6

Merged pull requests:

v0.14.6

02 Jun 05:19
503d3a3
Compare
Choose a tag to compare

ReachabilityAnalysis v0.14.6

Diff since v0.14.5

Closed issues:

  • Check remainder after evaluation of TM -> Zonotope at a point (#495)

Merged pull requests:

v0.14.5

30 May 14:24
584ac56
Compare
Choose a tag to compare

ReachabilityAnalysis v0.14.5

Diff since v0.14.4

Merged pull requests:

v0.14.4

30 May 13:20
1f66861
Compare
Choose a tag to compare

ReachabilityAnalysis v0.14.4

Diff since v0.14.3

Merged pull requests:

v0.14.3

28 May 21:58
706b8ed
Compare
Choose a tag to compare

ReachabilityAnalysis v0.14.3

Diff since v0.14.2

Merged pull requests:

v0.14.2

25 May 13:21
d56a01a
Compare
Choose a tag to compare

ReachabilityAnalysis v0.14.2

Diff since v0.14.1

Merged pull requests:

v0.14.1

24 May 12:53
3ec3dce
Compare
Choose a tag to compare

ReachabilityAnalysis v0.14.1

Diff since v0.14.0

Merged pull requests:

v0.14.0

22 May 11:39
3f1c272
Compare
Choose a tag to compare

ReachabilityAnalysis v0.14.0

Diff since v0.13.1

Merged pull requests:

v0.13.1

20 May 14:30
5322411
Compare
Choose a tag to compare

ReachabilityAnalysis v0.13.1

Diff since v0.13.0

Merged pull requests:

v0.13.0

20 May 13:25
0ca3986
Compare
Choose a tag to compare

ReachabilityAnalysis v0.13.0

Diff since v0.12.2

Closed issues:

  • Approximation at time points (#421)
  • Inconsistent flowpipes with TMJets (#468)

Merged pull requests: