kframework/k — pull request #423 by radumereuta (2014-05-07 21:39:40+00:00)
Title: Moving the Int and Float declaration from SDF into K.

Let's see if it passes the tests.