search

kframework / llvm-semantics

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

Revert "Ctl optim" #45

Closed liyili2 closed 8 years ago

liyili2 commented 8 years ago

Reverts kframework/llvm-semantics#44