[kaffe] Kaffe CVS: kaffe rob

[Kaffe CVS]

CVSROOT:	/cvs/kaffe
Module name:	kaffe
Changes by:	rob	03/06/30 12:30:27

Modified files:
	.              : ChangeLog 
	kaffe/kaffevm  : jni.c verify.c 

Log message:
The second of a serious of small checkins that will
integrate the verifier into kaffe.

First, -verifyremote is now the default option when
running kaffe.  You can still run kaffe with -noverify
to skip verification.

Second, pass 3a (checking of static constraints in bytecode)
has been added.

* kaffe/kaffevm/jni.c
Default value for verifyMode is set to 2 (verifyremote).

* kaffe/kaffevm/verify.c
Pass 3a verification added.  Lots of code.  Probably bugs,
but it doesn't break any regression tests.