kframework/k — pull request #968 by yilongli (2014-09-20 23:14:59+00:00)
Title: Verification with floating point

@dwightguth @andreistefanescu please review