kframework/k — pull request #1242 by msaxena2 (2014-12-05 14:26:17+00:00)
Title: debugger substitution feature

Update to the current debugger to show rules applied, and the substitution at every transition. Do not review yet.