v0.3.0

Spot v0.3.0

Diff since v0.2.5

Breaking changes

• Moving to CxxWrap 0.17 and Splot_julia_jll 2.14.5 results in breaking Julia 1.6. Dropping support of Julia 1.6 in favor of Julia 1.10, which is the new LTS.

Merged pull requests:

• Bump CxxWrap to v0.17 (#27) (@blegat)

v0.2.5

Spot v0.2.5

Diff since v0.2.4

Merged pull requests:

• CompatHelper: bump compat for CxxWrap to 0.16, (keep existing compat) (#25) (@github-actions[bot])
• Bump TikzPictures 3.3 -> 3.5 (#26) (@ReubenJ)

Closed issues:

• Install on Windows (#22)

v0.2.4

Spot v0.2.4

Diff since v0.2.3

Merged pull requests:

• Restore tests (#24) (@MaximeBouton)

v0.2.3

Spot v0.2.3

Diff since v0.2.2

Merged pull requests:

• Cxx and julia compatibility (#23) (@MaximeBouton)

Closed issues:

• Spot.jl doesn't work on current version of Julia (#20)

v0.2.2

Spot v0.2.2

Diff since v0.2.1

Closed issues:

• Add example to save automata plot (#10)
• Write to dot file (#11)
• Using CxxWrap.jl instead of Cxx.jl (#13)

Merged pull requests:

• Update to julia 1.7, 1.8 (#21) (@MaximeBouton)

v0.2.1

Spot v0.2.1

Diff since v0.2.0

Closed issues:

• Compatibility with julia > 1.3 (#12)

Merged pull requests:

• Documentation website (#17) (@MaximeBouton)

v0.2.0

Spot v0.2.0

Diff since v0.1.1

Merged pull requests:

• Switch to Cxxwrap (#14) (@MaximeBouton)
• CompatHelper: add new compat entry for "CxxWrap" at version "0.11" (#15) (@github-actions[bot])

v0.1.1

Spot v0.1.1

Diff since v0.1.0

Merged pull requests:

• Install TagBot as a GitHub Action (#9) (@JuliaTagBot)

v0.1.0

v0.1.0 (2019-09-30)

Diff since v0.0.1

Merged pull requests:

• [WIP] Use Cxx and BinaryBuilder (#8) (MaximeBouton)

First release

• based on PyCall
• use TikzPictures for rendering