Attempting to improve performance. NOTE: this commit breaks compatibility with current versions of krun -- it requires a patched version I'm experimenting with.
Oops, left off [heat] and [cool] tags.
Merge branch 'master' of https://github.com/kframework/c-semantics
Including the old license.
output-mode => output, importing the syntax module, and some other tweaks.
Silencing echo of krun command line.
fillInits bugfix + move initFunction to common.
Reworked temp file names. Creates a plaintext config in debug mode.
Mostly hopefully temporary threadid tweaks.
Temp file name tweak.
Base64 encoding/decoding.
Always generate raw output & parse for errors.
Dumb bug fix.
Fixed parsing of the result config (no longer expect a return value).
Various refactorings around the new static/dynamic split.
Fixed some issues with threadId.
Added a debug module.
Some work on verifiying qualifiers.
Bugfix.
Another regression.