Formal semantics of LLVM IR in K (old) - View it on GitHub