Skip to content

LLVM/Clang 13.0.0
Compare
Choose a tag to compare
@NielsMommen NielsMommen released this 14 Oct 14:47
· 4 commits to main since this release
v1.0.1
eede6db
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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-eede6db-Linux.tar.gz: c9718bf0c81146739469d3ebd4bd57397813abe83dda7e2e8d7be8557137c709
  • vf-llvm-clang-build-eede6db-macOS.tar.gz: ff438696c9f76ddc73e8002ce826a43afd8c1c68d9d27b1e1b5cead28c8bb823
  • vf-llvm-clang-build-eede6db-Windows-Win32.tar.gz: CA466C67BD7238F35BFD41E0343C3634E078C73B5CD0CE31AFE23863168D3707
  • vf-llvm-clang-build-eede6db-Windows-x64.tar.gz: F715E941655B604B2F2185365BCA3E930FFEC58FA5911CF92830534B6F6DF387

Changes

  • Separate build for Win x86_64 and Win x64
Assets 10
Loading