snu-sf/crellvm-vellvm

Vellvm for Crellvm: Verified Credible Compilation for LLVM

Coq