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.
_______________________________________________
kaffe mailing list
[EMAIL PROTECTED]
http://kaffe.org/cgi-bin/mailman/listinfo/kaffe
