Revision 4449 committed by mathieu

[email protected] Fri, 05 Aug 2005 13:52:35 -0400

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

Revision: 4449
Date: 2005-08-05 13:52:33 -0400 (Fri, 05 Aug 2005)
Author: mathieu
Log:

 * Began instruction simulation;
 * Added type compatibility test in STypes;
 * Added maxStack, maxLocals in SStack, SLocalVariables;
 * Added type handling in SStack.
 

Changed:

 U   sablevm/branches/verifier/SVerifier.java
 U   sablevm/branches/verifier/dataFlowAnalysis/SFrame.java
 U   sablevm/branches/verifier/dataFlowAnalysis/SLocalVariables.java
 U   sablevm/branches/verifier/dataFlowAnalysis/SStack.java
 U   sablevm/branches/verifier/dataFlowAnalysis/STypes.java