add negative contracts on KilProperty
add comment explaining what this is used for
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
Removing pdmc from master
Updated buldjava.xml to remove Promela parser generation.
Merge pull request #293 from kframework/remove-pdmc

Removing pdmc from master
Merge pull request #285 from dwightguth/kilproperty

add negative contracts on KilProperty
changed srem/sdiv; minor stuff
more fixes