kframework/k — pull request #271 by owolabileg (2014-03-07 15:14:19+00:00)
Title: Moved Indexing to kompile

Moved the creation of rule index table to happen at kompile time