adding prologue attribute in the syntax of LLVM. - Githubissues

kframework / llvm-semantics

Formal semantics of LLVM IR in K

43 stars 9 forks source link

adding prologue attribute in the syntax of LLVM. #20

Closed liyili2 closed 9 years ago