search

kframework / llvm-semantics

Formal semantics of LLVM IR in K
43 stars 9 forks source link

merging with modifing modifiers in llvm. #35

Closed liyili2 closed 9 years ago