kframework/k — pull request #167 by chathhorn (2013-11-22 00:49:35+00:00)
Title: Experimental load-cfg option

This patch adds an experimental "--load-cfg" option that loads a configuration saved using the "--output binary" option into the $PGM configuration variable. This is intended for passing the final configuration from one semantic phase to the next, e.g., from the "static" to the "dynamic" phases of the C semantics.

Could someone please take a look at this, especially the changes to MaudeFilter.java?