kframework/k — pull request #749 by dwightguth (2014-07-23 20:11:49+00:00)
Title: serialize context instead of trying to recreate it

**do not review yet**