kframework/k — pull request #1077 by dwightguth (2014-10-17 19:49:05+00:00)
Title: remove dependency-injected static state

**do not review yet**