progress on using java primitives as builtins
implemented builtin support for machine integers; int32 uses the java primitive type int
hooked java functions apply before the k rules; minor additions to the builin machine integers
revised shift and overflow operations
final fixes; added some tests
addressed some code review issues
properly deleted unused class
renamed ==MInt and =/=MInt in eqMInt and neMInt
renamed inf and sup to min and max
more fixed sadd hook; more comments
changed srem/sdiv; minor stuff
more fixes
final fixes
renamed theMain in Main and theObject in Object in kool; no need for Id2String definition for Main or Object
fix bug where kompile crashes but ktest reports success
deleted kool tests in samples/java_rewrite_engine/tutorial/2_languages/2_kool; using tests in tutorial/2_languages/2_kool instead
Merge pull request #307 from kframework/tokenfix

renamed theMain in Main and theObject in Object in kool; no need for Id2...
Merge pull request #308 from dwightguth/errorcode

fix bug where kompile crashes but ktest reports success
Merge pull request #291 from andreistefanescu/machine_integers

machine integers implemented with (java) primitives or big integers in the java backend