kframework/k — pull request #429 by radumereuta (2014-05-08 20:26:40+00:00)
Title: Cleaning up all the code that handled the C-sglr (sdf) parser.

@dwightguth please review.