Skip to content

v0.2.8
Compare
Choose a tag to compare
@ekilmer ekilmer released this 06 Jul 18:20
· 135 commits to master since this release
v0.2.8
15a1f85
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

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

Contributors

ekilmer
Assets 8
Loading