search

kframework / llvm-semantics

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

fixing the problem of param lists and invokes in terminator instructions... #15

Closed liyili2 closed 9 years ago

liyili2 commented 9 years ago

Fixing instructions in a function body.