kframework/c-semantics — pull request #34 by radumereuta (2014-08-08 01:44:16+00:00)
Title: Removing subsort KItem ::= Type to improve parsing times.

@dwightguth Please run the tests for this pull request.
I've made some optimizations that should improve the parsing times considerably, and I want to see if they are safe.