Skip to content

Releases: JuliaReach/ReachabilityBase.jl

v0.3.1

11 Sep 21:08
ff04669
Compare
Choose a tag to compare

ReachabilityBase v0.3.1

Diff since v0.3.0

Merged pull requests:

Closed issues:

  • Require macro (#44)

v0.3.0

26 Jun 19:03
b0f636f
Compare
Choose a tag to compare

ReachabilityBase v0.3.0

Diff since v0.2.5

Merged pull requests:

v0.2.5

03 May 10:06
ba7fe4d
Compare
Choose a tag to compare

ReachabilityBase v0.2.5

Diff since v0.2.4

Merged pull requests:

v0.2.4

02 May 19:04
d1749de
Compare
Choose a tag to compare

ReachabilityBase v0.2.4

Diff since v0.2.3

Merged pull requests:

v0.2.3

09 Feb 19:59
284348a
Compare
Choose a tag to compare

ReachabilityBase v0.2.3

Diff since v0.2.2

Merged pull requests:

  • Automatic JuliaFormatter.jl run (#51) (@github-actions[bot])
  • Add CurrentPath module (#54) (@schillic)
  • Revise CI scripts (#55) (@schillic)

v0.2.2

04 Jan 21:27
086c1bd
Compare
Choose a tag to compare

ReachabilityBase v0.2.2

Diff since v0.2.1

Merged pull requests:

Closed issues:

  • print_timed broken in Julia v1.10 (#49)

v0.2.1

18 Dec 12:38
8cca046
Compare
Choose a tag to compare

ReachabilityBase v0.2.1

Diff since v0.2.0

Merged pull requests:

v0.2.0

11 Aug 17:06
8720681
Compare
Choose a tag to compare

ReachabilityBase v0.2.0

Diff since v0.1.7

Merged pull requests:

  • Allocation-free version of isabove (#29) (@schillic)
  • Test ColumnIterator (#30) (@schillic)
  • Update scripts/README/Project/docs, format code, fix linter warnings (#31) (@schillic)
  • CompatHelper: add new compat entry for Documenter at version 0.27 for package test, (keep existing compat) (#32) (@github-actions[bot])
  • Auto-format script (#34) (@schillic)
  • Improve add_sum: add assertions; rename variable (#35) (@schillic)
  • Add BitvectorIterator (#36) (@schillic)
  • Rename reseed -> reseed! (#37) (@schillic)
  • Remove ColumnIterator (use eachcol instead) (#38) (@schillic)
  • Add logarithmic norm (#39) (@schillic)

v0.1.7

06 Apr 10:36
3ebc6a4
Compare
Choose a tag to compare

ReachabilityBase v0.1.7

Diff since v0.1.6

Merged pull requests:

v0.1.6

05 Apr 07:31
ec3337e
Compare
Choose a tag to compare

ReachabilityBase v0.1.6

Diff since v0.1.5

Merged pull requests: