kframework/k — pull request #1102 by radumereuta (2014-10-23 22:52:48+00:00)
Title: Separating the new parser code for programs from SDF and returning the

grammar object in order to avoid having a static state.

@dwightguth please review.