[Javapathfinder-svn] SF.net SVN: javapathfinder:[1598] branches/mango/MangoJPF

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

Revision: 1598
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1598&view=rev
Author:   frankrimlinger
Date:     2009-06-05 15:57:05 +0000 (Fri, 05 Jun 2009)

Log Message:
-----------
First successful Mango loop abstraction powered by the jpf simulation mechanism, in particular for the itsAWrap.clear loop.  This is commemorated in the picture "successful port" which shows the jpf simulation output and the formal expression for the loop body side-by-side.  

Many many risks are now retired.  The next step is to figure out how to drive the rewriter itself from the jpf simulator, leveraging the backtracking mechanism to eliminate the horrible stratification of phase2.   

But really and truly it is first time to rehabilitate the 2D graphics and regenerate all the regressions on the new platform.

Modified Paths:
--------------
    branches/mango/MangoJPF/.settings/org.eclipse.jdt.core.prefs
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java

Added Paths:
-----------
    branches/mango/MangoJPF/successful port.tiff


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