kframework/c-semantics — pull request #15 by liyili2 (2014-06-12 23:44:23+00:00)
Title: Java rewrite engine2

Update changing a list to be a syntactic list and mark it as strict with context rules.