kframework/c-semantics — pull request #20 by dwightguth (2014-06-23 21:26:25+00:00)
Title: fix heap size

This should allow the semantics to kompile with an unmodified K distribution