kframework/c-semantics — pull request #9 by liyili2 (2014-06-03 15:29:59+00:00)
Title: fixing problems in designing ==Bag

1, Add function for ==Bag.

2, comment out some rule with keys of maps with structures;

3, rewrite some functions into left hand side + right hand side structure.