kframework/k — pull request #221 by alexandrugyori (2013-12-19 00:45:19+00:00)
Title: Tracing functionality added.

Implementation of tracing functionality for k.
Adds a flag to kompile(--trace) in the java backend.
This will introduce a cell that will track at runtime all the rules that are triggered.