kframework/c-semantics — pull request #63 by chathhorn (2014-11-26 21:09:45+00:00)
Title: More refactoring, minor bugfixes

@dwightguth review?