alive2

20.0BlockedDependencies →

Automatic verification of LLVM optimizations

Blocked by failed dependencies; not queued for a build.

No build output for this package in this campaign. Open a dependency's failure log below.

Planning log · · This campaign

pkgs/by-name/al/alive2/package.nix

Blocking dependencies

llvm-18.1.8

Compilation or linking failed

Failure log · · This campaign

z3-4.15.1

Compilation or linking failed

Failure log · · This campaign

x86_64-unknown-linux-gnufilc0-gcc-14.3.0

Compilation or linking failed

Failure log · · This campaign

Via stdenv-linux → x86_64-unknown-linux-gnufilc0-clang-wrapper-19.1.7

compiler-rt-libc-19.1.7

Configuration failed

Failure log · · This campaign

Via stdenv-linux → x86_64-unknown-linux-gnufilc0-clang-wrapper-19.1.7