kframework/c-semantics — pull request #65 by dwightguth (2014-12-03 23:46:45+00:00)
Title: fix c semantics for k master

@chathhorn please review

You can test this against kframework/k#1235

It should pass the tests.