kframework/k — pull request #1170 by dwightguth (2014-11-11 22:09:33+00:00)
Title: minor fixes to make C semantics work more correctly

@andreistefanescu @yilongli please review