kframework/k — pull request #625 by cos (2014-06-17 19:32:07+00:00)
Title: Introduce state object

**do not review yet**