kframework/k — pull request #1274 by dwightguth (2014-12-31 22:30:19+00:00)
Title: various minor bug fixes and optimizxations to the rewriter

Comprises:
* add auditing for anywhere rules
* fix race conditions associated with get/put critical pairs in static caches
* disable user time (apparently JMX is really slow)
* fix for bug with anywhere rules not applying because the eval instruction was not generated (due to Definition.anywhereRules() not being set yet at compilation time)

@yilongli please review