[Javapathfinder-svn] SF.net SVN: javapathfinder: [861] branches/v5

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

Revision: 861
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=861&view=rev
Author:   pcmehlitz
Date:     2008-06-12 10:42:13 -0700 (Thu, 12 Jun 2008)

Log Message:
-----------
* removed the state abstraction, the undo and the untracked field support for now. Some of this
might come back later, but it slows down the ElementInfo/Fields/Area refactoring, so it's better
to keep it off until this is done, and redesign with true delta state storage in mind. Next thing
to vanish is the Static/DynamicFields branch

Modified Paths:
--------------
    branches/v5/.classpath
    branches/v5/src/gov/nasa/jpf/jvm/Area.java
    branches/v5/src/gov/nasa/jpf/jvm/DynamicElementInfo.java
    branches/v5/src/gov/nasa/jpf/jvm/DynamicFields.java
    branches/v5/src/gov/nasa/jpf/jvm/ElementInfo.java
    branches/v5/src/gov/nasa/jpf/jvm/Fields.java
    branches/v5/src/gov/nasa/jpf/jvm/StaticElementInfo.java
    branches/v5/src/gov/nasa/jpf/jvm/StaticFields.java

Added Paths:
-----------
    branches/v5/src/gov/nasa/jpf/jvm/ElementInfoContainer.java

Removed Paths:
-------------
    branches/v5/extensions/undo/
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/AbstractingSerializer.java
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/DefaultStateGraphSerializer.java
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/StateGraph.java
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/StateGraphBuilder.java
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/StateGraphLinearizer.java
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/StateGraphSerializer.java
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/StateGraphTransform.java
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/abstractor/
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/linearization/
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/state/
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/symmetry/
    branches/v5/src/gov/nasa/jpf/jvm/untracked/
    branches/v5/test/gov/nasa/jpf/mc/TestUntrackedField.java
    branches/v5/test/gov/nasa/jpf/mc/TestUntrackedFieldJPF.java
    branches/v5/test/gov/nasa/jpf/peterd_tests/


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