kframework/k — pull request #1267 by dwightguth (2014-12-23 20:05:59+00:00)
Title: add rule auditing feature

Feature shows a trace for a particular rewrite step showing why rules or rule did not apply.

@yilongli please review