kframework/k — pull request #1264 by cos (2014-12-19 00:29:01+00:00)
Title: feature/new parser on kore

**do not review yet**

@radumereuta, this is the work we did last week. I fixed some tests and cleaned up a bit. have a look and adjust as you see fit.