Menu
▾
▴
javapathfinder-svn
|
From: <fra...@us...> - 2008-11-20 21:12:31
|
Revision: 1072
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1072&view=rev
Author: frankrimlinger
Date: 2008-11-20 21:12:25 +0000 (Thu, 20 Nov 2008)
Log Message:
-----------
This is the initial load of Mango software. This project will proceed in three phases:
Phase1: Translation of remaining C++ code to java.
Phase2: Testing of resulting application and generation of baseline tests.
Phase3: Integration with jpf as an extension.
The original contribution of Mango code has been placed in
branches/mango/extensions/mango/
Coexistence notes: The following source roots are incompatible with Mango and have been defeated.
env/jpf
ui/env/jpf
The "System" project in franklocal_input is incompatible with everything. These stubs just allow Mango to get testable bytecodes for arraycopy().
Added Paths:
-----------
branches/mango/update notes/
branches/mango/update notes/081120a.rtf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2008-11-21 01:08:57
|
Revision: 1073
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1073&view=rev
Author: frankrimlinger
Date: 2008-11-21 01:08:51 +0000 (Fri, 21 Nov 2008)
Log Message:
-----------
Replaced the NOSA license in the mango branch, so that Frank Rimlinger is the POC for the software. Also added an explanatory file, so that it is understood that this license only applies to contents of branches/mango/extensions/mango.
Added Paths:
-----------
branches/mango/NOSA-1.3 Scope of license.rtf
branches/mango/NOSA-1.3-Mango.pdf
Removed Paths:
-------------
branches/mango/NOSA-1.3-JPF
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-12 06:25:36
|
Revision: 1186
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1186&view=rev
Author: frankrimlinger
Date: 2009-02-12 06:25:31 +0000 (Thu, 12 Feb 2009)
Log Message:
-----------
some misc stuff
Modified Paths:
--------------
branches/mango/.classpath
Added Paths:
-----------
branches/mango/make_test_jars
Removed Paths:
-------------
branches/mango/banner.rtf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-17 19:47:46
|
Revision: 1197
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1197&view=rev
Author: frankrimlinger
Date: 2009-02-17 19:47:41 +0000 (Tue, 17 Feb 2009)
Log Message:
-----------
WorkerID binding has been debugged. The binding scheme is far more complex than necessary, and should really be revamped someday. First successful session replay opening a loop definition window.
Modified Paths:
--------------
branches/mango/.classpath
branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/GlobalObjectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/GlobalParityID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/ID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentObjectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentParityID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/SourceAspectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/TransientObjectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/TransientParityID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerID.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SubType.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/RewriteAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslateLoopManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslateReturnManager.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-18 04:34:53
|
Revision: 1198
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1198&view=rev
Author: frankrimlinger
Date: 2009-02-18 04:34:46 +0000 (Wed, 18 Feb 2009)
Log Message:
-----------
Fixed some WorkerID bugs, and introduced IDException. Wired IDException through the entire message system so that response to ID binding failures can be differentiated between the harmless, recoverable, and fatal cases. This long standing issue has finally been resolved.
Next bug: the ModuleLocator encoder is not setting indexEncoding properly (?), causing replay failure.
Modified Paths:
--------------
branches/mango/.classpath
branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenDFLEditorRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenEncapsulationTemplateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenInterpretationRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ClearBreakPointMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetBreakPointMsg.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/Locator.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/ModuleLocator.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HiddenObject.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/PostCoreRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/PostRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/ReplaceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/GlobalObjectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/ID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentObjectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentParityID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/SourceAspectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/TransientObjectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/TransientParityID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerID.java
branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph2DViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph3DViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/graph/msg/MultiGraph3DViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/CreateMethodStubMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureTranslateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceAutoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceConjectureLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisAutoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisTranslateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CaptureMapMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseTranslateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseDefinitionMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CoalesceStandingHypothesesMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/DeleteUnusedParametersMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/FinalizeStatusMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/IncrementalUpdateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualInstantiationMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/msg/CloseLoopInstanceMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/msg/CloseMethodInstanceMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/MergeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/SubmitStandingHypothesisMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ContainsTestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowModuleMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/TranslateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeCaseRewriteTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/MapToScopeTrap.java
branches/mango/extensions/mango/Mango/src/mango/source/agent/msg/SourceViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeNodeOpenRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeRuleViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/UndoFormattingOpenRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/Cell.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hitem.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Instruction.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Method.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Package.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RedoLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RedoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ReplaceRewriteLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ReplaceRewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ShowTypeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UndoLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UndoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/CellUpdateTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/ApplyLinearTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/GarbageCollectTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/IDException.java
branches/mango/extensions/mango/local/franklocal/sessions/c.xml
branches/mango/extensions/mango/local/franklocal/sessions/c.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-23 20:06:57
|
Revision: 1221
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1221&view=rev
Author: frankrimlinger
Date: 2009-02-23 20:06:51 +0000 (Mon, 23 Feb 2009)
Log Message:
-----------
Added code to reflect on a message and reset its WorkerID and Locator fields. Unfortunately, because of access permission issues, a stub has to be place in each scripted message class, but this is still less error prone than direct coding.
Modified Paths:
--------------
branches/mango/.classpath
branches/mango/extensions/mango/Mango/src/mango/core/msg/ActivationStateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/Locator.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/ReplaceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerID.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/CreateMethodStubMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceConjectureRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CaptureMapMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseDefinitionMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/IncrementalUpdateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualInstantiationMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/msg/CloseLoopInstanceMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/msg/CloseMethodInstanceMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/MergeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyInvarianceRulesMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ContainsTestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RedoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ReplaceRewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UndoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-12 12:28:33
|
Revision: 1278
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1278&view=rev
Author: frankrimlinger
Date: 2009-03-12 12:28:20 +0000 (Thu, 12 Mar 2009)
Log Message:
-----------
mango branch cleanup, deleted a tutorial that would not compile. This will be fixed up down the road at some point.
Modified Paths:
--------------
branches/mango/.classpath
Removed Paths:
-------------
branches/mango/examples/ICSETutorial/CEV_15EOR_LOR.java
branches/mango/examples/ICSETutorial/Input.java
branches/mango/examples/ICSETutorial/InputOrder.java
branches/mango/examples/ICSETutorial/InputWithProperty.java
branches/mango/examples/ICSETutorial/InputWithPropertyComplete.java
branches/mango/examples/ICSETutorial/Output.java
branches/mango/examples/ICSETutorial/Output2.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-12 13:11:32
|
Revision: 1279
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1279&view=rev
Author: frankrimlinger
Date: 2009-03-12 13:11:00 +0000 (Thu, 12 Mar 2009)
Log Message:
-----------
mango test packages cleanup
Modified Paths:
--------------
branches/mango/.classpath
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/.project
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/linearArithmeticTests/LinearArithmetic.java
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/linearArithmeticTests/LinearArithmeticTest.java
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/linearArithmeticTests/liteTest1.java
branches/mango/extensions/mango/local/franklocal_input/LocalVariableScopeTest/.project
branches/mango/extensions/mango/local/franklocal_input/LocalVariableScopeTest/src/localVariableScopeTests/LocalVariableScopeTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/falseRecursion/A.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/falseRecursion/B.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/falseRecursion/falseRecursion.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/initTest/A.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/initTest/B.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/crazyGlue.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/staticObjectVirtualCallTest.java
branches/mango/make_test_jars
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/linearArithmeticTests/
branches/mango/extensions/mango/local/franklocal_input/LocalVariableScopeTest/src/localVariableScopeTests/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/Demo.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/EZfunctionAbs.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/FieldTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/LinearTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/ManagementDemo.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/ModelCheckText.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/RefBuster.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/Wacko.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/condTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/conditionalTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/conditonalBugs.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/falseRecursion/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/fcnCall.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/heapVacuum.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/initTest/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/invocationTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/multiarray.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/one.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/simpleArray.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/
branches/mango/extensions/mango/local/franklocal_input/linearArithmeticTests/
branches/mango/extensions/mango/local/franklocal_input/localVariableScopeTests/
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/LinearArithmeticTest/
branches/mango/extensions/mango/local/franklocal_input/LocalVariableScopeTest/src/LocalVariableScopeTest/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/Demo.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/EZfunctionAbs.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/FieldTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/LinearTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/ManagementDemo.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/ModelCheckText.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/RefBuster.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/Wacko.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/condTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/conditionalTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/conditonalBugs.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/falseRecursion/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/fcnCall.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/heapVacuum.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/initTest/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/invocationTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/multiarray.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/one.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/simpleArray.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/staticObjectVirtualCallTest/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-13 06:14:58
|
Revision: 1283
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1283&view=rev
Author: frankrimlinger
Date: 2009-03-13 06:14:50 +0000 (Fri, 13 Mar 2009)
Log Message:
-----------
Mango model no longer generated for library code, but java model still generated as it is needed for address resolution, access control, etc. This required some delicate tweaking in phase I of BackupAlg. Considerable time and memory savings during start up.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/Mango.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Invocation.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ClassModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Method.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
branches/mango/make_test_jars
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-20 19:48:24
|
Revision: 1299
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1299&view=rev
Author: frankrimlinger
Date: 2009-03-20 19:48:13 +0000 (Fri, 20 Mar 2009)
Log Message:
-----------
Created symbolic link from MangoRCP to mango project, and imported all the souce code and jars from mango. This is a little risky as SVN doesn't play well with symbolic links. But hopefully things will work out.
Modified Paths:
--------------
branches/mango/MangoRCP/.classpath
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hash.java
Added Paths:
-----------
branches/mango/MangoRCP/mango
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-20 23:51:36
|
Revision: 1302
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1302&view=rev
Author: frankrimlinger
Date: 2009-03-20 23:51:32 +0000 (Fri, 20 Mar 2009)
Log Message:
-----------
Eliminated conflicting MRJAdapter jar. This has been redundant for years anyway, replaced by Apple support for java.
Modified Paths:
--------------
branches/mango/.classpath
branches/mango/extensions/mango/Mango/src/mango/merge/MangoMergeUtility.java
branches/mango/extensions/mango/Mango/src/mango/merge/window/CoreRuleBaseMergeWindow.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-21 04:20:14
|
Revision: 1305
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1305&view=rev
Author: frankrimlinger
Date: 2009-03-21 04:19:59 +0000 (Sat, 21 Mar 2009)
Log Message:
-----------
Package cleanup for mango/MangoRCP coexistence.
Modified Paths:
--------------
branches/mango/.classpath
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/GlobalViewWindow.java
branches/mango/extensions/mango/Mango/src/mangoApplication/MangoMergeApp.java
branches/mango/extensions/mango/Mango/src/mangoApplication/WorkstationApp.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mangoApplication/
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/application/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-21 17:40:03
|
Revision: 1308
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1308&view=rev
Author: frankrimlinger
Date: 2009-03-21 17:39:53 +0000 (Sat, 21 Mar 2009)
Log Message:
-----------
The method of locating icons in the icon jar doesn't work in MangoRCP, don't know why. So for now, bypassing the icon jar altogether and just hardwiring the icon locations. Of course this wil eventually be figured out.
Modified Paths:
--------------
branches/mango/.classpath
branches/mango/extensions/mango/Mango/src/mango/core/gui/StaticFields.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-21 18:12:45
|
Revision: 1309
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1309&view=rev
Author: frankrimlinger
Date: 2009-03-21 18:12:43 +0000 (Sat, 21 Mar 2009)
Log Message:
-----------
Successfully initialized the Workstation from within MangoRCP, bringing up the old Swing windows and firing up the Mango threads. Also brought up an RCP View Extension which ports the input manager button controls. Theoretically should be able to drive from either the new or old interface, as they represent the same model. Much more porting and testing required. So far, so good.
Modified Paths:
--------------
branches/mango/MangoRCP/.classpath
branches/mango/MangoRCP/META-INF/MANIFEST.MF
branches/mango/MangoRCP/plugin.xml
branches/mango/MangoRCP/src/mangorcp/ApplicationWorkbenchAdvisor.java
branches/mango/MangoRCP/src/mangorcp/Perspective.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/GlobalViewWindow.java
branches/mango/extensions/mango/Mango/src/mangoApplication/WorkstationApp.java
Added Paths:
-----------
branches/mango/MangoRCP/contexts.xml
branches/mango/MangoRCP/icons/sample.gif
branches/mango/MangoRCP/plugins/
branches/mango/MangoRCP/plugins/Mango_Jars_1.0.0.jar
branches/mango/MangoRCP/src/mangorcp/views/
branches/mango/MangoRCP/src/mangorcp/views/InputManager.java
branches/mango/MangoRCP/src/mangorcp/views/InputManagerView.java
branches/mango/MangoRCP/src/mangorcp/views/View.java
Removed Paths:
-------------
branches/mango/MangoRCP/src/mangorcp/InputManager.java
branches/mango/MangoRCP/src/mangorcp/View.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-21 23:18:47
|
Revision: 1310
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1310&view=rev
Author: frankrimlinger
Date: 2009-03-21 23:18:45 +0000 (Sat, 21 Mar 2009)
Log Message:
-----------
Input Manager port to MangoRCP in progress.
Modified Paths:
--------------
branches/mango/MangoRCP/src/mangorcp/ApplicationWorkbenchAdvisor.java
branches/mango/MangoRCP/src/mangorcp/views/InputManagerView.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mangoApplication/WorkstationApp.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-29 06:05:02
|
Revision: 1347
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1347&view=rev
Author: frankrimlinger
Date: 2009-03-29 06:05:00 +0000 (Sun, 29 Mar 2009)
Log Message:
-----------
The move to RCP has made branches/mango/extensions/mango stale. Some useful documentation has been moved to the RCP home, branches/mango/Mango, and the rest of the mango extension has been deleted. I think I would rather pull jpf into RCP than attempt to make mango a true jpf extension, but I am punting on this question for now.
Added Paths:
-----------
branches/mango/Mango/banner.txt
branches/mango/Mango/intermediate transformers
branches/mango/Mango/secret memory command.txt
branches/mango/Mango/trick for double eclipse.rtf
branches/mango/Mango/wiring a command/
branches/mango/Mango/wiring a command/bind additional actions to the message (optional).tiff
branches/mango/Mango/wiring a command/bind the action to the pick response.tiff
branches/mango/Mango/wiring a command/bind the action to the pop-up menu.tiff
branches/mango/Mango/wiring a command/define a pick response.tiff
branches/mango/Mango/wiring a command/define the message.tiff
branches/mango/Mango/wiring a command/define the pick response accessor.tiff
branches/mango/Mango/wiring a command/time capsule.rtf
branches/mango/Mango/wiring a command/wiring a command.rtf
Removed Paths:
-------------
branches/mango/extensions/mango/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-13 20:51:00
|
Revision: 1390
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1390&view=rev
Author: frankrimlinger
Date: 2009-04-13 20:50:58 +0000 (Mon, 13 Apr 2009)
Log Message:
-----------
Removing all the original jpf code from the mango branch. Henceforth, jpf code will be exposed to mango via jar plugin versions of the javapathfinder-trunk code.
Modified Paths:
--------------
branches/mango/.classpath
Removed Paths:
-------------
branches/mango/README
branches/mango/README-BUILD-TOOLS
branches/mango/README-LIB
branches/mango/RunAnt.class
branches/mango/RunJPF.class
branches/mango/RunTool.class
branches/mango/app/
branches/mango/bin/
branches/mango/build-tools/
branches/mango/build.xml
branches/mango/default.properties
branches/mango/doc/
branches/mango/env/
branches/mango/examples/
branches/mango/extensions/
branches/mango/ide/
branches/mango/index.html
branches/mango/jpf.properties
branches/mango/lib/
branches/mango/nbproject/
branches/mango/src/
branches/mango/test/
branches/mango/update notes/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-17 04:14:43
|
Revision: 1414
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1414&view=rev
Author: frankrimlinger
Date: 2009-04-17 04:14:38 +0000 (Fri, 17 Apr 2009)
Log Message:
-----------
These jar plugins may be incompatible with the jpf version of java.lang??? Must think about this.
Added Paths:
-----------
branches/mango/target_jars/
branches/mango/target_jars/plugins/
branches/mango/target_jars/plugins/Mango_Jars_1.0.0.jar
branches/mango/target_jars/plugins/jpf_build_jars_1.0.0.jar
branches/mango/target_jars/plugins/jpf_trunk_build_tools_lib_1.0.0.jar
branches/mango/target_jars/plugins/jpf_trunk_extensions_concolic_1.0.0.jar
branches/mango/target_jars/plugins/jpf_trunk_extensions_symbc_1.0.0.jar
branches/mango/target_jars/plugins/jpf_trunk_extensions_symbolic_1.0.0.jar
branches/mango/target_jars/plugins/jpf_trunk_lib_1.0.0.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-19 04:35:38
|
Revision: 1419
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1419&view=rev
Author: frankrimlinger
Date: 2009-04-19 04:35:28 +0000 (Sun, 19 Apr 2009)
Log Message:
-----------
Used properties from Corina's slides "Symbolic Execution of Bytecodes", e.g., +vm.insn_factory.class=gov.nasa.jpf.symbc.MangoInstructionFactory, to cause JPF to perform symbolic execution. Tested on Racer, which emitted plausible symbolic output. Right now, MangoInstructionFactory is just a copy of SymbolicInstructionFactory, but with this plumbing in place, lots of opportunity opens up. In particular, the instructions can be overriden to
1. perform whatever classloading activities would nominally take place
2. choose each branch exactly once,
3. hook up a corresponding vertex for a control flow graph created on-the-fly.
By this means, simply pointing JPF at the method to be analyzed and running will simultaneously create the bytecode model and the control flow diagram required by mango.
There is probably more to it than just playing with instructions, as the choices for branching and backtracking have to be correct. Probably with the right definition of state, the game will play itself.
Modified Paths:
--------------
branches/mango/MangoJPF/.classpath
branches/mango/MangoJPF/META-INF/MANIFEST.MF
branches/mango/MangoJPF/META-INF/MangoJPF.product
branches/mango/MangoJPF/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/gov/nasa/jpf/JPF_MIRROR.java
Added Paths:
-----------
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/gov/nasa/jpf/symbc/
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/gov/nasa/jpf/symbc/MangoInstructionFactory.java
Removed Paths:
-------------
branches/mango/target_jars/plugins/jpf_build_jars_1.0.0.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-21 22:27:50
|
Revision: 1430
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1430&view=rev
Author: frankrimlinger
Date: 2009-04-21 22:27:44 +0000 (Tue, 21 Apr 2009)
Log Message:
-----------
Initial port of all bytecodes to javapathfinder-mango-bridge/mango.symbc.bytecode. This includes all the bytecodes of gov.nasa.jpf.symbc.bytecode, with the set completed from the base package gov.nasa.jpf.jvm.bytecode. These bytecodes will now be stripped to the bare minimum required to traverse the forward control-flow diagram from an arbitrary starting point.
Successful opportunistic test of ability to stay in sync with jpf-trunk. Sourcecode updates get picked up automatically via sourcode link, and the new jars automaton.jar and string.jar require just slightly more effort, packaging in a jar plugin, loading into jpf-mango target folder, reloading the workbench target, and updating the plugin manifest and product. I've got the drill down now.
Modified Paths:
--------------
branches/mango/Mango/mangoUserHome/frank/input/SymbolicExecutionTest/symbolicExecution/SimpleTest.java
branches/mango/MangoJPF/.classpath
branches/mango/MangoJPF/META-INF/MANIFEST.MF
branches/mango/MangoJPF/META-INF/MangoJPF.product
branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
branches/mango/MangoJPF/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.java
branches/mango/MangoJPF/Mango/src/mango/workstation/Workstation.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/MangoInstructionFactory.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/D2I.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/D2L.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DADD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DCMPG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DCMPL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DMUL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DNEG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DSUB.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/F2D.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/F2I.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/F2L.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FADD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FCMPG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FCMPL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FMUL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FNEG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FSUB.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/GETFIELD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/GETSTATIC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/I2B.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/I2C.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/I2D.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/I2F.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/I2L.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/I2S.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IADD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IAND.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFEQ.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFGE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFGT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFLE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFLT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFNE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFNONNULL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFNULL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ICMPEQ.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ICMPGE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ICMPGT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ICMPLE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ICMPLT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ICMPNE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IINC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IMUL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INEG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ISUB.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IXOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/L2D.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/L2F.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/L2I.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LADD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LAND.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LCMP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LDIV.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LMUL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LNEG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LREM.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LSHL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LSHR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LSUB.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LUSHR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LXOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/NEW.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/SwitchInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/TABLESWITCH.java
Added Paths:
-----------
branches/mango/MangoJPF/javapathfinder-mango-bridge/
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/JPF_MIRROR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mainArgFile
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/MangoTargetLauncher.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/AALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/AASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ACONST_NULL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ANEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ARETURN.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ARRAYLENGTH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ATHROW.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ArrayInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ArrayLoadInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ArrayStoreInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/BALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/BASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/BIPUSH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/BytecodeUtils.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/CALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/CASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/CHECKCAST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/D2F.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DLOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DRETURN.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DSTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DUP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DUP2.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DUP2_X1.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DUP2_X2.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DUP_X1.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DUP_X2.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FLOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FRETURN.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FSTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/GOTO.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/GOTO_W.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ICONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ACMPEQ.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ACMPNE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ILOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INSTANCEOF.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKECG.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKECLINIT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKEINTERFACE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKESPECIAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKESTATIC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKEVIRTUAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IRETURN.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ISHL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ISHR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ISTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IUSHR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IfInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/JSR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/JSR_W.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LDC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LDC2_W.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LDC_W.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LLOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LRETURN.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LSTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LocalVariableInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LockInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LongArrayLoadInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LongArrayStoreInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/MONITORENTER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/MONITOREXIT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/MULTIANEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/NEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/NOP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/POP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/POP2.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/PUTFIELD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/PUTSTATIC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/RET.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/RETURN.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/RUNSTART.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ReturnInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/SALOAD.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/SASTORE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/SIPUSH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/SWAP.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/VirtualInvocation.java
branches/mango/target_jars/plugins/javapathfinder_trunk_extensions_symbc_lib_update1_1.0.0.jar
Removed Paths:
-------------
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/JPF_MIRROR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mainArgFile
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/MangoTargetLauncher.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/D2F.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKESPECIAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKESTATIC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKEVIRTUAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/SymbolicStringHandler.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mainArgFile
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/MangoInstructionFactory.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/MangoTargetLauncher.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/BytecodeUtils.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/D2F.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/D2I.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/D2L.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DADD.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DCMPG.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DCMPL.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DDIV.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DMUL.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DNEG.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DREM.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DSUB.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/F2D.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/F2I.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/F2L.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FADD.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FCMPG.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FCMPL.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FDIV.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FMUL.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FNEG.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FREM.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FSUB.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/GETFIELD.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/GETSTATIC.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/I2B.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/I2C.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/I2D.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/I2F.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/I2L.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/I2S.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IADD.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IAND.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IDIV.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFEQ.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFGE.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFGT.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFLE.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFLT.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFNE.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFNONNULL.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFNULL.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IF_ICMPEQ.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IF_ICMPGE.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IF_ICMPGT.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IF_ICMPLE.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IF_ICMPLT.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IF_ICMPNE.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IINC.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IMUL.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/INEG.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/INVOKESPECIAL.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/INVOKESTATIC.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/INVOKEVIRTUAL.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IOR.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IREM.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/ISUB.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IXOR.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/L2D.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/L2F.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/L2I.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LADD.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LAND.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LCMP.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LDIV.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LMUL.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LNEG.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LOOKUPSWITCH.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LOR.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LREM.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LSHL.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LSHR.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LSUB.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LUSHR.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LXOR.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/NEW.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/SwitchInstruction.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/SymbolicStringHandler.java
branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/TABLESWITCH.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-06 06:06:21
|
Revision: 1601
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1601&view=rev
Author: frankrimlinger
Date: 2009-06-06 06:06:13 +0000 (Sat, 06 Jun 2009)
Log Message:
-----------
fixed various issues with 2D graph display in Mango and MangoJPF. Now MangoJPF is displaying all the graphs, but really there needs to be preference to get all graph, as this is a nuisance for regression testing. Also Mango needs to get the 2D treatment too.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/graph/data/ucon/UconData.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperEntrySym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
branches/mango/MangoJPF/Mango/src/mango/graph/data/ucon/UconData.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/edge/Edge.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/Graph.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/GraphicSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperBlowUpSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperLoopSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperStrataSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/ucon/AlphaSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/msg/ShowTypeRequestMsg.java
Added Paths:
-----------
branches/mango/legacy/destiny.input/.project
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-10 20:33:30
|
Revision: 1609
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1609&view=rev
Author: frankrimlinger
Date: 2009-06-10 20:33:26 +0000 (Wed, 10 Jun 2009)
Log Message:
-----------
The jpf scan is now correct the second time around, at least it produces the same statistics as the first time, which is to be expected. THe backup alg also looks good, both phase1 and 2. However, ItsAWrap.clear fails to rewrite. Not sure why, but same error occurs even if the rule base is saved and read in cold in a new Mango app, so certainly not a "second time" issue.
Also, deleted legacy stuff, this is not going to be useful.
Introduced distinct rulebase and session save prefs. Working on auto session save. This is complicated by the need to involve the user if the "plausible" directory for the session is not available, or if the session already exists.
Modified Paths:
--------------
branches/mango/Mango/ThreadSupport/src/threadModel/SystemBuilder.java
branches/mango/MangoJPF/Mango/src/mango/module/definition/msg/CoalesceStandingHypothesesMsg.java
branches/mango/MangoJPF/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/MangoJPF/Mango/src/mango/script/model/MangoSafeModel.java
branches/mango/MangoJPF/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/AutoResetMsg.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/RulebaseMsg.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/CodeSurvey.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
branches/mango/MangoJPF/src/mango/preferences/GeneralPreferencePage.java
Added Paths:
-----------
branches/mango/MangoJPF/Mango/src/mango/worker/msg/SaveScriptMsg.java
Removed Paths:
-------------
branches/mango/MangoJPF/Mango/src/mango/worker/msg/ResetMsg.java
branches/mango/legacy/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-08 05:53:38
|
Revision: 1733
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1733&view=rev
Author: frankrimlinger
Date: 2009-07-08 01:38:56 +0000 (Wed, 08 Jul 2009)
Log Message:
-----------
Rebuilding Mango project with the old MangoJPF content.
Modified Paths:
--------------
branches/mango/Mango/META-INF/MANIFEST.MF
branches/mango/Mango/content/aboutHelp.xhtml
branches/mango/Mango/content/documentationInProgress.xhtml
branches/mango/Mango/content/proofArtifacts.xhtml
branches/mango/Mango/content/specification.xhtml
branches/mango/Mango/doc/design.rtf
branches/mango/Mango/plugin.xml
branches/mango/Mango/src/mango/Activator.java
Added Paths:
-----------
branches/mango/Mango/
branches/mango/Mango/META-INF/Mango.product
branches/mango/Mango/content/mango.xhtml
Removed Paths:
-------------
branches/mango/Mango/META-INF/MangoJPF.product
branches/mango/Mango/content/mangoJPF.xhtml
branches/mango/MangoJPF/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
Thanks for helping keep SourceForge clean.
X