kframework/c-semantics — pull request #43 by yilongli (2014-10-25 02:38:09+00:00)
Title: progress on (re-)proving the sum example

The specification looks much better. The only flaw is the ```.Exps``` that I cannot get rid of right now.

@andreistefanescu please review