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

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

Revision: 1387
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1387&view=rev
Author:   frankrimlinger
Date:     2009-04-13 02:13:51 +0000 (Mon, 13 Apr 2009)

Log Message:
-----------
Stable rewrite update in progress.  Regenerated sessions for more baseline loop tests.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/StableRewriteLocator.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/StableRewriteMsg.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/two_loops_in_a_row/<init>()V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/two_loops_in_a_row/main(I)Z/'x' is greater than or equal to 0.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/<init>()V/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/main(II)Z/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/simple_loop(I)I/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/simple_loop(I)I/loops/-baseline.while_with_conjunct.simple_loop(I)I#2:iload_x_Code_01/op0 is less than 5.zip

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/'x' is greater than or equal to 'y'.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/'x' is less than 'y'.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/loops/-baseline.while_with_conjunct.conjunctive_while_loop(II)I#3:iload_x_Code_01/'y' is less than 5, op0 is less than 5.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is less than 5 OR 'y' is less than 5 AND op0 is greater than or equal to 5.zip

Removed Paths:
-------------
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/case.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/loops/-baseline.while_with_conjunct.conjunctive_while_loop(II)I#3:iload_x_Code_01/op0 is less than 5.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is greater than or equal to 5.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is less than 5.zip


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