kframework/k — pull request #948 by dwightguth (2014-09-12 21:00:17+00:00)
Title: first steps towards a generic transformation pipeline for krun

**do not review yet**