kframework/k — pull request #601 by yilongli (2014-06-15 06:18:51+00:00)
Title: Cleanup k item constructor

Clean up dead code introduced in test generation; remove performance bottleneck of the new rewrite algorithm.