kframework/c-semantics — pull request #46 by yilongli (2014-10-29 04:21:51+00:00)
Title: (partially) proved the CIL list_reverse example

@andreistefanescu please review