v0.2.9

ekilmer released this 05 Aug 20:05

· 130 commits to master since this release

39d4516

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

Contributors

ekilmer

Assets 8