Skip to content

v0.1.5

Choose a tag to compare

View all tags
@ekilmer ekilmer released this 07 Oct 20:04
· 208 commits to master since this release
v0.1.5
a50e84d
This commit was signed with the committer’s verified signature.
ekilmer Eric Kilmer
GPG key ID: 504CA431CF70054B
Verified
Learn about vigilant mode. 
Release 0.1.5

Remove old LLVM versions. Added LLVM 13. Only testing LLVM 12 and 13.

Bump to latest vcpkg commit.

Add abseil, flatbuffers, grpc ports and upgrade them to latest versions

Updated Z3 to 4.8.12

Change asan triplet to be a bit more robust when applied to arbitrary
ports.

Fix some XED port compilation issues

Some Mac M1 support fixes
Assets 10
Loading