kframework/k — pull request #1045 by yilongli (2014-10-08 17:21:09+00:00)
Title: Verification with floating point 2

Proved the complete cd2d program
@andreistefanescu @dwightguth please review