kframework/k — pull request #1049 by dwightguth (2014-10-09 18:31:09+00:00)
Title: remove legacy gappa code from framework: using z3 for floating point now

@andreistefanescu @yilongli please review