kframework/k — pull request #841 by yilongli (2014-08-14 04:26:01+00:00)
Title: Add kernelc execution tests

@dwightguth @andreistefanescu please review