Menu
▾
▴
javapathfinder-svn
|
From: <fra...@us...> - 2009-03-26 07:07:42
|
Revision: 1327
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1327&view=rev
Author: frankrimlinger
Date: 2009-03-26 07:07:35 +0000 (Thu, 26 Mar 2009)
Log Message:
-----------
Mango part 4
Added Paths:
-----------
branches/mango/Mango/.classpath
branches/mango/Mango/.project
branches/mango/Mango/.settings/
branches/mango/Mango/.settings/org.eclipse.jdt.core.prefs
branches/mango/Mango/META-INF/
branches/mango/Mango/META-INF/MANIFEST.MF
branches/mango/Mango/OSGI-INF/
branches/mango/Mango/OSGI-INF/l10n/
branches/mango/Mango/OSGI-INF/l10n/bundle.properties
branches/mango/Mango/ThreadSupport/
branches/mango/Mango/ThreadSupport/command structure.txt
branches/mango/Mango/ThreadSupport/src/
branches/mango/Mango/ThreadSupport/src/gumbo2_support/
branches/mango/Mango/ThreadSupport/src/gumbo2_support/Message.java
branches/mango/Mango/ThreadSupport/src/gumbo2_support/MessageDataException.java
branches/mango/Mango/ThreadSupport/src/gumbo2_support/MessageException.java
branches/mango/Mango/ThreadSupport/src/gumbo2_support/MessageHead.java
branches/mango/Mango/ThreadSupport/src/gumbo2_support/MessageIOException.java
branches/mango/Mango/ThreadSupport/src/threadModel/
branches/mango/Mango/ThreadSupport/src/threadModel/Command.java
branches/mango/Mango/ThreadSupport/src/threadModel/Commander.java
branches/mango/Mango/ThreadSupport/src/threadModel/Priority.java
branches/mango/Mango/ThreadSupport/src/threadModel/Restart.java
branches/mango/Mango/ThreadSupport/src/threadModel/ScriptableCommand.java
branches/mango/Mango/ThreadSupport/src/threadModel/SystemBuilder.java
branches/mango/Mango/ThreadSupport/src/threadModel/Time.java
branches/mango/Mango/ThreadSupport/src/threadTest/
branches/mango/Mango/ThreadSupport/src/threadTest/BatchParentCommand.java
branches/mango/Mango/ThreadSupport/src/threadTest/CommandUtilities.java
branches/mango/Mango/ThreadSupport/src/threadTest/LongCommand.java
branches/mango/Mango/ThreadSupport/src/threadTest/ParentCommand.java
branches/mango/Mango/ThreadSupport/src/threadTest/ScriptTest.java
branches/mango/Mango/ThreadSupport/src/threadTest/ScriptTestCommand.java
branches/mango/Mango/ThreadSupport/src/threadTest/SerialChildCommand.java
branches/mango/Mango/ThreadSupport/src/threadTest/SerialCommand.java
branches/mango/Mango/ThreadSupport/src/threadTest/SerialParentCommand.java
branches/mango/Mango/ThreadSupport/src/threadTest/ShortCommand.java
branches/mango/Mango/ThreadSupport/src/threadTest/script/
branches/mango/Mango/ThreadSupport/src/threadTest/script/SafeModel.java
branches/mango/Mango/ThreadSupport/src/threadTest/script/Script.java
branches/mango/Mango/ThreadSupport/src/threadTest/script/ScriptCommandCellRenderer.java
branches/mango/Mango/ThreadSupport/src/threadTest/script/ScriptModel.java
branches/mango/Mango/ThreadSupport/src/threadTest/script/ScriptRunAction.java
branches/mango/Mango/ThreadSupport/src/threadTest/script/ScriptUtilities.java
branches/mango/Mango/ThreadSupport/src/threadTest/script/ScriptWindow.java
branches/mango/Mango/build.properties
branches/mango/Mango/content/
branches/mango/Mango/content/concept1.xhtml
branches/mango/Mango/content/concept2.xhtml
branches/mango/Mango/content/link_obj.gif
branches/mango/Mango/content/root.css
branches/mango/Mango/content/root.xhtml
branches/mango/Mango/content/shared.css
branches/mango/Mango/content/titlebanner.gif
branches/mango/Mango/contexts.xml
branches/mango/Mango/icons/
branches/mango/Mango/icons/alt_window_16.gif
branches/mango/Mango/icons/alt_window_32.gif
branches/mango/Mango/icons/alt_window_32.png
branches/mango/Mango/icons/loopIcon_16.gif
branches/mango/Mango/icons/loopIcon_32.gif
branches/mango/Mango/icons/sample.gif
branches/mango/Mango/introContent.xml
branches/mango/Mango/plugin.xml
branches/mango/Mango/plugins/
branches/mango/Mango/plugins/Mango_Jars_1.0.0.jar
branches/mango/Mango/splash.bmp
branches/mango/Mango/src/
branches/mango/Mango/src/mango/
branches/mango/Mango/src/mango/Activator.java
branches/mango/Mango/src/mango/intro/
branches/mango/Mango/src/mango/intro/Application.java
branches/mango/Mango/src/mango/intro/ApplicationActionBarAdvisor.java
branches/mango/Mango/src/mango/intro/ApplicationWorkbenchAdvisor.java
branches/mango/Mango/src/mango/intro/ApplicationWorkbenchWindowAdvisor.java
branches/mango/Mango/src/mango/intro/Perspective.java
branches/mango/Mango/src/mango/views/
branches/mango/Mango/src/mango/views/MainPanel.java
branches/mango/Mango/src/mango/views/SampleView.java
branches/mango/Mango/src/mango/views/WorkstationWindow.java
branches/mango/Mango/src/org/
branches/mango/Mango/src/org/eclipse/
branches/mango/Mango/src/org/eclipse/albireo/
branches/mango/Mango/src/org/eclipse/albireo/core/
branches/mango/Mango/src/org/eclipse/albireo/core/AwtEnvironment.java
branches/mango/Mango/src/org/eclipse/albireo/core/LookAndFeelHandler.java
branches/mango/Mango/src/org/eclipse/albireo/core/ResourceConverter.java
branches/mango/Mango/src/org/eclipse/albireo/core/SizeEvent.java
branches/mango/Mango/src/org/eclipse/albireo/core/SizeListener.java
branches/mango/Mango/src/org/eclipse/albireo/core/SwingControl.java
branches/mango/Mango/src/org/eclipse/albireo/core/SwtKeystroke.java
branches/mango/Mango/src/org/eclipse/albireo/core/SwtPopupRegistry.java
branches/mango/Mango/src/org/eclipse/albireo/core/ThreadingHandler.java
branches/mango/Mango/src/org/eclipse/albireo/internal/
branches/mango/Mango/src/org/eclipse/albireo/internal/AwtDialogListener.java
branches/mango/Mango/src/org/eclipse/albireo/internal/CleanResizeListener.java
branches/mango/Mango/src/org/eclipse/albireo/internal/ComponentDebugging.java
branches/mango/Mango/src/org/eclipse/albireo/internal/FocusDebugging.java
branches/mango/Mango/src/org/eclipse/albireo/internal/FocusHandler.java
branches/mango/Mango/src/org/eclipse/albireo/internal/GlobalFocusHandler.java
branches/mango/Mango/src/org/eclipse/albireo/internal/Platform.java
branches/mango/Mango/src/org/eclipse/albireo/internal/RunnableWithResult.java
branches/mango/Mango/src/org/eclipse/albireo/internal/SwtInputBlocker.java
branches/mango/Mango/src/org/eclipse/albireo/internal/SwtPopupHandler.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-26 07:22:42
|
Revision: 1328
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1328&view=rev
Author: frankrimlinger
Date: 2009-03-26 07:22:33 +0000 (Thu, 26 Mar 2009)
Log Message:
-----------
Mango port to RCP in progress
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/control/action/input/LibraryJarsAction.java
branches/mango/Mango/Mango/src/mango/control/action/input/RuleBaseAction.java
branches/mango/Mango/Mango/src/mango/control/action/input/TargetJarsAction.java
branches/mango/Mango/Mango/src/mango/control/action/window/GenSpecAction.java
branches/mango/Mango/Mango/src/mango/control/action/window/GlobalViewAction.java
branches/mango/Mango/Mango/src/mango/control/action/window/LogAction.java
branches/mango/Mango/Mango/src/mango/control/action/window/ScriptAction.java
branches/mango/Mango/Mango/src/mango/control/action/window/WorkstationAction.java
branches/mango/Mango/Mango/src/mango/control/menu/WindowMenu.java
branches/mango/Mango/Mango/src/mango/core/gui/StaticFields.java
branches/mango/Mango/Mango/src/mango/core/gui/rendering/BooleanCellRenderer.java
branches/mango/Mango/Mango/src/mango/core/gui/rendering/CoreRuleCellRenderer.java
branches/mango/Mango/Mango/src/mango/core/gui/rendering/CoreTierCellRenderer.java
branches/mango/Mango/Mango/src/mango/core/gui/rendering/CoreVariableStringCellRenderer.java
branches/mango/Mango/Mango/src/mango/core/gui/rendering/StringCellRenderer.java
branches/mango/Mango/Mango/src/mango/core/gui/window/CoreRuleBaseWindow.java
branches/mango/Mango/Mango/src/mango/core/gui/window/CoreSuperWindow.java
branches/mango/Mango/Mango/src/mango/core/gui/window/CoreTierWindow.java
branches/mango/Mango/Mango/src/mango/core/statistic/StatisticManager.java
branches/mango/Mango/Mango/src/mango/module/ModuleWindow.java
branches/mango/Mango/Mango/src/mango/module/definition/DefinitionWindow.java
branches/mango/Mango/Mango/src/mango/module/definition/action/CloseCaseAction.java
branches/mango/Mango/Mango/src/mango/module/instance/InstanceWindow.java
branches/mango/Mango/Mango/src/mango/module/instance/loop/LoopInstanceWindow.java
branches/mango/Mango/Mango/src/mango/module/instance/method/MethodInstanceWindow.java
branches/mango/Mango/Mango/src/mango/script/gui/MangoScriptMessageCellRenderer.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptDownAction.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptOpenAction.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptRemoveAction.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptRunAction.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptSelectAllAction.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptUpAction.java
branches/mango/Mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/Mango/Mango/src/mango/script/util/MangoScriptUtilities.java
branches/mango/Mango/Mango/src/mango/util/LOG.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/UnblockStateRequestMsg.java
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/Mango/src/mango/workstation/interaction/WorkstationMenuItem.java
branches/mango/Mango/src/mango/intro/ApplicationWorkbenchAdvisor.java
Added Paths:
-----------
branches/mango/Mango/src/mango/views/GenSpecWindow.java
branches/mango/Mango/src/mango/views/GlobalViewWindow.java
branches/mango/Mango/src/mango/views/LogWindow.java
branches/mango/Mango/src/mango/views/MangoScriptWindow.java
branches/mango/Mango/src/mango/views/StatisticsWindow.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-26 07:53:46
|
Revision: 1329
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1329&view=rev
Author: frankrimlinger
Date: 2009-03-26 07:53:44 +0000 (Thu, 26 Mar 2009)
Log Message:
-----------
Mango port to RCP in progress
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/module/definition/action/CloseCaseAction.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptOpenAction.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/Mango/plugin.xml
branches/mango/Mango/src/mango/intro/Perspective.java
branches/mango/Mango/src/mango/views/GenSpecWindow.java
branches/mango/Mango/src/mango/views/GlobalViewWindow.java
branches/mango/Mango/src/mango/views/LogWindow.java
branches/mango/Mango/src/mango/views/MangoScriptWindow.java
branches/mango/Mango/src/mango/views/StatisticsWindow.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-26 08:17:27
|
Revision: 1330
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1330&view=rev
Author: frankrimlinger
Date: 2009-03-26 08:17:24 +0000 (Thu, 26 Mar 2009)
Log Message:
-----------
All RCP weirdness resolved. The following are working:
Window icons, splash screen, welcome view with two explanatory linked views, about menu, help menu with help search. Also, the views are nicely laid out in the perspective. The one thing I still want is to make this preferred layout the default layout for the perspective, but I'm due back on planet Earth.
Modified Paths:
--------------
branches/mango/Mango/plugin.xml
branches/mango/Mango/src/mango/intro/ApplicationActionBarAdvisor.java
Added Paths:
-----------
branches/mango/Mango/mango.product
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-26 23:16:29
|
Revision: 1331
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1331&view=rev
Author: frankrimlinger
Date: 2009-03-26 23:16:25 +0000 (Thu, 26 Mar 2009)
Log Message:
-----------
Mango is settling into to its new home in RCP. Something has changed and cause all the old sessions to break. The problem occurs in zip decoding, so the expedient is just to regenerated the existing sessions since the investment isn't too great anyway so far. Regenerated itsAWrap sessions. Fixed some EZ bugs and got 2D graphing working again. This was just to make sure JGraph was hooked in correctly. 3D graphing is still broken, jogl link error. Punting on this for now.
Now is the time to move the local directory inside the new Mango project. This will make everything self-contained for eventual product bundling. Then finish the long suffering stable rewriter issue.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/control/action/input/RuleBaseAction.java
branches/mango/Mango/Mango/src/mango/core/statistic/StatisticManager.java
branches/mango/Mango/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java
branches/mango/Mango/Mango/src/mango/graph/data/graphic/CodeData.java
branches/mango/Mango/Mango/src/mango/graph/data/graphic/GraphicData.java
branches/mango/Mango/Mango/src/mango/graph/msg/Graph2DViewCreateRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/instance/InstanceWindow.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptOpenAction.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hash.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
branches/mango/Mango/Mango/src/mango/workstation/ViewBuilder.java
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/mango.product
branches/mango/Mango/plugin.xml
branches/mango/Mango/src/mango/intro/Perspective.java
branches/mango/Mango/src/mango/views/GlobalViewWindow.java
branches/mango/Mango/src/mango/views/LogWindow.java
branches/mango/Mango/src/mango/views/MainPanel.java
branches/mango/Mango/src/mango/views/WorkstationWindow.java
Removed Paths:
-------------
branches/mango/Mango/src/mango/views/StatisticsWindow.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-27 06:25:19
|
Revision: 1336
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1336&view=rev
Author: frankrimlinger
Date: 2009-03-27 06:25:15 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
Moved local data to Mango project. Broke out "system" as a different user since it really should stand on its own. The intent for the local file is just to contain the data that is basic to the operation, testing and maintenance of the tool. Other input data can be supplied by command line path names or gui. The old trick of bouncing from the local directory with a symbolic link causes many problems and should be avoided.
This move breaks a lot of hack code which now can be rewritten from the "product" point of view.
Of course, the input data is generated by a project, and the files for this project will now be nested inside of Mango. Eclipse is "ok" with this in the sense that the outer project can just ignore the inner project structure and use the inner project data however it wants to. You can always check out the inner project separately into your workspace, and changes then take effect when you sync up. In fact, the Mango project is nested in the javapathfinder-mango project, and it works out. Maybe Eclipse should be nested project aware, but oh well...
Added Paths:
-----------
branches/mango/Mango/kill DS_Store command.txt
branches/mango/Mango/local/
branches/mango/Mango/local/frank/
branches/mango/Mango/local/frank/input/
branches/mango/Mango/local/frank/input/LinearArithmeticTest/
branches/mango/Mango/local/frank/input/LinearArithmeticTest/.classpath
branches/mango/Mango/local/frank/input/LinearArithmeticTest/.project
branches/mango/Mango/local/frank/input/LinearArithmeticTest/src/
branches/mango/Mango/local/frank/input/LinearArithmeticTest/src/linearArithmeticTests/
branches/mango/Mango/local/frank/input/LinearArithmeticTest/src/linearArithmeticTests/LinearArithmetic.java
branches/mango/Mango/local/frank/input/LinearArithmeticTest/src/linearArithmeticTests/LinearArithmeticTest.java
branches/mango/Mango/local/frank/input/LinearArithmeticTest/src/linearArithmeticTests/liteTest1.java
branches/mango/Mango/local/frank/input/LocalVariableScopeTest/
branches/mango/Mango/local/frank/input/LocalVariableScopeTest/.classpath
branches/mango/Mango/local/frank/input/LocalVariableScopeTest/.project
branches/mango/Mango/local/frank/input/LocalVariableScopeTest/src/
branches/mango/Mango/local/frank/input/LocalVariableScopeTest/src/localVariableScopeTests/
branches/mango/Mango/local/frank/input/LocalVariableScopeTest/src/localVariableScopeTests/LocalVariableScopeTest.java
branches/mango/Mango/local/frank/input/MangoModelTest/
branches/mango/Mango/local/frank/input/MangoModelTest/.classpath
branches/mango/Mango/local/frank/input/MangoModelTest/.project
branches/mango/Mango/local/frank/input/MangoModelTest/src/
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/Demo.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/EZfunctionAbs.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/FieldTest.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/LinearTest.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/ManagementDemo.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/ModelCheckText.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/RefBuster.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/Wacko.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/condTest.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/conditionalTest.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/conditonalBugs.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/falseRecursion/
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/falseRecursion/A.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/falseRecursion/B.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/falseRecursion/falseRecursion.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/fcnCall.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/heapVacuum.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/initTest/
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/initTest/A.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/initTest/B.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/invocationTest.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/multiarray.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/one.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/simpleArray.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/crazyGlue.java
branches/mango/Mango/local/frank/input/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/staticObjectVirtualCallTest.java
branches/mango/Mango/local/frank/input/app/
branches/mango/Mango/local/frank/input/app/.classpath
branches/mango/Mango/local/frank/input/app/.project
branches/mango/Mango/local/frank/input/app/src/
branches/mango/Mango/local/frank/input/app/src/app/
branches/mango/Mango/local/frank/input/app/src/app/Bit/
branches/mango/Mango/local/frank/input/app/src/app/Bit/Bit.java
branches/mango/Mango/local/frank/input/app/src/app/Bit/nastyBitTest.java
branches/mango/Mango/local/frank/input/app/src/app/BitString/
branches/mango/Mango/local/frank/input/app/src/app/BitString/BitString.java
branches/mango/Mango/local/frank/input/linearArithmeticTests/
branches/mango/Mango/local/frank/input/localVariableScopeTests/
branches/mango/Mango/local/frank/input/loopTests/
branches/mango/Mango/local/frank/input/loopTests/.classpath
branches/mango/Mango/local/frank/input/loopTests/.project
branches/mango/Mango/local/frank/input/loopTests/src/
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/ArrayLengthLoopTest.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/EcapTwo.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/EncapsulationTest.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/LoopGuardTest.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/LoopImplicitCall/
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/LoopImplicitCall/A.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/LoopImplicitCall/B.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/LoopImplicitCall/LoopImplicitCall.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/NaturalMultiplier.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/SimpleEcap.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/WarrenExample.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/fibonocci.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/genloc.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/heapLoop.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/innermostLoop.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/nested_blowup.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/testrecursive.java
branches/mango/Mango/local/frank/input/loopTests/src/loopTests/twoLevelLoop.java
branches/mango/Mango/local/frank/rules/
branches/mango/Mango/local/frank/rules/rulebase.zip
branches/mango/Mango/local/frank/sessions/
branches/mango/Mango/local/frank/sessions/a.zip
branches/mango/Mango/local/frank/sessions/baseline/
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/<init>()V/
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/<init>()V/case.zip
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/for all i such that i is less than 'n' AND i is greater than or equal to 0 implies 'y'[i] does not equal 0.zip
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/loops/
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/loops/-baseline.AxiomInLoop.divide_arrays([I[II)V#14:iload_i_Code_01/
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/loops/-baseline.AxiomInLoop.divide_arrays([I[II)V#14:iload_i_Code_01/'y'['i'] does not equal 0.zip
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/length of the Array 'x' is greater than or equal to 'n', length of the Array 'y' is greater than or equal to 'n'.zip
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/loops/
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/loops/-baseline.AxiomInLoop.init_arrays([I[II)V#20:iload_i_Code_01/
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/loops/-baseline.AxiomInLoop.init_arrays([I[II)V#20:iload_i_Code_01/op0 is less than 'n'.zip
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/main([I[II)Z/
branches/mango/Mango/local/frank/sessions/baseline/AxiomInLoop/main([I[II)Z/for all i such that i is less than 'n' AND i is greater than or equal to 0 implies 'y'[i] does not equal 0.zip
branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/
branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/<init>()V/
branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/<init>()V/case.zip
branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/main(I)I/
branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/main(I)I/'x' equals 10.zip
branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/main(I)I/'x' is less than 10.zip
branches/mango/Mango/local/frank/sessions/baseline/big_model_check_test/main(I)I/10 is less than 'x'.zip
branches/mango/Mango/local/frank/sessions/baseline/find_negative/
branches/mango/Mango/local/frank/sessions/baseline/find_negative/<init>()V/
branches/mango/Mango/local/frank/sessions/baseline/find_negative/<init>()V/case.zip
branches/mango/Mango/local/frank/sessions/baseline/find_negative/find_negative_test([II)I/
branches/mango/Mango/local/frank/sessions/baseline/find_negative/find_negative_test([II)I/for all i such that i is less than 'n' AND 0 is greater than or equal to i implies 'a'[i] is greater than or equal to 0.zip
branches/mango/Mango/local/frank/sessions/baseline/find_negative/find_negative_test([II)I/loops/
branches/mango/Mango/local/frank/sessions/baseline/find_negative/find_negative_test([II)I/loops/-baseline.find_negative.find_negative_test([II)I#4:iload_i_Code_01/
branches/mango/Mango/local/frank/sessions/baseline/find_negative/find_negative_test([II)I/loops/-baseline.find_negative.find_negative_test([II)I#4:iload_i_Code_01/'a'['i'] is greater than or equal to 0.zip
branches/mango/Mango/local/frank/sessions/baseline/find_negative/find_negative_test([II)I/there exists i such that i is less than 'n' AND i is less than length of the Array 'a' AND 'a'[i] is less than 0 AND Array 'a' is non-negative for indices 0 to i - 1.zip
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/<init>()V/
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/<init>()V/case.zip
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/'x' is greater than or equal to 10.zip
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/'x' is less than 10.zip
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#10:iload_i_Code_01/
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#10:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#19:iload_i_Code_01/
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#19:iload_i_Code_01/'x' is greater than or equal to op0.zip
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/main(I)Z/
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/main(I)Z/'x' is greater than or equal to 10.zip
branches/mango/Mango/local/frank/sessions/baseline/if_with_two_loops/main(I)Z/'x' is less than 10.zip
branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/
branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/<init>()V/
branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/<init>()V/case.zip
branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/clear([I)V/
branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/clear([I)V/loops/
branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_i_Code_01/
branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_i_Code_01/op0 is less than 10.zip
branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/main([I)Z/
branches/mango/Mango/local/frank/sessions/baseline/itsAWrap/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/
branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/<init>()V/
branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/<init>()V/case.zip
branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/clear([I)V/
branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/clear([I)V/length of theArray 'x' is greater than or equal to 10.zip
branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/clear([I)V/loops/
branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/
branches/mango/Mango/local/frank/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/Mango/local/frank/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/'i' equals 3.zip
branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/main([I)Z/
branches/mango/Mango/local/frank/sessions/baseline/loop_with_if/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/Mango/local/frank/sessions/baseline/nested_loops/
branches/mango/Mango/local/frank/sessions/baseline/nested_loops/<init>()V/
branches/mango/Mango/local/frank/sessions/baseline/nested_loops/<init>()V/case.zip
branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/
branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/case.zip
branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/loops/
branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#10:iload_j_Code_01/
branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#10:iload_j_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#14:iload_i_Code_01/
branches/mango/Mango/local/frank/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#14:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/local/frank/sessions/baseline/nested_loops/main(I)Z/
branches/mango/Mango/local/frank/sessions/baseline/nested_loops/main(I)Z/case.zip
branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/
branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/<init>()V/
branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/<init>()V/case.zip
branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/
branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/case.zip
branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/
branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#15:iload_j_Code_01/
branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#15:iload_j_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#7:iload_i_Code_01/
branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#7:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/main(I)Z/
branches/mango/Mango/local/frank/sessions/baseline/two_loops_in_a_row/main(I)Z/'x' is greater than or equal to 0.zip
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/<init>()V/
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/<init>()V/case.zip
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/case.zip
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/loops/
branches/mango/Mango/local/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/
branches/mango/Mango/local/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/local/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/case.zip
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/
branches/mango/Mango/local/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/
branches/mango/Mango/local/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/local/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
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/main(II)Z/
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/main(II)Z/case.zip
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/simple_loop(I)I/
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/simple_loop(I)I/case.zip
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/simple_loop(I)I/loops/
branches/mango/Mango/local/frank/sessions/baseline/while_with_conjunct/simple_loop(I)I/loops/-baseline.while_with_conjunct.simple_loop(I)I#2:iload_x_Code_01/
branches/mango/Mango/local/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
branches/mango/Mango/local/rkrug/
branches/mango/Mango/local/rkrug/.classpath
branches/mango/Mango/local/rkrug/.project
branches/mango/Mango/local/rkrug/input/
branches/mango/Mango/local/rkrug/input/AxiomInLoop/
branches/mango/Mango/local/rkrug/input/AxiomInLoop/.classpath
branches/mango/Mango/local/rkrug/input/AxiomInLoop/.project
branches/mango/Mango/local/rkrug/input/AxiomInLoop/src/
branches/mango/Mango/local/rkrug/input/AxiomInLoop/src/baseline/
branches/mango/Mango/local/rkrug/input/AxiomInLoop/src/baseline/AxiomInLoop.java
branches/mango/Mango/local/rkrug/input/big-model-check-test/
branches/mango/Mango/local/rkrug/input/big-model-check-test/.classpath
branches/mango/Mango/local/rkrug/input/big-model-check-test/.project
branches/mango/Mango/local/rkrug/input/big-model-check-test/src/
branches/mango/Mango/local/rkrug/input/big-model-check-test/src/baseline/
branches/mango/Mango/local/rkrug/input/big-model-check-test/src/baseline/big_model_check_test.java
branches/mango/Mango/local/rkrug/input/bin/
branches/mango/Mango/local/rkrug/input/bin/baseline/
branches/mango/Mango/local/rkrug/input/bin/baseline/AxiomInLoop.class
branches/mango/Mango/local/rkrug/input/bin/baseline/big_model_check_test.class
branches/mango/Mango/local/rkrug/input/bin/baseline/find_negative.class
branches/mango/Mango/local/rkrug/input/bin/baseline/if_with_two_loops.class
branches/mango/Mango/local/rkrug/input/bin/baseline/itsAWrap.class
branches/mango/Mango/local/rkrug/input/bin/baseline/loop_with_if.class
branches/mango/Mango/local/rkrug/input/bin/baseline/nested_loops.class
branches/mango/Mango/local/rkrug/input/bin/baseline/two_loops_in_a_row.class
branches/mango/Mango/local/rkrug/input/bin/baseline/while_with_conjunct.class
branches/mango/Mango/local/rkrug/input/find_negative/
branches/mango/Mango/local/rkrug/input/find_negative/.classpath
branches/mango/Mango/local/rkrug/input/find_negative/.project
branches/mango/Mango/local/rkrug/input/find_negative/src/
branches/mango/Mango/local/rkrug/input/find_negative/src/baseline/
branches/mango/Mango/local/rkrug/input/find_negative/src/baseline/find_negative.java
branches/mango/Mango/local/rkrug/input/if-with-two-loops/
branches/mango/Mango/local/rkrug/input/if-with-two-loops/.classpath
branches/mango/Mango/local/rkrug/input/if-with-two-loops/.project
branches/mango/Mango/local/rkrug/input/if-with-two-loops/src/
branches/mango/Mango/local/rkrug/input/if-with-two-loops/src/baseline/
branches/mango/Mango/local/rkrug/input/if-with-two-loops/src/baseline/if_with_two_loops.java
branches/mango/Mango/local/rkrug/input/itsAWrap/
branches/mango/Mango/local/rkrug/input/itsAWrap/.classpath
branches/mango/Mango/local/rkrug/input/itsAWrap/.project
branches/mango/Mango/local/rkrug/input/itsAWrap/src/
branches/mango/Mango/local/rkrug/input/itsAWrap/src/baseline/
branches/mango/Mango/local/rkrug/input/itsAWrap/src/baseline/itsAWrap.java
branches/mango/Mango/local/rkrug/input/loop-with-if/
branches/mango/Mango/local/rkrug/input/loop-with-if/.classpath
branches/mango/Mango/local/rkrug/input/loop-with-if/.project
branches/mango/Mango/local/rkrug/input/loop-with-if/src/
branches/mango/Mango/local/rkrug/input/loop-with-if/src/baseline/
branches/mango/Mango/local/rkrug/input/loop-with-if/src/baseline/loop_with_if.java
branches/mango/Mango/local/rkrug/input/nested-loops/
branches/mango/Mango/local/rkrug/input/nested-loops/.classpath
branches/mango/Mango/local/rkrug/input/nested-loops/.project
branches/mango/Mango/local/rkrug/input/nested-loops/src/
branches/mango/Mango/local/rkrug/input/nested-loops/src/baseline/
branches/mango/Mango/local/rkrug/input/nested-loops/src/baseline/nested_loops.java
branches/mango/Mango/local/rkrug/input/two-loops-in-a-row/
branches/mango/Mango/local/rkrug/input/two-loops-in-a-row/.classpath
branches/mango/Mango/local/rkrug/input/two-loops-in-a-row/.project
branches/mango/Mango/local/rkrug/input/two-loops-in-a-row/src/
branches/mango/Mango/local/rkrug/input/two-loops-in-a-row/src/baseline/
branches/mango/Mango/local/rkrug/input/two-loops-in-a-row/src/baseline/two_loops_in_a_row.java
branches/mango/Mango/local/rkrug/input/while-with-conjunct/
branches/mango/Mango/local/rkrug/input/while-with-conjunct/.classpath
branches/mango/Mango/local/rkrug/input/while-with-conjunct/.project
branches/mango/Mango/local/rkrug/input/while-with-conjunct/src/
branches/mango/Mango/local/rkrug/input/while-with-conjunct/src/baseline/
branches/mango/Mango/local/rkrug/input/while-with-conjunct/src/baseline/while_with_conjunct.java
branches/mango/Mango/local/rkrug/rules/
branches/mango/Mango/local/rkrug/sessions/
branches/mango/Mango/local/system/
branches/mango/Mango/local/system/input/
branches/mango/Mango/local/system/input/System/
branches/mango/Mango/local/system/input/System/.classpath
branches/mango/Mango/local/system/input/System/.project
branches/mango/Mango/local/system/input/System/bin/
branches/mango/Mango/local/system/input/System/bin/bin.jar
branches/mango/Mango/local/system/input/System/bin/build
branches/mango/Mango/local/system/input/System/bin/java/
branches/mango/Mango/local/system/input/System/bin/mango/
branches/mango/Mango/local/system/input/System/build
branches/mango/Mango/local/system/input/System/java/
branches/mango/Mango/local/system/input/System/java/io/
branches/mango/Mango/local/system/input/System/java/io/DataInput.java
branches/mango/Mango/local/system/input/System/java/io/File.java
branches/mango/Mango/local/system/input/System/java/io/FileDescriptor.java
branches/mango/Mango/local/system/input/System/java/io/FileOutputStream.java
branches/mango/Mango/local/system/input/System/java/io/FilterOutputStream.java
branches/mango/Mango/local/system/input/System/java/io/IOException.java
branches/mango/Mango/local/system/input/System/java/io/InputStream.java
branches/mango/Mango/local/system/input/System/java/io/ObjectInput.java
branches/mango/Mango/local/system/input/System/java/io/ObjectInputStream.java
branches/mango/Mango/local/system/input/System/java/io/ObjectStreamClass.java
branches/mango/Mango/local/system/input/System/java/io/ObjectStreamConstants.java
branches/mango/Mango/local/system/input/System/java/io/ObjectStreamField.java
branches/mango/Mango/local/system/input/System/java/io/OutputStream.java
branches/mango/Mango/local/system/input/System/java/io/PrintStream.java
branches/mango/Mango/local/system/input/System/java/io/Serializable.java
branches/mango/Mango/local/system/input/System/java/lang/
branches/mango/Mango/local/system/input/System/java/lang/ArithmeticException.java
branches/mango/Mango/local/system/input/System/java/lang/ArrayIndexOutOfBoundsException.java
branches/mango/Mango/local/system/input/System/java/lang/ArrayStoreException.java
branches/mango/Mango/local/system/input/System/java/lang/Boolean.java
branches/mango/Mango/local/system/input/System/java/lang/Byte.java
branches/mango/Mango/local/system/input/System/java/lang/CharSequence.java
branches/mango/Mango/local/system/input/System/java/lang/Character.java
branches/mango/Mango/local/system/input/System/java/lang/Class.java
branches/mango/Mango/local/system/input/System/java/lang/ClassCastException.java
branches/mango/Mango/local/system/input/System/java/lang/ClassNotFoundException.java
branches/mango/Mango/local/system/input/System/java/lang/CloneNotSupportedException.java
branches/mango/Mango/local/system/input/System/java/lang/Cloneable.java
branches/mango/Mango/local/system/input/System/java/lang/Comparable.java
branches/mango/Mango/local/system/input/System/java/lang/Double.java
branches/mango/Mango/local/system/input/System/java/lang/Exception.java
branches/mango/Mango/local/system/input/System/java/lang/Float.java
branches/mango/Mango/local/system/input/System/java/lang/IllegalAccessException.java
branches/mango/Mango/local/system/input/System/java/lang/IllegalArgumentException.java
branches/mango/Mango/local/system/input/System/java/lang/IllegalMonitorStateException.java
branches/mango/Mango/local/system/input/System/java/lang/IllegalStateException.java
branches/mango/Mango/local/system/input/System/java/lang/IllegalThreadStateException.java
branches/mango/Mango/local/system/input/System/java/lang/IndexOutOfBoundsException.java
branches/mango/Mango/local/system/input/System/java/lang/InstantiationException.java
branches/mango/Mango/local/system/input/System/java/lang/Integer.java
branches/mango/Mango/local/system/input/System/java/lang/InterruptedException.java
branches/mango/Mango/local/system/input/System/java/lang/Long.java
branches/mango/Mango/local/system/input/System/java/lang/Math.java
branches/mango/Mango/local/system/input/System/java/lang/NegativeArraySizeException.java
branches/mango/Mango/local/system/input/System/java/lang/NoSuchFieldException.java
branches/mango/Mango/local/system/input/System/java/lang/NoSuchMethodException.java
branches/mango/Mango/local/system/input/System/java/lang/NullPointerException.java
branches/mango/Mango/local/system/input/System/java/lang/Number.java
branches/mango/Mango/local/system/input/System/java/lang/NumberFormatException.java
branches/mango/Mango/local/system/input/System/java/lang/Object.java
branches/mango/Mango/local/system/input/System/java/lang/RuntimeException.java
branches/mango/Mango/local/system/input/System/java/lang/SecurityException.java
branches/mango/Mango/local/system/input/System/java/lang/Short.java
branches/mango/Mango/local/system/input/System/java/lang/String.java
branches/mango/Mango/local/system/input/System/java/lang/StringBuffer.java
branches/mango/Mango/local/system/input/System/java/lang/StringBuilder.java
branches/mango/Mango/local/system/input/System/java/lang/StringIndexOutOfBoundsException.java
branches/mango/Mango/local/system/input/System/java/lang/System.java
branches/mango/Mango/local/system/input/System/java/lang/Throwable.java
branches/mango/Mango/local/system/input/System/java/lang/UnsupportedOperationException.java
branches/mango/Mango/local/system/input/System/java/lang/Void.java
branches/mango/Mango/local/system/input/System/java/lang/reflect/
branches/mango/Mango/local/system/input/System/java/lang/reflect/Array.java
branches/mango/Mango/local/system/input/System/java/math/
branches/mango/Mango/local/system/input/System/java/math/BigInteger.java
branches/mango/Mango/local/system/input/System/java/net/
branches/mango/Mango/local/system/input/System/java/net/URI.java
branches/mango/Mango/local/system/input/System/java/net/URL.java
branches/mango/Mango/local/system/input/System/java/util/
branches/mango/Mango/local/system/input/System/java/util/AbstractCollection.java
branches/mango/Mango/local/system/input/System/java/util/AbstractList.java
branches/mango/Mango/local/system/input/System/java/util/AbstractMap.java
branches/mango/Mango/local/system/input/System/java/util/ArrayList.java
branches/mango/Mango/local/system/input/System/java/util/Arrays.java
branches/mango/Mango/local/system/input/System/java/util/Collection.java
branches/mango/Mango/local/system/input/System/java/util/Comparator.java
branches/mango/Mango/local/system/input/System/java/util/HashMap.java
branches/mango/Mango/local/system/input/System/java/util/Iterator.java
branches/mango/Mango/local/system/input/System/java/util/List.java
branches/mango/Mango/local/system/input/System/java/util/ListIterator.java
branches/mango/Mango/local/system/input/System/java/util/Locale.java
branches/mango/Mango/local/system/input/System/java/util/Map.java
branches/mango/Mango/local/system/input/System/java/util/Random.java
branches/mango/Mango/local/system/input/System/java/util/RandomAccess.java
branches/mango/Mango/local/system/input/System/java/util/Set.java
branches/mango/Mango/local/system/input/System/mango/
branches/mango/Mango/local/system/input/System/mango/lang/
branches/mango/Mango/local/system/input/System/mango/lang/Mango_Boolean.java
branches/mango/Mango/local/system/input/System/mango/lang/Mango_Byte.java
branches/mango/Mango/local/system/input/System/mango/lang/Mango_Class.java
branches/mango/Mango/local/system/input/System/mango/lang/Mango_Integer.java
branches/mango/Mango/local/system/input/System/mango/lang/Mango_Object.java
branches/mango/Mango/local/system/input/System/mango/lang/Mango_Short.java
branches/mango/Mango/local/system/input/System/mango/lang/Mango_String.charAt worksheet.rtf
branches/mango/Mango/local/system/input/System/mango/lang/Mango_String.java
branches/mango/Mango/local/system/input/System/mango/lang/Mango_String.length worksheet.rtf
branches/mango/Mango/local/system/input/System/mango/lang/Mango_String.setValueFromStringBuffer worksheet.rtf
branches/mango/Mango/local/system/input/System/mango/lang/Mango_StringBuffer.append worksheet.rtf
branches/mango/Mango/local/system/input/System/mango/lang/Mango_StringBuffer.java
branches/mango/Mango/local/system/input/System/mango/util/
branches/mango/Mango/local/system/input/System/mango/util/Mango_ArrayList.add worksheet.rtf
branches/mango/Mango/local/system/input/System/mango/util/Mango_ArrayList.java
branches/mango/Mango/local/system/input/SystemTests/
branches/mango/Mango/local/system/input/SystemTests/.classpath
branches/mango/Mango/local/system/input/SystemTests/.project
branches/mango/Mango/local/system/input/SystemTests/src/
branches/mango/Mango/local/system/input/SystemTests/src/systemTests/
branches/mango/Mango/local/system/input/SystemTests/src/systemTests/ArrayCopyFunctionalTest.java
branches/mango/Mango/local/system/input/SystemTests/src/systemTests/ArrayCopyTest.java
branches/mango/Mango/local/system/input/SystemTests/src/systemTests/Bit.class
branches/mango/Mango/local/system/input/SystemTests/src/systemTests/PleaseWrapThis.java
branches/mango/Mango/local/system/input/SystemTests/src/systemTests/StartsWithTest.java
branches/mango/Mango/local/system/input/SystemTests/src/systemTests/StringTests.java
branches/mango/Mango/local/system/rules/
branches/mango/Mango/local/system/sessions/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-27 23:11:40
|
Revision: 1344
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1344&view=rev
Author: frankrimlinger
Date: 2009-03-27 23:11:35 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
rework of local issues in code in progress.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/src/mango/intro/Application.java
branches/mango/Mango/src/mango/intro/ApplicationWorkbenchAdvisor.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:30:31
|
Revision: 1348
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1348&view=rev
Author: frankrimlinger
Date: 2009-03-29 06:30:27 +0000 (Sun, 29 Mar 2009)
Log Message:
-----------
Completed coding for local data upgrade (not debugged yet). The app now accepts a dataHome path, a systemHome path, a userName, and a mangoHome. A session will reference user data (sessions,rules, and input) with pathnames resolved relative to dataHome. By default, a newly created session will save itself and its rule base relative to dataHome in local/userName/xxx. A session resolves its system data pathName relative to systemHome. The systemHome will normally point to the local directory inside the mango project or application bundle, and the system data pathName will normally point to the jar within local/system/input/System/bin. The extra flexibility is intended to facilitate development of the system data itself. The mangoHome is required for the search through the code base for actions, requirements, and icons. I *really* want to eliminate mangoHome in favor of extension points, but the time to do this is not yet ripe.
With this setup, a user directory may be copied from one local directory to another without breaking the sessions. The user need only set the dataHome argument to point to the desired local directory. In particular, results can easily be shared across different machines and different users. If a session references work of other users, then of course those other uses also need to be present in the designated local directory at runtime.
This design tries to balance the need for portability with the inconvenience caused when projects are required to be in special places in order to be analyzed. The scalable solution is full-blown database management, not an issue just yet.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/control/action/input/LibraryJarsAction.java
branches/mango/Mango/Mango/src/mango/control/action/input/TargetJarsAction.java
branches/mango/Mango/Mango/src/mango/control/msg/LoadClassFileDataRequestMsg.java
branches/mango/Mango/Mango/src/mango/control/msg/SetSourceDirectoryRequestMsg.java
branches/mango/Mango/Mango/src/mango/core/gui/action/PrintAbstractionsAction.java
branches/mango/Mango/Mango/src/mango/rmi/file/MangoFilePacket.java
branches/mango/Mango/Mango/src/mango/script/MangoScriptResource.java
branches/mango/Mango/Mango/src/mango/script/MangoScriptSourceDirectory.java
branches/mango/Mango/Mango/src/mango/script/util/MangoScriptUtilities.java
branches/mango/Mango/Mango/src/mango/util/FileSystem.java
branches/mango/Mango/Mango/src/mango/worker/javaModel/classParser/ClassModel.java
branches/mango/Mango/Mango/src/mango/workstation/PopUpResourceManager.java
branches/mango/Mango/Mango/src/mango/workstation/RuleResourceManager.java
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/src/mango/intro/Application.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 17:41:59
|
Revision: 1349
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1349&view=rev
Author: frankrimlinger
Date: 2009-03-29 17:41:50 +0000 (Sun, 29 Mar 2009)
Log Message:
-----------
Encountered nasty timing problems using Swing dialogs to resolve the new command line arguments dataHome, systemHome, and mangoHome. Rather than fight City Hall, it is clear that I need a "login" procedure, which can be modeled after Hyperola Chat example in the RCP book. This will be written with SWT widgets and so avoid many issues. In for dime, in for a dollar.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/src/mango/intro/Application.java
branches/mango/Mango/src/mango/intro/ApplicationWorkbenchWindowAdvisor.java
branches/mango/Mango/src/mango/views/GlobalViewWindow.java
branches/mango/Mango/src/mango/views/MangoScriptWindow.java
branches/mango/Mango/src/mango/views/WorkstationWindow.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-30 03:49:27
|
Revision: 1350
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1350&view=rev
Author: frankrimlinger
Date: 2009-03-30 03:49:18 +0000 (Mon, 30 Mar 2009)
Log Message:
-----------
Configuration/preference update in progress. Unfortunately, the Hyperbola example code is really stale and so cannot be taken literally. But it does provide a good overview for what has to be done. Fortunately, the internet abounds with good examples of how to make SWT dialogs, so between these two sources it should be possible to figure out what to do. It is particularly good to know that when an SWT dialog for a finder window is done correctly it looks the real thing.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/src/mango/intro/Application.java
branches/mango/Mango/src/mango/views/MangoScriptWindow.java
Added Paths:
-----------
branches/mango/Mango/local/input/
branches/mango/Mango/local/rules/
branches/mango/Mango/local/sessions/
branches/mango/Mango/src/FileDialogExample.java
branches/mango/Mango/src/FileDialogExperiment.java
branches/mango/Mango/src/InputDialog.java
branches/mango/Mango/src/SWTMessageBoxExample.java
branches/mango/Mango/src/ShowDirectoryDialog.java
branches/mango/Mango/src/ShowDirectoryDialogExperiment.java
branches/mango/Mango/src/mango/intro/BasicLoginDialog.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
branches/mango/Mango/src/mango/views/WorkstationWindow.java
branches/mango/Mango/src/org/eclipsercp/
branches/mango/Mango/src/org/eclipsercp/hyperbola/
branches/mango/Mango/src/org/eclipsercp/hyperbola/AdapterFactory.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/AddContactAction.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/AddContactDialog.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/Application.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ApplicationActionBarAdvisor.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ApplicationWorkbenchAdvisor.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ApplicationWorkbenchWindowAdvisor.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/BasicLoginDialog.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ChatAction.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ChatEditor.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ChatEditorInput.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ContactsView.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/GeneralPreferencePage.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/HyperbolaContentProvider.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/HyperbolaLabelProvider.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/IImageKeys.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/LoginDialog.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/Perspective.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/PreferenceInitializer.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/model/
branches/mango/Mango/src/org/eclipsercp/hyperbola/model/ConnectionDetails.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/model/Session.java
Removed Paths:
-------------
branches/mango/Mango/src/mango/views/WorkstationWindow.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-31 04:10:29
|
Revision: 1353
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1353&view=rev
Author: frankrimlinger
Date: 2009-03-31 04:10:24 +0000 (Tue, 31 Mar 2009)
Log Message:
-----------
For some reason, the MessageDialog doesn't work. There seems to be a lot of stale code out there in the interent. Wrote an ugly but functional InquiryDialog class. Still needs some clean up. Then the preference page and this business is done. All of this just to eliminate the command line. Still, the command line can be a formidable barrier to all those who don't know what VT100 means.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/src/mango/intro/Application.java
Added Paths:
-----------
branches/mango/Mango/src/mango/intro/InquiryDialog.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-31 11:55:34
|
Revision: 1354
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1354&view=rev
Author: frankrimlinger
Date: 2009-03-31 11:55:25 +0000 (Tue, 31 Mar 2009)
Log Message:
-----------
Mango configuration dialogs to verify/create old/new user working correctly now, if ugly looking. Still need some backend cleanup in the code to swallow the new data correctly. Then defaults and preferences stuff, and back to work.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
Removed Paths:
-------------
branches/mango/Mango/local/input/
branches/mango/Mango/local/rules/
branches/mango/Mango/local/sessions/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-31 21:31:36
|
Revision: 1355
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1355&view=rev
Author: frankrimlinger
Date: 2009-03-31 21:31:35 +0000 (Tue, 31 Mar 2009)
Log Message:
-----------
Still working on preferences. Having trouble deleting a configuration from persistent storage. Problem is probably due to last user setting. It is important to distinguish between stale code, due to the shift of RCP to OSGI, and unripe code, due to using Galileo and especially the SWT implementation for 64bit cocoa. Some Next Step interfaces in the Cocoa layer just aren't hooked up correctly yet. But certainly the whole preferences idea is great, because it provides a pattern for layering in jpf functionality in a exposed, documented way. The idea is to use the help plugins to document usage with jpf preferences. All this is not too far down the road.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/util/FileSystem.java
branches/mango/Mango/Mango/src/mango/workstation/RuleResourceManager.java
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/plugin.xml
branches/mango/Mango/src/SWTMessageBoxExample.java
branches/mango/Mango/src/mango/intro/Application.java
branches/mango/Mango/src/mango/intro/InquiryDialog.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
Added Paths:
-----------
branches/mango/Mango/src/mango/intro/ConfigurationDetails.java
branches/mango/Mango/src/mango/preferences/
branches/mango/Mango/src/mango/preferences/GeneralPreferencePage.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-02 01:30:05
|
Revision: 1362
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1362&view=rev
Author: frankrimlinger
Date: 2009-04-02 01:29:58 +0000 (Thu, 02 Apr 2009)
Log Message:
-----------
Fixed numerous bugs associated with initial configuration and creation of a user's Data, System and Mango "homes". Standardized all dialogs with SWT, which is now working perfectly on M6. Saving and reloading configuration preferences is now very flexible and fault-tolerant. Remains to get preference deletion working, need appropriate call to Preferences.removeNode() whenever a deletion occurs. Otherwise lose sync with persistent storage. Need to fix a few back end configuration issues, and convert all directory finders to SWT. Configuration is now orders of magnitude more user friendly, removing a major stumbling block to enticing would be users. Of course, content is also required. Need to finish stable rewriting upgrade, then generate all test and system sessions, and start folding in jpf stuff.
Modified Paths:
--------------
branches/mango/Mango/META-INF/MANIFEST.MF
branches/mango/Mango/Mango.product
branches/mango/Mango/build.properties
branches/mango/Mango/plugin.xml
branches/mango/Mango/plugins/Mango_Jars_1.0.0.jar
branches/mango/Mango/src/mango/intro/Application.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
Added Paths:
-----------
branches/mango/Mango/OSGI-INF/
branches/mango/Mango/OSGI-INF/l10n/
branches/mango/Mango/OSGI-INF/l10n/bundle.properties
branches/mango/Mango/eclipse/
branches/mango/Mango/eclipse/.eclipseproduct
branches/mango/Mango/eclipse/Eclipse.app/
branches/mango/Mango/eclipse/Eclipse.app/Contents/
branches/mango/Mango/eclipse/Eclipse.app/Contents/Info.plist
branches/mango/Mango/eclipse/Eclipse.app/Contents/MacOS/
branches/mango/Mango/eclipse/Eclipse.app/Contents/MacOS/eclipse
branches/mango/Mango/eclipse/Eclipse.app/Contents/Resources/
branches/mango/Mango/eclipse/configuration/
branches/mango/Mango/eclipse/configuration/config.ini
branches/mango/Mango/eclipse/plugins/
branches/mango/Mango/eclipse/plugins/Mango_1.0.0.jar
branches/mango/Mango/eclipse/plugins/Mango_Jars_1.0.0.jar
branches/mango/Mango/eclipse/plugins/com.ibm.icu_4.0.1.v20090109.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.commands_3.5.0.I20081202-0800.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.contenttype_3.4.0.v20090302.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.databinding.observable_1.2.0.I20090311-1800.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.databinding.property_1.2.0.I20090311-1800.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.databinding_1.2.0.I20090309-1300.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.expressions_3.4.100.v20090311-0800.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.jobs_3.4.100.v20090213.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/META-INF/
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/META-INF/ECLIPSEF.RSA
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/META-INF/ECLIPSEF.SF
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/META-INF/MANIFEST.MF
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/META-INF/eclipse.inf
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/about.html
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/fragment.properties
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/runtime_registry_compatibility.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime_3.5.0.v20090306.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.app_1.2.0.v20090306-1900.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.common_3.5.0.v20090310-1800.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/META-INF/
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/META-INF/ECLIPSEF.RSA
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/META-INF/ECLIPSEF.SF
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/META-INF/MANIFEST.MF
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/META-INF/eclipse.inf
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/about.html
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/eclipse_1203.so
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/launcher.cocoa.macosx.x86_64.properties
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher_1.0.200.v20090306-1900.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.preferences_3.2.300.v20090306-1900.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.registry_3.4.100.v20090306-1900.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.help_3.4.0.v20090302.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.jface.databinding_1.3.0.I20090310-0100.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.jface_3.5.0.I20090313-0100.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.osgi_3.5.0.v20090311-1300.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.swt.cocoa.macosx.x86_64_3.5.0.v3536b.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.swt_3.5.0.v3536b.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.ui.cocoa_1.0.0.I20090120-1425.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.ui.forms_3.4.0.v20090223.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.ui.intro_3.3.0.v20090302.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.ui.workbench_3.5.0.v20090311-0100b.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.ui_3.5.0.I20090313-0100.jar
branches/mango/Mango/logs.zip
branches/mango/Mango/plugins/Mango_1.0.0.jar
branches/mango/Mango/repository/
branches/mango/Mango/repository/artifacts.jar
branches/mango/Mango/repository/binary/
branches/mango/Mango/repository/binary/Mango.product.launcher.cocoa.macosx.x86_64_1.0.0
branches/mango/Mango/repository/binary/org.eclipse.launcher_Eclipse.app_1.0.0
branches/mango/Mango/repository/content.jar
branches/mango/Mango/repository/plugins/
branches/mango/Mango/repository/plugins/Mango_1.0.0.jar
branches/mango/Mango/repository/plugins/Mango_Jars_1.0.0.jar
branches/mango/Mango/repository/plugins/com.ibm.icu_4.0.1.v20090109.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.commands_3.5.0.I20081202-0800.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.contenttype_3.4.0.v20090302.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.databinding.observable_1.2.0.I20090311-1800.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.databinding.property_1.2.0.I20090311-1800.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.databinding_1.2.0.I20090309-1300.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.expressions_3.4.100.v20090311-0800.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.jobs_3.4.100.v20090213.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.runtime_3.5.0.v20090306.jar
branches/mango/Mango/repository/plugins/org.eclipse.equinox.app_1.2.0.v20090306-1900.jar
branches/mango/Mango/repository/plugins/org.eclipse.equinox.common_3.5.0.v20090310-1800.jar
branches/mango/Mango/repository/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900.jar
branches/mango/Mango/repository/plugins/org.eclipse.equinox.launcher_1.0.200.v20090306-1900.jar
branches/mango/Mango/repository/plugins/org.eclipse.equinox.preferences_3.2.300.v20090306-1900.jar
branches/mango/Mango/repository/plugins/org.eclipse.equinox.registry_3.4.100.v20090306-1900.jar
branches/mango/Mango/repository/plugins/org.eclipse.help_3.4.0.v20090302.jar
branches/mango/Mango/repository/plugins/org.eclipse.jface.databinding_1.3.0.I20090310-0100.jar
branches/mango/Mango/repository/plugins/org.eclipse.jface_3.5.0.I20090313-0100.jar
branches/mango/Mango/repository/plugins/org.eclipse.osgi_3.5.0.v20090311-1300.jar
branches/mango/Mango/repository/plugins/org.eclipse.swt.cocoa.macosx.x86_64_3.5.0.v3536b.jar
branches/mango/Mango/repository/plugins/org.eclipse.swt_3.5.0.v3536b.jar
branches/mango/Mango/repository/plugins/org.eclipse.ui.cocoa_1.0.0.I20090120-1425.jar
branches/mango/Mango/repository/plugins/org.eclipse.ui.forms_3.4.0.v20090223.jar
branches/mango/Mango/repository/plugins/org.eclipse.ui.intro_3.3.0.v20090302.jar
branches/mango/Mango/repository/plugins/org.eclipse.ui.workbench_3.5.0.v20090311-0100b.jar
branches/mango/Mango/repository/plugins/org.eclipse.ui_3.5.0.I20090313-0100.jar
Removed Paths:
-------------
branches/mango/Mango/src/mango/intro/BasicLoginDialog.java
branches/mango/Mango/src/mango/intro/InquiryDialog.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/AdapterFactory.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/AddContactAction.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/AddContactDialog.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/Application.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ApplicationActionBarAdvisor.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ApplicationWorkbenchAdvisor.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ApplicationWorkbenchWindowAdvisor.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/BasicLoginDialog.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ChatAction.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ChatEditor.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ChatEditorInput.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ContactsView.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/GeneralPreferencePage.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/HyperbolaContentProvider.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/HyperbolaLabelProvider.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/IImageKeys.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/LoginDialog.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/Perspective.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/PreferenceInitializer.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/model/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-02 19:01:13
|
Revision: 1365
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1365&view=rev
Author: frankrimlinger
Date: 2009-04-02 19:01:06 +0000 (Thu, 02 Apr 2009)
Log Message:
-----------
Configuration deletion now working correctly. Decided to do the initial welcome screen, to explain about "Specification" and "Proof Artifacts". I can get individual html thingies working, but for some reason the original "Concept1" and "Concept2" are still loading at runtime. Need to figure this out.
Modified Paths:
--------------
branches/mango/Mango/Mango.product
branches/mango/Mango/introContent.xml
branches/mango/Mango/plugin.xml
branches/mango/Mango/src/mango/intro/Application.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
Added Paths:
-----------
branches/mango/Mango/content/
branches/mango/Mango/content/concept1.xhtml
branches/mango/Mango/content/concept2.xhtml
branches/mango/Mango/content/link_obj.gif
branches/mango/Mango/content/mango.xhtml
branches/mango/Mango/content/mango1.xhtml
branches/mango/Mango/content/root.css
branches/mango/Mango/content/root.xhtml
branches/mango/Mango/content/shared.css
branches/mango/Mango/content/titlebanner.gif
branches/mango/Mango/local/crazy/
branches/mango/Mango/local/crazy/input/
branches/mango/Mango/local/crazy/rules/
branches/mango/Mango/local/crazy/sessions/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-03 03:56:35
|
Revision: 1366
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1366&view=rev
Author: frankrimlinger
Date: 2009-04-03 03:56:31 +0000 (Fri, 03 Apr 2009)
Log Message:
-----------
Introductory pages on "Specification" and "Proof Artifacts" now work correctly. Added auto-login mechanism, in both configuration dialog and preference page. All RCP functionality introduced to date is now working correctly. There is much more RCP stuff to do, and it does add value, but for now, enough is enough. Backend clean up of configuration data, and then stable rewriting. Time to get back on track.
Modified Paths:
--------------
branches/mango/Mango/.settings/org.eclipse.jdt.core.prefs
branches/mango/Mango/content/mango.xhtml
branches/mango/Mango/content/mango1.xhtml
branches/mango/Mango/introContent.xml
branches/mango/Mango/plugin.xml
branches/mango/Mango/src/mango/intro/Application.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
Added Paths:
-----------
branches/mango/Mango/content/mango2.xhtml
Removed Paths:
-------------
branches/mango/Mango/content/concept1.xhtml
branches/mango/Mango/content/concept2.xhtml
branches/mango/Mango/content/root.xhtml
branches/mango/Mango/src/FileDialogExample.java
branches/mango/Mango/src/FileDialogExperiment.java
branches/mango/Mango/src/InputDialog.java
branches/mango/Mango/src/SWTMessageBoxExample.java
branches/mango/Mango/src/ShowDirectoryDialog.java
branches/mango/Mango/src/ShowDirectoryDialogExperiment.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-03 15:40:40
|
Revision: 1369
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1369&view=rev
Author: frankrimlinger
Date: 2009-04-03 15:40:30 +0000 (Fri, 03 Apr 2009)
Log Message:
-----------
Changing "local" directory to "mangoUserHome". This is a more descriptive name which is much less likely to conflict with an existing ambient namespace.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/control/action/input/LibraryJarsAction.java
branches/mango/Mango/Mango/src/mango/control/action/input/RuleBaseAction.java
branches/mango/Mango/Mango/src/mango/control/action/input/SourceDirsAction.java
branches/mango/Mango/Mango/src/mango/control/action/input/TargetJarsAction.java
branches/mango/Mango/Mango/src/mango/control/msg/LoadClassFileDataRequestMsg.java
branches/mango/Mango/Mango/src/mango/control/msg/SetSourceDirectoryRequestMsg.java
branches/mango/Mango/Mango/src/mango/core/gui/action/PrintAbstractionsAction.java
branches/mango/Mango/Mango/src/mango/script/MangoScriptResource.java
branches/mango/Mango/Mango/src/mango/script/MangoScriptSourceDirectory.java
branches/mango/Mango/Mango/src/mango/util/FileSystem.java
branches/mango/Mango/Mango/src/mango/worker/javaModel/classParser/ClassModel.java
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/src/mango/intro/ConfigurationDetails.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
branches/mango/Mango/src/mango/views/WorkstationWindow.java
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/
branches/mango/Mango/mangoUserHome/crazy/
branches/mango/Mango/mangoUserHome/system/input/
Removed Paths:
-------------
branches/mango/Mango/local/system/input/
branches/mango/Mango/local/system/rules/
branches/mango/Mango/local/system/sessions/
branches/mango/Mango/mangoUserHome/system/input/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-03 18:55:14
|
Revision: 1372
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1372&view=rev
Author: frankrimlinger
Date: 2009-04-03 18:55:12 +0000 (Fri, 03 Apr 2009)
Log Message:
-----------
Finally settled on a robust configuration scheme which will allow Mango to deploy, configure and go with a minimum of disruption to the target project. Fixed numerous backend bugs, although a few still remain.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/control/action/input/LibraryJarsAction.java
branches/mango/Mango/Mango/src/mango/control/action/input/SourceDirsAction.java
branches/mango/Mango/Mango/src/mango/control/msg/LoadClassFileDataRequestMsg.java
branches/mango/Mango/Mango/src/mango/core/gui/action/SaveCoreRuleBaseAction.java
branches/mango/Mango/Mango/src/mango/rmi/file/MangoFilePacket.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/Mango/Mango/src/mango/util/FileSystem.java
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/Mango/src/mango/workstation/preferences/WorkstationProfile.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/src/mango/intro/ConfigurationDetails.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
branches/mango/Mango/src/mango/views/LogWindow.java
branches/mango/Mango/src/mango/views/WorkstationWindow.java
Removed Paths:
-------------
branches/mango/Mango/local/
branches/mango/Mango/mangoUserHome/crazy/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-04 05:48:16
|
Revision: 1382
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1382&view=rev
Author: frankrimlinger
Date: 2009-04-04 05:48:14 +0000 (Sat, 04 Apr 2009)
Log Message:
-----------
Fixed some backend configuration bugs. Successfully ran test session. Successful run of session after changing configuration user, userHome, productHome and systemHome. Of course, the new projectHome and systemHome have to contain the content required by the session, but the relative addressing scheme is working properly. Users should now be easily able to share work, allowing a distributed knowledge base to grow. Need to regenerate the baseline loop sessions, complete the stable rewrite update, and start the port to the jpf java bytecode model.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/control/action/input/SourceDirsAction.java
branches/mango/Mango/Mango/src/mango/core/gui/StaticFields.java
branches/mango/Mango/Mango/src/mango/script/MangoScriptResource.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/Mango/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.java
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_i_Code_01/op0 is less than 10.zip
branches/mango/Mango/src/mango/views/MangoScriptWindow.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-05 04:38:37
|
Revision: 1383
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1383&view=rev
Author: frankrimlinger
Date: 2009-04-05 04:38:32 +0000 (Sun, 05 Apr 2009)
Log Message:
-----------
Rebuild of loop baseline sessions in progress. There is a parametrization bug that needs to be fixed which comes up in the nested loop example. This fix in progress.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/Mango/Mango/src/mango/workstation/ViewBuilder.java
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/<init>()V/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/'x' is less than 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#10:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#19:iload_i_Code_01/'x' is greater than or equal to op0.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/main(I)Z/'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/main(I)Z/'x' is less than 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/<init>()V/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/loop_with_if/<init>()V/case.zip
branches/mango/Mango/mangoUserHome/frank/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/Mango/mangoUserHome/frank/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/'i' equals 3.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/loop_with_if/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#10:iload_j_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#14:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#15:iload_j_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#7:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/src/mango/intro/LoginDialog.java
branches/mango/Mango/src/mango/views/LogWindow.java
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/loop_with_if/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
Removed Paths:
-------------
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/loop_with_if/clear([I)V/length of theArray 'x' is greater than or equal to 10.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-12 03:40:45
|
Revision: 1386
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1386&view=rev
Author: frankrimlinger
Date: 2009-04-12 03:40:43 +0000 (Sun, 12 Apr 2009)
Log Message:
-----------
Reworked much of the plumbing for parametrization, simplifying and clarifying the code. This eliminated the bug that caused the nested loops test to fail. Regenerated the baseline loop tests up through the nested loops example.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/Mango/Mango/src/mango/module/instance/loop/agent/LoopInstanceAgent.java
branches/mango/Mango/Mango/src/mango/module/instance/method/agent/MethodInstanceAgent.java
branches/mango/Mango/Mango/src/mango/module/instance/model/InstanceManager.java
branches/mango/Mango/Mango/src/mango/module/sym/ModuleReadOnlySym.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/UnmodelModuleInvocationSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRecent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleHypothesisSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.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/baseline/if_with_two_loops/loops(I)I/'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/'x' is less than 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#10:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/nested_loops/<init>()V/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/nested_loops/loops(I)I/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/nested_loops/main(I)Z/case.zip
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/module/instance/model/InstanceUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-13 02:14:04
|
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.
|
|
From: <fra...@us...> - 2009-04-13 16:30:20
|
Revision: 1388
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1388&view=rev
Author: frankrimlinger
Date: 2009-04-13 16:30:16 +0000 (Mon, 13 Apr 2009)
Log Message:
-----------
Attempt to add help table of contents and so on didn't work out. Apparently Galileo hasn't incorporated tomcat or getty yet, but surely this is in the pipeline. For now, help content will be inserted as introduction pages, where at least it will be accessible in a primitive form. Tested this idea by adding some random documentation for free predicate calculus syntax. Once help is working the accumulated documentation content can be properly organized. At this point I am mostly interested in documenting integration with jpf as it proceeds.
Modified Paths:
--------------
branches/mango/Mango/Mango.product
branches/mango/Mango/content/mango.xhtml
branches/mango/Mango/introContent.xml
branches/mango/Mango/src/mango/intro/ApplicationActionBarAdvisor.java
Added Paths:
-----------
branches/mango/Mango/content/documentationInProgress.xhtml
branches/mango/Mango/content/freeCalculus.png
branches/mango/Mango/content/freeCalculusRewritten.png
branches/mango/Mango/content/proofArtifacts.xhtml
branches/mango/Mango/content/specification.xhtml
branches/mango/Mango/repository/plugins/org.apache.lucene_1.9.1.v20080530-1600.jar
branches/mango/Mango/repository/plugins/org.eclipse.help.appserver_3.1.301.v20090302.jar
branches/mango/Mango/repository/plugins/org.eclipse.help.base_3.4.0.v20090302.jar
branches/mango/Mango/repository/plugins/org.eclipse.help.ui_3.4.0.v20090306.jar
branches/mango/Mango/repository/plugins/org.eclipse.help.webapp_3.4.0.v20090302.jar
Removed Paths:
-------------
branches/mango/Mango/content/mango1.xhtml
branches/mango/Mango/content/mango2.xhtml
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:28:40
|
Revision: 1389
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1389&view=rev
Author: frankrimlinger
Date: 2009-04-13 20:28:37 +0000 (Mon, 13 Apr 2009)
Log Message:
-----------
I have made finally make first contact with JPF. Specifically, this means that I was able to call JPF.main() from within mango and step through jpf code using the debugger. To get the debugger part working, all that is required is to add Mango as a dependent project to the javapathfinder-trunk project and locate the source code when asked to do so. However, to get the right runtime requires choices. To help resist the ever present temptation to alter jpf code, I decided to bundle the gov package as a "plugin jar" project. The mango product just imports this jar, so technically only the binaries are available. Of course, changes to jpf internals might break my code, but this is a small price to pay for compatibility with future versions of jpf. On the other hand, if I were start tweaking a copy of jpf to suit my purposes, then I would quickly cut myself off from future developments as it became harder and harder to sync up.
I don't think it is feasible to run jpf from a thread and block as necessary. This would require a lot of cooperation from the jpf side which would be most undesirable. Instead, I will call jpf methods directly, passing jpf objects back and forth as required, essentially regarding jpf as an api. This approach leverages the thread-based design of mango and avoids a lot of unnecessary complexity.
I will sync with the current trunk occasionally to pick up new developments. Each such sync will constitute a new version of mango, if versioning ever becomes an issue. I am abandoning the idea that mango will eventually be "inside" jpf. However, by tweaking my configuration mechanism to pick up .properties files, I could certainly expose all jpf functionality to the mango user.
Modified Paths:
--------------
branches/mango/Mango/.classpath
branches/mango/Mango/META-INF/MANIFEST.MF
branches/mango/Mango/Mango/src/mango/control/msg/StartRequestMsg.java
branches/mango/Mango/Mango.product
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
Added Paths:
-----------
branches/mango/Mango/jpf jar command.rtf
branches/mango/Mango/plugins/JPF_jar_1.0.0.jar
branches/mango/Mango/repository/plugins/JPF_jar_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-14 03:36:20
|
Revision: 1393
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1393&view=rev
Author: frankrimlinger
Date: 2009-04-14 03:36:18 +0000 (Tue, 14 Apr 2009)
Log Message:
-----------
Rebuilding the Mango project from SVN involves setting some subtle local Eclipse preferences, as discussed in "jpf jar command"
Modified Paths:
--------------
branches/mango/Mango/.classpath
branches/mango/Mango/jpf jar command.rtf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
×
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.
Thanks for helping keep SourceForge clean.
X