kframework/c-semantics — pull request #62 by chathhorn (2014-11-26 00:45:57+00:00)
Title: Fix warnings + other minor refactoring

@dwightguth review?