[Javapathfinder-svn] SF.net SVN: javapathfinder:[1498] trunk

[<pcm...@us...>]

Revision: 1498
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1498&view=rev
Author:   pcmehlitz
Date:     2009-05-11 04:52:25 +0000 (Mon, 11 May 2009)

Log Message:
-----------
* added Milos Gligoric's & Tihomir Gvero's delayed CG extension - the general idea is to delay choice generation until the point where the choice value is used. See delayed/doc and the referenced paper

  http://infoscience.epfl.ch/record/128816

Modified Paths:
--------------
    trunk/.classpath

Added Paths:
-----------
    trunk/extensions/delayed/
    trunk/extensions/delayed/build.xml
    trunk/extensions/delayed/doc/
    trunk/extensions/delayed/doc/index.html
    trunk/extensions/delayed/src/
    trunk/extensions/delayed/src/gov/
    trunk/extensions/delayed/src/gov/nasa/
    trunk/extensions/delayed/src/gov/nasa/jpf/
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/NCPInstructionFactory.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ObjectPool.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/attr/
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/attr/AnyObjNCPDelayedAttr.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/attr/BooleanNCPDelayedAttr.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/attr/IntNCPDelayedAttr.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/attr/NCPDelayedAttr.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/attr/NewObjNCPDelayedAttr.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/attr/ObjNCPDelayedAttr.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/AALOAD.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/ALOAD.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/BALOAD.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/CHECKCAST.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/GETFIELD.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/GETSTATIC.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/IALOAD.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/IINC.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/ILOAD.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/INVOKESPECIAL.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/INVOKESTATIC.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/INVOKEVIRTUAL.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/VirtualInvocation.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cg/
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cg/DelayedCG.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cg/ObjDelayedCG.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/AnyOrderEntry.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/NCPDelayedStateExtensionClient.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/NewOrderEntry.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/Order.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/OrderEntry.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/UnderlineObjectPool.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/util/
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/util/NCPUtils.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/util/Pair.java
    trunk/extensions/delayed/src/gov/nasa/jpf/delayed/util/Roundtrip.java
    trunk/extensions/delayed/src/gov/nasa/jpf/jvm/
    trunk/extensions/delayed/src/gov/nasa/jpf/jvm/NCPDelayedRestorer.java
    trunk/extensions/delayed/test/
    trunk/extensions/delayed/test/gov/
    trunk/extensions/delayed/test/gov/nasa/
    trunk/extensions/delayed/test/gov/nasa/jpf/
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestAALOAD.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestAALOADJPF.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestALOAD.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestALOADJPF.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestBALOAD.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestBALOADJPF.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestDefaultObjectPool.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestDefaultObjectPoolJPF.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestGETFIELD.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestGETFIELDJPF.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestGETSTATIC.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestGETSTATICJPF.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestIALOAD.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestIALOADJPF.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestILOAD.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestILOADJPF.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/conf/
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/conf/ConfigurableTestJPF.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/conf/DefaultConfigurableTestJPF.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/conf/NCPConfigurableTestJPF.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/util/
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/util/JPF_gov_nasa_jpf_delayed_test_util_TestUtils.java
    trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/util/TestUtils.java


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