Revision 4574 committed by mathieu

[email protected] Thu, 29 Sep 2005 21:16:25 -0400

Newsgroups	gmane.comp.java.vm.sablevm.cvs
Message-ID	<[email protected]>

Revision: 4574
Date: 2005-09-29 21:16:24 -0400 (Thu, 29 Sep 2005)
Author: mathieu
Log:

 * Added partial uninitialized references verification.
 

Changed:

 U   sablevm/branches/verifier/SVerifier.java
 U   sablevm/branches/verifier/dataFlowAnalysis/STypes.java