Skip to content

LLVM/Clang 13.0.0
Compare
Choose a tag to compare
@NielsMommen NielsMommen released this 22 Nov 14:55
· 9 commits to main since this release
v1.0.0
aafd059

LLVM/Clang 13.0.0 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
  • DLLVM_ENABLE_TERMINFO=OFF

SHA-256:

  • vf-llvm-clang-build-aafd059-Linux.tar.gz: ab42b50fd7fbd59254d3a8aef5473a5c6ceb9ca3508f31c76d95ee5d31268291
  • vf-llvm-clang-build-aafd059-MacOS.tar.gz: 365648cc3fea920b49dc262b13a19d64896d873c1ceaa40d3da37c71c8201168
  • vf-llvm-clang-build-aafd059-Windows.tar.gz: B0D469554382EB68DB0E754DDED1AE49734FE837E6A768CAEA85184E5BEE0405
Assets 8
Loading