kframework/c-semantics — pull request #32 by liyili2 (2014-08-04 15:50:19+00:00)
Title: fixing some bugs

Fixing the bugs which unified-builtins has now command lines for C, and fixing casting Type sort to SimpleType problem