v0.0.8

github-actions released this 21 May 20:36

· 415 commits to master since this release

307f303

Merge pull request #53 from trailofbits/fix-z3-exports-for-cmake

Avoid exporting a full file path for Z3 in cmake

Assets 12