Add a README.md file - Githubissues

kframework / llvm-semantics

Formal semantics of LLVM IR in K

44 stars 9 forks source link

Add a README.md file #6

Open grosu opened 9 years ago

grosu commented 9 years ago

Add a README.md file to the LLVM semantics. Follow the model of other semantics if you are not sure what to put in it. Also, please make an effort to use correct English.