search

kframework / llvm-semantics

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

merge LLVM 6.0 #48

Closed liyili2 closed 6 years ago