GitHub repository: snu-sf/llvmtwin-coq
Primary language: Coq
Created: 2018-07-22T12:18:39Z
Description: Coq formalization of LLVM memory model (Reconciling High-level Optimizations and Low-level Code in LLVM, OOPSLA'18)