Skip to content

Releases: JuliaReach/CarlemanLinearization.jl

v0.4.0

28 Jun 07:33
3b598b5
Compare
Choose a tag to compare

CarlemanLinearization v0.4.0

Diff since v0.3.5

Merged pull requests:

Closed issues:

  • Unreachable code (#46)

v0.3.5

18 Aug 21:29
f8c4e88
Compare
Choose a tag to compare

CarlemanLinearization v0.3.5

Diff since v0.3.4

Merged pull requests:

v0.3.4

23 Jun 11:27
a208014
Compare
Choose a tag to compare

CarlemanLinearization v0.3.4

Diff since v0.3.3

Closed issues:

  • Mismatch in normal and compressed build_matrix (#37)

Merged pull requests:

v0.3.3

10 Apr 18:52
b267466
Compare
Choose a tag to compare

CarlemanLinearization v0.3.3

Diff since v0.3.2

Merged pull requests:

v0.3.2

13 May 17:07
9199770
Compare
Choose a tag to compare

CarlemanLinearization v0.3.2

Diff since v0.3.1

Closed issues:

  • Compressed kronecker form (#14)
  • Use Requires for LazySets & IntervalArithmetic in build_matrix_compressed (#21)

Merged pull requests:

v0.3.1

31 Jan 07:05
78bc566
Compare
Choose a tag to compare

CarlemanLinearization v0.3.1

Diff since v0.3.0

Merged pull requests:

v0.3.0

26 Jan 11:36
8800115
Compare
Choose a tag to compare

CarlemanLinearization v0.3.0

Diff since v0.2.1

Closed issues:

  • Swap order of findfirst and findall (#12)

Merged pull requests:

  • update deps, remove findfirst and findall (#15) (@mforets)

v0.2.1

15 Jan 13:32
1f55d26
Compare
Choose a tag to compare

CarlemanLinearization v0.2.1

Diff since v0.2.0

Closed issues:

  • Transforming quadratic systems into matrix form (#11)

Merged pull requests:

v0.2.0

21 Sep 20:39
a6f7560
Compare
Choose a tag to compare

CarlemanLinearization v0.2.0

Diff since v0.1.1

Merged pull requests:

v0.1.1

11 Aug 13:01
b1da65a
Compare
Choose a tag to compare

CarlemanLinearization v0.1.1

Diff since v0.1.0

Closed issues:

  • Register package (#1)

Merged pull requests: