[Javapathfinder-svn] SF.net SVN: javapathfinder:[1591] branches/mango/Mango

[<fra...@us...>]

Revision: 1591
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1591&view=rev
Author:   frankrimlinger
Date:     2009-06-03 23:46:51 +0000 (Wed, 03 Jun 2009)

Log Message:
-----------
MangoJPF survives the loop subdivision algorithm of phase2, and the components for itsAWrap.clear and the itsAWrap.clear loop both graph properly, as compared against the same graphs from Mango.

Next bug is in the stratification alg.  Eventually stratification will be dropped, but I have to fix it now to finish all the baseline tests.  Cannot move on before this.

Modified Paths:
--------------
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/Graph.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
    branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.