kframework/k — pull request #535 by cos (2014-06-01 22:04:25+00:00)
Title: State knows about top configuration [don't review]

abusing the pull request jenkins integration to get my stuff tested