kframework/c-semantics — pull request #48 by yilongli (2014-10-30 21:45:41+00:00)
Title: proved cil list reverse example

@andreistefanescu please review