kframework/c-semantics — pull request #16 by dwightguth (2014-06-17 16:15:05+00:00)
Title: Java rewrite engine

I think CIL works now. A bunch of gcc tests pass.