GitHub repository: liyili2/llvm-semantics-1
Primary language: LLVM
Description: Formal semantics of LLVM IR in K