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

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

Revision: 1901
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1901&view=rev
Author:   frankrimlinger
Date:     2009-09-10 16:55:36 +0000 (Thu, 10 Sep 2009)

Log Message:
-----------
Wrote code for properly recording the dependency sequence of nested loops.  Tests agains rkrug baseline were fine, but testing agains frank/loopTests/nested_blowup uncovered a bug in the TABLESWITCH formal peer.  This bug is inherited from MangoBaseline, but only fixing in Mango.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/graph/msg/Graph2DViewCreateRequestMsg.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/graph/LoopGraph.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/LoopVertex.java


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