Skip to content

Releases: NielsMommen/vf-llvm-clang-build

LLVM/Clang 16.0.1

31 May 12:56
@NielsMommen NielsMommen
v2.0.3
37740a3
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.
Compare
Choose a tag to compare
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 20

LLVM/Clang 16.0.1

28 Apr 14:07
@NielsMommen NielsMommen
v2.0.2
292093d
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.
Compare
Choose a tag to compare
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

SHA-256:

  • vf-llvm-clang-build-292093d-Linux.tar.gz: 2f0cd7dec3bcdf22231930af17ccacc44b69ed3fb6df177df946e6c509751e7b
  • vf-llvm-clang-build-292093d-macOS.tar.gz: db6d13ed128b4a3925b8ff3e31de0e170f5487bbd183aa7b4abaa2136032f9aa
  • vf-llvm-clang-build-292093d-Windows-MinGW-i686.tar.gz: 762B5356385BB4594BD414AD95B27F78FB75009ECECA72EF9ACB25F4877EC4D1
  • vf-llvm-clang-build-292093d-Windows-MinGW-x86_64.tar.gz: EBBF942BA1B0F3A8864F0E64B00A9883FA0390A8743C0C16FB4FBF76D2959D6C
  • vf-llvm-clang-build-292093d-Windows-MSVC-Win32.tar.gz: 03122008C72D740DF0DF3CD50E0CC800C62577894C2A20AEFB6909CEED6F8BAE
  • vf-llvm-clang-build-292093d-Windows-MSVC-x64.tar.gz: CEF5E2FD9ECAEABC89360156A1E0B1FFC8B756333FF96967BBE50ED4231A8040

Changes

  • Verbose artifact names for windows
Assets 14
Loading

LLVM/Clang 16.0.1

20 Apr 07:08
@NielsMommen NielsMommen
v2.0.1
ab7106b
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.
Compare
Choose a tag to compare
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

SHA-256:

  • vf-llvm-clang-build-ab7106b-Linux.tar.gz: 5d74b9057369bf336c860d2740c568af1eb5776bb0bc7dfa3e140c53b5f8fda4
  • vf-llvm-clang-build-ab7106b-macOS.tar.gz: a0c3744642e0eb533567637aab5ad2d446ed28a9ac846f82903ac13adb9405c8
  • vf-llvm-clang-build-ab7106b-Windows-i686.tar.gz: AFF2B2D2FAD431270C0A3EA4ADD7D6CBDCDBDF40AC62B65B1F9F7B6FE8AB9322
  • vf-llvm-clang-build-ab7106b-Windows-x86_64.tar.gz: 8066E3658CD16AD258672B45350F28646DAFB869CED281275DEB46D048AD741F
  • vf-llvm-clang-build-ab7106b-Windows-Win32.tar.gz: D306C6528DDADD4C3699C87A635359F605D43D75BA597FE77CA86133984F472F
  • vf-llvm-clang-build-ab7106b-Windows-x64.tar.gz: 14771146FE35C6C1098B14CF4F5D26E61E5072AFC1BC29BC8FC36977418AEE7B

Changes

  • Disable zstd
Assets 15
Loading

LLVM/Clang 16.0.1

10 Apr 10:11
@NielsMommen NielsMommen
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
Learn about vigilant mode.
Compare
Choose a tag to compare
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

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

LLVM/Clang 13.0.0

14 Oct 14:47
@NielsMommen NielsMommen
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.
Compare
Choose a tag to compare
LLVM/Clang 13.0.0

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

LLVM/Clang 13.0.0

22 Nov 14:55
@NielsMommen NielsMommen
v1.0.0
aafd059
Compare
Choose a tag to compare
LLVM/Clang 13.0.0

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