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
Fixing an issue with Tokens creating ambiguities with variables.
final fixes; added some tests
Bypassing the check from TokenSortCollector to allow the fix to work.
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
Made the fix a filter of it's own for better clarity. Added regression test.
Fixing the config.xml files for ktest.
Moving the CorrectConstantsTransformer filter later so it fixes kool.
Forgot to call CorrectConstantsTransformer in a few places. Should fix most of the tests.
KTEST: Support 'posixOnly' attributes in config.xml