GitHub repository: snu-sf/crellvm
Primary language: Coq
Created: 2018-02-25T08:57:57Z
Description: Crellvm: Verified Credible Compilation for LLVM