kframework/k — pull request #630 by radumereuta (2014-06-19 15:52:43+00:00)
Title: Merging master into unified-builtins

- adding the latest fixes to the caching mechanism.

@dwightguth please review.