[Javapathfinder-svn] SF.net SVN: javapathfinder:[1257] branches/mango/extensions/mango

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

Revision: 1257
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1257&view=rev
Author:   frankrimlinger
Date:     2009-03-06 20:20:51 +0000 (Fri, 06 Mar 2009)

Log Message:
-----------
Fixed E-Z bug.  There appears to be a linear arithmetic issue in loop_with_if.  See a.zip.

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/InequationSym.java
    branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
    branches/mango/extensions/mango/local/franklocal/sessions/a.zip

Added Paths:
-----------
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/<init>()V/
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/<init>()V/case.zip
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/length of theArray 'x' is greater than or equal to 10.zip
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/loops/
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/'i' does not equal 3.zip
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/op0 is less than 10.zip
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/main([I)Z/
    branches/mango/extensions/mango/local/rkrug_input/.classpath
    branches/mango/extensions/mango/local/rkrug_input/.project
    branches/mango/extensions/mango/local/rkrug_input/bin/
    branches/mango/extensions/mango/local/rkrug_input/bin/baseline/
    branches/mango/extensions/mango/local/rkrug_input/bin/baseline/AxiomInLoop.class
    branches/mango/extensions/mango/local/rkrug_input/bin/baseline/big_model_check_test.class
    branches/mango/extensions/mango/local/rkrug_input/bin/baseline/find_negative.class
    branches/mango/extensions/mango/local/rkrug_input/bin/baseline/if_with_two_loops.class
    branches/mango/extensions/mango/local/rkrug_input/bin/baseline/itsAWrap.class
    branches/mango/extensions/mango/local/rkrug_input/bin/baseline/loop_with_if.class
    branches/mango/extensions/mango/local/rkrug_input/bin/baseline/nested_loops.class
    branches/mango/extensions/mango/local/rkrug_input/bin/baseline/two_loops_in_a_row.class
    branches/mango/extensions/mango/local/rkrug_input/bin/baseline/while_with_conjunct.class
    branches/mango/extensions/mango/trick for double eclipse.rtf


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