kframework/c-semantics — pull request #56 by dwightguth (2014-11-14 16:28:37+00:00)
Title: Java rewrite engine

@chathhorn please review