kframework/k — pull request #382 by owolabileg (2014-04-15 16:08:03+00:00)
Title: Freezing the code for path indexing

The path indexing now works for most languages in the K tutorial. Stopping work on it for now, so that I can move to a more general algorithm.