search

kframework / llvm-semantics

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

Java engine fixing problems in functionheader #9

Closed liyili2 closed 9 years ago

liyili2 commented 9 years ago

@grosu, please review.

grosu commented 9 years ago

@liyili2 , as discussed, please do not wait for me to review your code. Make pull requests and then merge, but:

1) try your best to comment your code (with good English) 2) try your best to give very good names to sorts

The idea is to first make everything work, and be able to parse lots and lots of LLVM programs as generated by Clang, and once we know it works, we will revise the syntax together and make sure that it also looks good.

liyili2 commented 9 years ago

OK. got it.