kframework/c-semantics — pull request #45 by yilongli (2014-10-27 19:27:44+00:00)
Title: fix incorrect cellmap attribute + revise list pattern

@andreistefanescu please review