v0.2.15

This release fixes a bug in the naming of macOS artifacts from v0.2.14.

What's Changed (includes v0.2.14 changes)

• Updated PASTA patches for LLVM14 and LLVM15. Remove RocksDB, add lz4. by @pgoodman in #988
• Add --verbose option to build script in a7afa53

Full Changelog: v0.2.13...v0.2.15

v0.2.14

This is a bad release. Please use v0.2.15

What's Changed

• Updated PASTA patches for LLVM14 and LLVM15. Remove RocksDB, add lz4. by @pgoodman in #988
• Add --verbose option to build script in a7afa53

Full Changelog: v0.2.13...v0.2.14

v0.2.13

What's Changed

• Add SQLite dependency by @frabert in #986
• Fix compatibility with old bash versions by @mrexodia in #985
• Update LLVM-15 to 15.0.4 by @ekilmer in #987

New Contributors

• @frabert made their first contribution in #986
• @mrexodia made their first contribution in #985

Full Changelog: v0.2.12...v0.2.13

v0.2.12

What's Changed

• Update gha and release artifact names by @Ninja3047 in #981
• LLVM 15 Update to 15.0.3 and latest vcpkg tag by @ekilmer in #982

Full Changelog: v0.2.11...v0.2.12

v0.2.11

What's Changed

• Add clang-14 to docker container by @Ninja3047 in #966
• Update to latest vcpkg by @ekilmer in #973
• LLVM 15 by @ekilmer in #974
• Remove LLVM 13
• Cross compile for m1 in ci by @Ninja3047 in #958

Full Changelog: v0.2.10...v0.2.11

v0.2.10

What's Changed

• add doctest, used in a number of projects by @Ninja3047 in #964

New Contributors

• @Ninja3047 made their first contribution in #964

Full Changelog: v0.2.9...v0.2.10

v0.2.9

What's Changed

• Update z3 to 4.9.1 by @ekilmer in #954
• ports: Rocksdb with zstd, add re2, add zstd 650e3c7
• llvm-14: PASTA clang patches by @ekilmer in #959

Full Changelog: v0.2.8...v0.2.9

v0.2.8

What's Changed

• Update tools to latest master commit by @ekilmer in #949
• Add osx applocal.py to build script export dir by @ekilmer in #952
• Update vcpkg to latest release and LLVM v14.0.6 and Z3 v4.8.17 by @ekilmer in #951

Full Changelog: v0.2.7...v0.2.8

v0.2.7

What's Changed

• Bump and build rellic only for LLVM 14 by @ekilmer in #946
• LLVM: Build webassembly target by @ekilmer in #947
• fix build options for ocaml by @2over12 in #948

Full Changelog: v0.2.6...v0.2.7

0.2.6

What's Changed

• llvm-14: Fix default clang sysroot on macOS by @ekilmer in #944

Full Changelog: v0.2.5...v0.2.6