kframework/k — pull request #1137 by yilongli (2014-10-30 22:32:29+00:00)
Title: patch in order to prove the entire cil list reverse example

@andreistefanescu please review