kframework/c-semantics — pull request #68 by dwightguth (2014-12-29 16:40:24+00:00)
Title: improve kcc infrastructure plus fix tests

@chathhorn please review