search

kframework / llvm-semantics

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

adding the comments of LLVM syntax. #22

Closed liyili2 closed 9 years ago

liyili2 commented 9 years ago

@grosu, comments for LLVM syntax is ready.