Menu
▾
▴
javapathfinder-svn — source repository related messages (SVN)
You can subscribe to this list here.
| 2008 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(16) |
Jun
(42) |
Jul
(46) |
Aug
(48) |
Sep
(33) |
Oct
(26) |
Nov
(28) |
Dec
(38) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2009 |
Jan
(35) |
Feb
(80) |
Mar
(112) |
Apr
(108) |
May
(102) |
Jun
(126) |
Jul
(89) |
Aug
(82) |
Sep
(36) |
Oct
(7) |
Nov
(1) |
Dec
(4) |
| 2010 |
Jan
(87) |
Feb
|
Mar
(2) |
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
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-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-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 06:05:02
|
Revision: 1347
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1347&view=rev
Author: frankrimlinger
Date: 2009-03-29 06:05:00 +0000 (Sun, 29 Mar 2009)
Log Message:
-----------
The move to RCP has made branches/mango/extensions/mango stale. Some useful documentation has been moved to the RCP home, branches/mango/Mango, and the rest of the mango extension has been deleted. I think I would rather pull jpf into RCP than attempt to make mango a true jpf extension, but I am punting on this question for now.
Added Paths:
-----------
branches/mango/Mango/banner.txt
branches/mango/Mango/intermediate transformers
branches/mango/Mango/secret memory command.txt
branches/mango/Mango/trick for double eclipse.rtf
branches/mango/Mango/wiring a command/
branches/mango/Mango/wiring a command/bind additional actions to the message (optional).tiff
branches/mango/Mango/wiring a command/bind the action to the pick response.tiff
branches/mango/Mango/wiring a command/bind the action to the pop-up menu.tiff
branches/mango/Mango/wiring a command/define a pick response.tiff
branches/mango/Mango/wiring a command/define the message.tiff
branches/mango/Mango/wiring a command/define the pick response accessor.tiff
branches/mango/Mango/wiring a command/time capsule.rtf
branches/mango/Mango/wiring a command/wiring a command.rtf
Removed Paths:
-------------
branches/mango/extensions/mango/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-03-28 02:02:10
|
Revision: 1346
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1346&view=rev
Author: pcmehlitz
Date: 2009-03-28 02:02:00 +0000 (Sat, 28 Mar 2009)
Log Message:
-----------
* added some NetBeans UI actions so that we can run JPF on *.jpf|*.properties files (you have to use shift-F6 since NB doesn't display the "Run" context menu item for non *.java), run normal Java apps in examples and test, and Test*JPF apps (with JUnit) in test - that should cover almost all bases. If you want property file editor support, name your JPF config "*.jpf.properties"
* changed JPF accordingly, so that it also accepts a single *.properties as argument. Also changed the config /usage print to happen before we call a shell (useful for debugging)
* fixed bug in build.xml when compiling extension examples (wasn't looking for build/app)
* bad hack in UIInspector while checking jpf.shell.class usage. Inspector execpts "inspect.*" properties, but the ui framework uses "awt.*" => turn this into Inspector ctor arguments (we want to keep everything "awt" in ui)
Modified Paths:
--------------
trunk/build.xml
trunk/extensions/ui/env/jvm/gov/nasa/jpf/jvm/JPF_java_awt_EventDispatchThread.java
trunk/extensions/ui/examples/RobotManager-nothread.jpf
trunk/extensions/ui/src/gov/nasa/jpf/tools/UIInspector.java
trunk/nbproject/ide-file-targets.xml
trunk/nbproject/project.xml
trunk/src/gov/nasa/jpf/JPF.java
Added Paths:
-----------
trunk/examples/oldclassic.jpf.properties
Removed Paths:
-------------
trunk/examples/oldclassic.properties
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-03-28 01:23:20
|
Revision: 1345
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1345&view=rev
Author: pcorina
Date: 2009-03-28 01:23:10 +0000 (Sat, 28 Mar 2009)
Log Message:
-----------
A lot of cleaning of BytecodeUtils (to help specify various fields to be symbolic) and re-factoring of Helper methods (that are re-used in BytecodeUtils)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/Helper.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 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: <pc...@us...> - 2009-03-27 20:12:08
|
Revision: 1343
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1343&view=rev
Author: pcorina
Date: 2009-03-27 20:12:00 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
generalized Debug.makeFieldsSymbolic to handle multiple symbolic inputs.
This method is used to make all the fields of an object symbolic and to make the object a candidate for aliasing during lazy initialization.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.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 16:26:22
|
Revision: 1342
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1342&view=rev
Author: frankrimlinger
Date: 2009-03-27 16:25:47 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
checkin of my input subproject, which tests various aspects of the mango mechanism. These tests are by no means complete, and will grow over time, especially in the area of invariant detection, which is the primary weakness of the current tool.
This concludes the deployment of the local data within the Mango project. It remains to rewrite the broken code so that it guides the user to the appropriate local directory for rules, sessions and input, in a robust manner.
Added Paths:
-----------
branches/mango/Mango/local/frank/input/.classpath
branches/mango/Mango/local/frank/input/.project
branches/mango/Mango/local/frank/input/build
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-27 16:12:22
|
Revision: 1341
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1341&view=rev
Author: frankrimlinger
Date: 2009-03-27 16:12:08 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
This concludes the tinkering with the input system. This input system and its tests are now correctly built and safely isolated from the "real" system. The input system is used by the mango tool to resolve system references which are modeled in the rule base. We can't use the real system because we want to warned of "link errors", that is, errors to system code not modeled in the rule base. The rule base contains the "proof artifacts" which model the input system code.
The following procedure bootstraps these rules. The input system has two packages, java and mango. The java package mirrors the real java package and currently contains a few representative subpackages and classes, especially for the handling of arrays. The methods in the java package are coded in pure java with references to the mango package for the resolution of native calls. The mango package contains stubs for "native" code, which must be modeled by hand written rules in the rule base. The mango tool is then applied to the java package methods in the same manner it would be applied to any code.
Thus, the handwritten rules for the mango package are the sweet spot where native code get translated into the "mango model", which forms the basis for MFL, the "mango formal language", and on and on and on...
Added Paths:
-----------
branches/mango/Mango/local/system/input/make
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-27 15:29:38
|
Revision: 1340
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1340&view=rev
Author: frankrimlinger
Date: 2009-03-27 15:29:23 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
cleanup of System subproject
Removed Paths:
-------------
branches/mango/Mango/local/system/input/System/bin/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-27 14:54:37
|
Revision: 1339
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1339&view=rev
Author: frankrimlinger
Date: 2009-03-27 14:54:33 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
initial check of System input subproject
Added Paths:
-----------
branches/mango/Mango/local/system/input/.classpath
branches/mango/Mango/local/system/input/.project
branches/mango/Mango/local/system/input/.settings/
branches/mango/Mango/local/system/input/.settings/org.eclipse.jdt.core.prefs
Removed Paths:
-------------
branches/mango/Mango/local/system/input/System/.classpath
branches/mango/Mango/local/system/input/System/.project
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/SystemTests/.classpath
branches/mango/Mango/local/system/input/SystemTests/.project
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-27 14:14:28
|
Revision: 1338
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1338&view=rev
Author: frankrimlinger
Date: 2009-03-27 14:14:10 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
Cleanup of frank/input prior to checkout as separate embedded project.
Removed Paths:
-------------
branches/mango/Mango/local/frank/input/LinearArithmeticTest/.classpath
branches/mango/Mango/local/frank/input/LinearArithmeticTest/.project
branches/mango/Mango/local/frank/input/LocalVariableScopeTest/.classpath
branches/mango/Mango/local/frank/input/LocalVariableScopeTest/.project
branches/mango/Mango/local/frank/input/MangoModelTest/.classpath
branches/mango/Mango/local/frank/input/MangoModelTest/.project
branches/mango/Mango/local/frank/input/app/
branches/mango/Mango/local/frank/input/linearArithmeticTests/
branches/mango/Mango/local/frank/input/localVariableScopeTests/
branches/mango/Mango/local/frank/input/loopTests/.classpath
branches/mango/Mango/local/frank/input/loopTests/.project
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-27 13:51:40
|
Revision: 1337
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1337&view=rev
Author: frankrimlinger
Date: 2009-03-27 13:51:26 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
Syncing combo project of Robert Krug's baseline loop tests. As outlined before, this input project is now embedded inside the Mango project from the point of view of SVN server, but a separate stand-alone project from the point of view of a client checking out the projects into an Eclipse workspace. When the client syncs, everything matches up properly for third party distribution.
Added Paths:
-----------
branches/mango/Mango/local/rkrug/input/.classpath
branches/mango/Mango/local/rkrug/input/.project
branches/mango/Mango/local/rkrug/input/build
Removed Paths:
-------------
branches/mango/Mango/local/rkrug/input/AxiomInLoop/.classpath
branches/mango/Mango/local/rkrug/input/AxiomInLoop/.project
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/find_negative/.classpath
branches/mango/Mango/local/rkrug/input/find_negative/.project
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/itsAWrap/.classpath
branches/mango/Mango/local/rkrug/input/itsAWrap/.project
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/nested-loops/.classpath
branches/mango/Mango/local/rkrug/input/nested-loops/.project
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/while-with-conjunct/.classpath
branches/mango/Mango/local/rkrug/input/while-with-conjunct/.project
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 05:44:12
|
Revision: 1335
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1335&view=rev
Author: frankrimlinger
Date: 2009-03-27 05:43:51 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
Cleanup project.
Added Paths:
-----------
branches/mango/CleanUp/.classpath
branches/mango/CleanUp/.project
branches/mango/CleanUp/src/
branches/mango/CleanUp/src/cleanup/
branches/mango/CleanUp/src/cleanup/CleanUp.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 05:43:12
|
Revision: 1334
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1334&view=rev
Author: frankrimlinger
Date: 2009-03-27 05:43:05 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
CleanUp is a handy utility for removing the .svn files. Sometimes you need to do this to embed directories from one project in another. Only for non-perl users.
Added Paths:
-----------
branches/mango/CleanUp/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-03-27 05:18:15
|
Revision: 1333
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1333&view=rev
Author: pcmehlitz
Date: 2009-03-27 05:18:08 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
* added Nathan Reynold's NoStateCycles property listener, which aims at detecting "hang loops" by checking for visited states along the same path. This is not yet the general "progress monitor", but can be quite helpful since JPF otherwise silently state matches loops w/o updated variables
Added Paths:
-----------
trunk/src/gov/nasa/jpf/tools/NoStateCycles.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-03-27 05:08:32
|
Revision: 1332
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1332&view=rev
Author: pcmehlitz
Date: 2009-03-27 05:08:30 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
batch of patches from Nathan Reynolds - thanks
* HTMLPublisher - this creates a bunch of scripted web pages with various result topics, suitable for browsing (but not storing). It still needs some cleanup to remove PublisherExtension dependencies (a Publisher should NOT have to be aware of specific extensions), and it doesn't (yet) follow the publisher configuration scheme, but it's a pretty sophisticated web interface.
* the only PublisherExtension that currently supports it is the CoverageAnalyzer, which got refactored so that publisher specific methods are kept together (also needs some cleanup once HtmlPublisher is more conformant)
* the VarRecorder is a little utility listener that adds trace comments for variable access ops
* store state id and ThreadInfo in Transition
* some little optimizations in SimpleIdleFilter and Source
Modified Paths:
--------------
trunk/default.properties
trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
trunk/src/gov/nasa/jpf/jvm/StackFrame.java
trunk/src/gov/nasa/jpf/jvm/SystemState.java
trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
trunk/src/gov/nasa/jpf/jvm/Transition.java
trunk/src/gov/nasa/jpf/tools/CoverageAnalyzer.java
trunk/src/gov/nasa/jpf/tools/SimpleIdleFilter.java
trunk/src/gov/nasa/jpf/util/Source.java
Added Paths:
-----------
trunk/src/gov/nasa/jpf/report/HTMLPublisher.java
trunk/src/gov/nasa/jpf/tools/VarRecorder.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 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-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 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 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: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 06:20:26
|
Revision: 1323
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1323&view=rev
Author: frankrimlinger
Date: 2009-03-26 06:20:14 +0000 (Thu, 26 Mar 2009)
Log Message:
-----------
Creating Mango project, deployed on the Rich Client Platform.
Added Paths:
-----------
branches/mango/Mango/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
