llvm-20.1.1

All of optimuzz, Alive2, and instrumentation are built with LLVM 20.1.1.

The artifact version of PLDI 2025

Build Information

Instrumentation Pass: clang/clang++ of LLVM 18
Optimuzz: LLVM 16 (configured with opam)