kframework/k — pull request #1239 by radumereuta (2014-12-04 21:27:21+00:00)
Title: Fix rule cache. Taking into consideration changes to the attributes of rules.

@dwightguth please review.