kframework/c-semantics — pull request #26 by yilongli (2014-07-15 21:42:47+00:00)
Title: Update README.md

fixed instruction to kompile cil semantics

@chathhorn please review