Skip to content

Releases: verifast/vf-llvm-clang-build

LLVM/Clang 16.0.1

08 Jan 15:41
@btj btj
v2.0.5
a04d30e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
LLVM/Clang 16.0.1 Latest
Latest

LLVM/Clang 16.0.1 release for use in VeriFast. Configured with following CMake variables:

LLVM_ENABLE_PROJECTS=clang
LLVM_BUILD_TOOLS=OFF
CMAKE_BUILD_TYPE=Release
BUILD_SHARED_LIBS=OFF
LLVM_BUILD_LLVM_DYLIB=OFF
LLVM_ENABLE_BINDINGS=OFF
LLVM_ENABLE_FFI=OFF
LLVM_ENABLE_ZLIB=OFF
LLVM_ENABLE_LIBXML2=OFF
LLVM_ENABLE_TERMINFO=OFF
LLVM_TARGETS_TO_BUILD=X86
LLVM_ENABLE_ZSTD=OFF

Assets 6
Loading

LLVM/Clang 16.0.1

08 Jan 08:11
@btj btj
v2.0.4
e394ef7
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
LLVM/Clang 16.0.1

LLVM/Clang 16.0.1 release for use in VeriFast. Configured with following CMake variables:

LLVM_ENABLE_PROJECTS=clang
LLVM_BUILD_TOOLS=OFF
CMAKE_BUILD_TYPE=Release
BUILD_SHARED_LIBS=OFF
LLVM_BUILD_LLVM_DYLIB=OFF
LLVM_ENABLE_BINDINGS=OFF
LLVM_ENABLE_FFI=OFF
LLVM_ENABLE_ZLIB=OFF
LLVM_ENABLE_LIBXML2=OFF
LLVM_ENABLE_TERMINFO=OFF
LLVM_TARGETS_TO_BUILD=X86
LLVM_ENABLE_ZSTD=OFF

Loading