kframework/c-semantics — pull request #60 by dwightguth (2014-11-21 19:41:59+00:00)
Title: Java rewrite engine

Creating a pull request to track the merge into master, but I don't intend to actually have anyone review it.