kframework/k — pull request #291 by andreistefanescu (2014-03-19 20:01:28+00:00)
Title: machine integers implemented with (java) primitives or big integers in the java backend

A test if failing due to a problem with Id2String. Fixing it requires #289. Please review the rest in the meantime.