Skip to content

LLVM/Clang 16.0.1
Compare
Choose a tag to compare
@NielsMommen NielsMommen released this 10 Apr 10:11
· 3 commits to main since this release
v2.0.0
4b6894c
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.

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

SHA-256:

  • vf-llvm-clang-build-4b6894c-Linux.tar.gz: e1344309ce282fe2125825683bf78d2a134f1dde542eee4ec0d5d226ab0bb904
  • vf-llvm-clang-build-4b6894c-macOS.tar.gz: 3f03424b8655641a5dfb1a3a9858b44cc1ea73fa5da8c6a0902b141cc7819a28
  • vf-llvm-clang-build-4b6894c-Windows-i686.tar.gz: 1F6C6A07F23CF02AA302052837E6E1721846D0CBEBDEE1A601E6D369EA70EF9A
  • vf-llvm-clang-build-4b6894c-Windows-x86_64.tar.gz: 48E485881BC88A894467204F2FA7CFD2FC4D36813A2AF49B8B920A20F172DCB6
  • vf-llvm-clang-build-4b6894c-Windows-Win32.tar.gz: BB695B9AA2035C76A756A0FDDA114925B6C55C277AA92F3C2FFB26418037A17D
  • vf-llvm-clang-build-4b6894c-Windows-x64.tar.gz: DFFEA23DCDEB4AB04F566E5B6794EF113D11BFFF4D2139EDCFF641B5C5442611

Changes

  • Limit llvm targets to x86 only (DLLVM_TARGETS_TO_BUILD=X86)
  • Added MinGW i686 and x86_64 builds on Cygwin
  • Updated MacOS runner to macos-11
  • Updated Linux runner to ubuntu-20.04
  • Updated actions to more recent versions
Assets 14
Loading