search

kframework / llvm-semantics

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

Java engine defining more syntax #8

Closed liyili2 closed 9 years ago

liyili2 commented 9 years ago

@grosu, This should be the full definition of LLVM syntax.

liyili2 commented 9 years ago

@grosu , I revised the issues you care about in my branch. You can take a look at it. I am thinking of how to make syntax modularize.

liyili2 commented 9 years ago

@grosu , I revised the issues you care about in my branch. You can take a look at it. I am thinking of how to make syntax modularize.