Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Formal semantics of LLVM IR in K
Makefile TeX C
branch: master

The goal of this project is to give a complete executable semantics to the LLVM assembly language (LLVM IR). The language is being defined in the K Semantic Framework.

The k2 branch is compatible with K version 2.6-2.7.

Something went wrong with that request. Please try again.