kframework/c-semantics — pull request #40 by yilongli (2014-09-23 20:54:07+00:00)
Title: Revert "updated config file to test the fast rewriter instead"

revert the config file until my fix for the bug gets merged into the master of the K tool
@dwightguth