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-26 04:11:41
|
Revision: 1322
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1322&view=rev
Author: frankrimlinger
Date: 2009-03-26 04:11:35 +0000 (Thu, 26 Mar 2009)
Log Message:
-----------
Deleting the MangoRCP project. Now that I have a better idea for how RCP works, I am going to rebuild it from scratch, and simply name it Mango. Hopefully some gui weirdness will disappear the second time around.
Removed Paths:
-------------
branches/mango/MangoRCP/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-03-25 22:47:01
|
Revision: 1321
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1321&view=rev
Author: pcmehlitz
Date: 2009-03-25 22:46:50 +0000 (Wed, 25 Mar 2009)
Log Message:
-----------
* little cleanup of AtomicFieldUpdater peers, based on the (uneducated) assumption that we want to interleave with "non-protected" gets/puts
- should probably check and create a CG for the field owner, not the updater
- replaced the 'enumerateCAS' misnomer with the existing porFieldBoundaries settings
- refactored common code in AtomicFieldUpdater (but beware - only statics allowed)
in order to make this useful, we still have to update the RaceDetectors
Modified Paths:
--------------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicIntegerFieldUpdater.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicLongFieldUpdater.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater.java
trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
trunk/src/gov/nasa/jpf/jvm/bytecode/InstanceFieldInstruction.java
trunk/src/gov/nasa/jpf/tools/PreciseRaceDetector.java
Added Paths:
-----------
trunk/env/jvm/gov/nasa/jpf/jvm/AtomicFieldUpdater.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-25 19:29:26
|
Revision: 1320
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1320&view=rev
Author: frankrimlinger
Date: 2009-03-25 19:29:13 +0000 (Wed, 25 Mar 2009)
Log Message:
-----------
More product branding. This is an art. I give up for now. Port of remaining mango windows to RCP almost complete. Then really and truly back to work.
Modified Paths:
--------------
branches/mango/MangoRCP/Mango/src/mango/Resources/editableIcons/icon1129_instantiatedLoopSymType.icns
branches/mango/MangoRCP/Mango/src/mango/control/action/window/GenSpecAction.java
branches/mango/MangoRCP/Mango/src/mango/control/action/window/LogAction.java
branches/mango/MangoRCP/Mango/src/mango/control/action/window/ScriptAction.java
branches/mango/MangoRCP/Mango/src/mango/core/statistic/StatisticManager.java
branches/mango/MangoRCP/Mango/src/mango/module/definition/action/CloseBothAction.java
branches/mango/MangoRCP/Mango/src/mango/module/definition/action/CloseCaseAction.java
branches/mango/MangoRCP/Mango/src/mango/module/instance/InstanceWindow.java
branches/mango/MangoRCP/Mango/src/mango/script/gui/action/ScriptDownAction.java
branches/mango/MangoRCP/Mango/src/mango/script/gui/action/ScriptOpenAction.java
branches/mango/MangoRCP/Mango/src/mango/script/gui/action/ScriptRemoveAction.java
branches/mango/MangoRCP/Mango/src/mango/script/gui/action/ScriptRunAction.java
branches/mango/MangoRCP/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/MangoRCP/Mango/src/mango/script/gui/action/ScriptSelectAllAction.java
branches/mango/MangoRCP/Mango/src/mango/script/gui/action/ScriptUpAction.java
branches/mango/MangoRCP/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/MangoRCP/Mango/src/mango/script/util/MangoScriptUtilities.java
branches/mango/MangoRCP/Mango/src/mango/util/LOG.java
branches/mango/MangoRCP/Mango/src/mango/workstation/Workstation.java
branches/mango/MangoRCP/mango.product
branches/mango/MangoRCP/plugin.properties
branches/mango/MangoRCP/plugin.xml
branches/mango/MangoRCP/src/mangorcp/Perspective.java
branches/mango/MangoRCP/src/mangorcp/views/MainPanel.java
Added Paths:
-----------
branches/mango/MangoRCP/src/mangorcp/views/CustomizableIntroPart.java
branches/mango/MangoRCP/src/mangorcp/views/GenSpecWindow.java
branches/mango/MangoRCP/src/mangorcp/views/LogWindow.java
branches/mango/MangoRCP/src/mangorcp/views/MangoScriptWindow.java
branches/mango/MangoRCP/src/mangorcp/views/StatisticsWindow.java
branches/mango/MangoRCP/src/org/eclipse/ui/
branches/mango/MangoRCP/src/org/eclipse/ui/intro/
branches/mango/MangoRCP/src/org/eclipse/ui/intro/CustomizableIntroPart.java
Removed Paths:
-------------
branches/mango/MangoRCP/Mango/src/mango/control/window/GenSpecWindow.java
branches/mango/MangoRCP/Mango/src/mango/control/window/LogWindow.java
branches/mango/MangoRCP/Mango/src/mango/script/gui/MangoScriptWindow.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-25 06:19:43
|
Revision: 1319
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1319&view=rev
Author: frankrimlinger
Date: 2009-03-25 06:19:29 +0000 (Wed, 25 Mar 2009)
Log Message:
-----------
Completed port of Entrypoints window to a ViewPart. Gumbo works fine inside of a ViewPart. This is a tremendous relief, and means that migration to SWT widgets can be put off indefinitely. There is some flicker when resizing windows, but oh well. Introduced MainPanel class which serves as a proxy for the old JFrame class, greatly simplifying the migration to ViewPart. Cleaned up WorkstationWindow port. Added some product branding. Splashscreen works, but trouble with About menu, oh well. It should be a simple matter now to port the Script and Specification windows, and then finally back to work.
Modified Paths:
--------------
branches/mango/MangoRCP/META-INF/MANIFEST.MF
branches/mango/MangoRCP/Mango/src/mango/workstation/Workstation.java
branches/mango/MangoRCP/plugin.xml
branches/mango/MangoRCP/src/mangorcp/ApplicationActionBarAdvisor.java
branches/mango/MangoRCP/src/mangorcp/ApplicationWorkbenchWindowAdvisor.java
branches/mango/MangoRCP/src/mangorcp/Perspective.java
branches/mango/MangoRCP/src/mangorcp/views/GlobalViewWindow.java
branches/mango/MangoRCP/src/mangorcp/views/WorkstationWindow.java
Added Paths:
-----------
branches/mango/MangoRCP/Mango/src/mango/Resources/About.gif
branches/mango/MangoRCP/Mango/src/mango/Resources/About.tiff
branches/mango/MangoRCP/Mango/src/mango/Resources/about2.gif
branches/mango/MangoRCP/Mango/src/mango/Resources/about2.tiff
branches/mango/MangoRCP/Mango/src/mango/Resources/splash.tiff
branches/mango/MangoRCP/mango.product
branches/mango/MangoRCP/plugin.properties
branches/mango/MangoRCP/splash.bmp
branches/mango/MangoRCP/src/mangorcp/views/MainPanel.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-24 20:20:42
|
Revision: 1318
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1318&view=rev
Author: frankrimlinger
Date: 2009-03-24 20:20:25 +0000 (Tue, 24 Mar 2009)
Log Message:
-----------
Entrypoints window port to RCP in progress. It looks like gumbo will play ball. The only thing gumbo wanted the JFrame for was status reporting, and it will accept null. In the fullness of time, RCP will gladly take over this function.
Modified Paths:
--------------
branches/mango/MangoRCP/Mango/src/mango/control/action/window/GlobalViewAction.java
branches/mango/MangoRCP/Mango/src/mango/workstation/Workstation.java
branches/mango/MangoRCP/Mango/src/mango/workstation/agent/WorkstationAgent.java
branches/mango/MangoRCP/plugin.xml
Added Paths:
-----------
branches/mango/MangoRCP/src/mangorcp/views/GlobalViewWindow.java
Removed Paths:
-------------
branches/mango/MangoRCP/Mango/src/mango/workstation/window/GlobalViewWindow.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-24 18:21:14
|
Revision: 1317
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1317&view=rev
Author: frankrimlinger
Date: 2009-03-24 18:20:57 +0000 (Tue, 24 Mar 2009)
Log Message:
-----------
This completes the gui cleanup for the port of mango to RCP. It remains to port the entrypoints window to a ViewPart, just to prove that gumbo can be integrated. There are a few issues here that need to be worked out.
Modified Paths:
--------------
branches/mango/MangoRCP/Mango/src/mango/control/window/LogWindow.java
branches/mango/MangoRCP/Mango/src/mango/module/ModuleWindow.java
branches/mango/MangoRCP/Mango/src/mango/module/definition/DefinitionWindow.java
branches/mango/MangoRCP/Mango/src/mango/module/definition/loop/LoopDefinitionWindow.java
branches/mango/MangoRCP/Mango/src/mango/module/definition/method/MethodDefinitionWindow.java
branches/mango/MangoRCP/Mango/src/mango/module/instance/InstanceWindow.java
branches/mango/MangoRCP/Mango/src/mango/module/instance/loop/LoopInstanceWindow.java
branches/mango/MangoRCP/Mango/src/mango/module/instance/method/MethodInstanceWindow.java
branches/mango/MangoRCP/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-24 05:20:11
|
Revision: 1316
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1316&view=rev
Author: frankrimlinger
Date: 2009-03-24 05:20:07 +0000 (Tue, 24 Mar 2009)
Log Message:
-----------
Cleanup of visual Swing elements in MangoRCP. Except for a few table entries buried too deep in Swing to bother with, the RCP version will be virtually identical in appearance to the old Swing version. Going back to just saying "mango", as all development will now take place in RCP. Eventually all the Swing should be replaced by SWT widgets, but this is a very low priority right now. Just a few more hours worth of visual cleanup, and then finally back to business.
Modified Paths:
--------------
branches/mango/MangoRCP/Mango/src/mango/control/window/LogWindow.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/rendering/BooleanCellRenderer.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/table/CoreRuleBaseTable.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/tablemodel/CoreTierTableModel.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/window/CoreRuleBaseWindow.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/window/CoreSuperWindow.java
branches/mango/MangoRCP/Mango/src/mango/module/ModuleWindow.java
branches/mango/MangoRCP/Mango/src/mango/module/definition/DefinitionWindow.java
branches/mango/MangoRCP/Mango/src/mango/script/gui/MangoScriptMessageCellRenderer.java
branches/mango/MangoRCP/Mango/src/mango/workstation/Workstation.java
branches/mango/MangoRCP/src/mangorcp/ApplicationWorkbenchWindowAdvisor.java
branches/mango/MangoRCP/src/mangorcp/views/WorkstationWindow.java
Removed Paths:
-------------
branches/mango/MangoRCP/Mango/src/mango/control/window/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-23 15:31:00
|
Revision: 1315
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1315&view=rev
Author: frankrimlinger
Date: 2009-03-23 15:30:57 +0000 (Mon, 23 Mar 2009)
Log Message:
-----------
Fixed EZ bug, and MangoRCP came online. The entire functionality of mango is now accessible via the Rich Client Platform. For now this is just smoke and mirrors as the bulk of the gui is still pure Swing, but at least now there is a plausible path to deployment. It remains to have something to deploy. Here is guess of how this will play out:
Must finish stable rewriting update, then complete the test sessions, rebuild the System library sessions. This really should be done in a few weeks.
Then there will be a big effort to replace the java bytecode model with the superior version in the jpf code base. Three months
Then the mango model has to be reworked to generate artifacts capable of guiding the jpf state transition mechanism. Six months
Invariant detection needs to get a boost from the jpf backtracking mechanism. Three months
Bundling as a distributable Eclipse plugin. Three months.
Making mango "disappear" into the Eclipse debugging workflow. Don't quite know what this means yet because there are a few things that just won't go away, so six months to a year.
At this point, the tool should be able to generate theorem prover artifacts and English language specification for input java code, requiring only a reasonable amount of human guidance.
Modified Paths:
--------------
branches/mango/MangoRCP/Mango/src/mango/workstation/Workstation.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-23 05:49:14
|
Revision: 1314
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1314&view=rev
Author: frankrimlinger
Date: 2009-03-23 05:49:11 +0000 (Mon, 23 Mar 2009)
Log Message:
-----------
In MangoRCP, once one window is up, it is possible to bring up the rest via menu commands, and then just proceed with business as usual. So for the time being, only the Input Manager window will be ported to an SWT ViewPart.
Resolved some font and layout issues to make viewing the ported window tolerable. The threading model and gumbo consistency of view and Swing tree views all seem to play nicely with SWT, so many risks have been retired. There is a problem that breaks the class parsing alg, probably a bad path name. Once this is fixed, all of the mango functionality should be present in MangoRCP.
Probably mango development will now cease, as all testing and new development should take place in MangoRCP. As time allows, the Swing will gradually give way to SWT/JFace. I will not miss all the low-level coding Swing demands, but I intend to tinker with RCP until I can get free floating editor windows. There is just no reason why RCP has to be bound in a two-dimensional straight-jacket, it can be so much more than that.
Modified Paths:
--------------
branches/mango/MangoRCP/Mango/src/mango/control/action/input/RuleBaseAction.java
branches/mango/MangoRCP/Mango/src/mango/control/menu/WindowMenu.java
branches/mango/MangoRCP/Mango/src/mango/control/window/WorkstationWindow.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/StaticFields.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/action/LoadCoreRuleBaseAction.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/rendering/CoreRuleCellRenderer.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/rendering/CoreTierCellRenderer.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/rendering/CoreVariableStringCellRenderer.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/rendering/StringCellRenderer.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/window/CoreRuleBaseWindow.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/window/CoreSuperWindow.java
branches/mango/MangoRCP/Mango/src/mango/core/gui/window/CoreTierWindow.java
branches/mango/MangoRCP/Mango/src/mango/workstation/Workstation.java
branches/mango/MangoRCP/Mango/src/mango/workstation/interaction/WorkstationMenuItem.java
branches/mango/MangoRCP/src/mangorcp/ApplicationActionBarAdvisor.java
branches/mango/MangoRCP/src/mangorcp/ApplicationWorkbenchWindowAdvisor.java
branches/mango/MangoRCP/src/mangorcp/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-22 04:30:49
|
Revision: 1312
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1312&view=rev
Author: frankrimlinger
Date: 2009-03-22 04:30:43 +0000 (Sun, 22 Mar 2009)
Log Message:
-----------
Have developed a methodology for porting JFrames to ViewParts. Just create a ViewPart class with the same name as the JFrame. Then punch in the Albireo wrapper as shown in the example. Then punch all the JFrame content into the Albireo SwingControl. Externally, your code now has to deal with ViewPart instead of a JFrame, so you have to run the ball out on the ground. So far the only thing I have noticed that JDialogs can't hang down from a ViewPart the way they do from a JFrame.
Modified Paths:
--------------
branches/mango/MangoRCP/.classpath
branches/mango/MangoRCP/plugin.xml
branches/mango/MangoRCP/src/mangorcp/Perspective.java
Added Paths:
-----------
branches/mango/MangoRCP/src/mangorcp/views/WorkstationWindow.java
Removed Paths:
-------------
branches/mango/MangoRCP/mango
branches/mango/MangoRCP/src/mangorcp/views/InputManager.java
branches/mango/MangoRCP/src/mangorcp/views/InputManagerView.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-22 04:18:23
|
Revision: 1311
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1311&view=rev
Author: frankrimlinger
Date: 2009-03-22 04:18:17 +0000 (Sun, 22 Mar 2009)
Log Message:
-----------
WorkstationApp fix for mango.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mangoApplication/WorkstationApp.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-21 23:18:47
|
Revision: 1310
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1310&view=rev
Author: frankrimlinger
Date: 2009-03-21 23:18:45 +0000 (Sat, 21 Mar 2009)
Log Message:
-----------
Input Manager port to MangoRCP in progress.
Modified Paths:
--------------
branches/mango/MangoRCP/src/mangorcp/ApplicationWorkbenchAdvisor.java
branches/mango/MangoRCP/src/mangorcp/views/InputManagerView.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mangoApplication/WorkstationApp.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-21 18:12:45
|
Revision: 1309
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1309&view=rev
Author: frankrimlinger
Date: 2009-03-21 18:12:43 +0000 (Sat, 21 Mar 2009)
Log Message:
-----------
Successfully initialized the Workstation from within MangoRCP, bringing up the old Swing windows and firing up the Mango threads. Also brought up an RCP View Extension which ports the input manager button controls. Theoretically should be able to drive from either the new or old interface, as they represent the same model. Much more porting and testing required. So far, so good.
Modified Paths:
--------------
branches/mango/MangoRCP/.classpath
branches/mango/MangoRCP/META-INF/MANIFEST.MF
branches/mango/MangoRCP/plugin.xml
branches/mango/MangoRCP/src/mangorcp/ApplicationWorkbenchAdvisor.java
branches/mango/MangoRCP/src/mangorcp/Perspective.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/GlobalViewWindow.java
branches/mango/extensions/mango/Mango/src/mangoApplication/WorkstationApp.java
Added Paths:
-----------
branches/mango/MangoRCP/contexts.xml
branches/mango/MangoRCP/icons/sample.gif
branches/mango/MangoRCP/plugins/
branches/mango/MangoRCP/plugins/Mango_Jars_1.0.0.jar
branches/mango/MangoRCP/src/mangorcp/views/
branches/mango/MangoRCP/src/mangorcp/views/InputManager.java
branches/mango/MangoRCP/src/mangorcp/views/InputManagerView.java
branches/mango/MangoRCP/src/mangorcp/views/View.java
Removed Paths:
-------------
branches/mango/MangoRCP/src/mangorcp/InputManager.java
branches/mango/MangoRCP/src/mangorcp/View.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-21 17:40:03
|
Revision: 1308
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1308&view=rev
Author: frankrimlinger
Date: 2009-03-21 17:39:53 +0000 (Sat, 21 Mar 2009)
Log Message:
-----------
The method of locating icons in the icon jar doesn't work in MangoRCP, don't know why. So for now, bypassing the icon jar altogether and just hardwiring the icon locations. Of course this wil eventually be figured out.
Modified Paths:
--------------
branches/mango/.classpath
branches/mango/extensions/mango/Mango/src/mango/core/gui/StaticFields.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-21 13:52:10
|
Revision: 1306
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1306&view=rev
Author: frankrimlinger
Date: 2009-03-21 13:52:00 +0000 (Sat, 21 Mar 2009)
Log Message:
-----------
This project builds the bundle of icons and third party resources used by MangoRCP.
Added Paths:
-----------
branches/mango/Mango Jars/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-21 04:20:14
|
Revision: 1305
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1305&view=rev
Author: frankrimlinger
Date: 2009-03-21 04:19:59 +0000 (Sat, 21 Mar 2009)
Log Message:
-----------
Package cleanup for mango/MangoRCP coexistence.
Modified Paths:
--------------
branches/mango/.classpath
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/GlobalViewWindow.java
branches/mango/extensions/mango/Mango/src/mangoApplication/MangoMergeApp.java
branches/mango/extensions/mango/Mango/src/mangoApplication/WorkstationApp.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mangoApplication/
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/application/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-03-21 01:23:29
|
Revision: 1304
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1304&view=rev
Author: pcmehlitz
Date: 2009-03-21 01:23:23 +0000 (Sat, 21 Mar 2009)
Log Message:
-----------
patches from Nathan Reynolds:
* more AtomicXXUpdater field access CGs, but this needs to be unified with the ThreadInfo.usePorFieldBoundaries() and get/putfield (shared object, runnable threads etc)
* added StackTracker, which probes application call stacks at given time intervals, to find out what the application is doing
* added do..while() support for the IdleFilters
*upped the default OOME safety margin to 64k
Modified Paths:
--------------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicIntegerFieldUpdater.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicLongFieldUpdater.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater.java
trunk/src/gov/nasa/jpf/JPF.java
trunk/src/gov/nasa/jpf/jvm/bytecode/IfInstruction.java
Added Paths:
-----------
trunk/examples/Hang.java
trunk/src/gov/nasa/jpf/tools/StackTracker.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-21 01:05:40
|
Revision: 1303
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1303&view=rev
Author: frankrimlinger
Date: 2009-03-21 01:05:22 +0000 (Sat, 21 Mar 2009)
Log Message:
-----------
Separated application functionality (just to handle Quit command) in a separate package to avoid incompatibility with RCP application level. MangoRCP and mango should now coexist peacefully, with all mango updates automatically linked to MangoRCP.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/merge/window/CoreRuleBaseMergeWindow.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/application/
branches/mango/extensions/mango/Mango/src/mango/application/MangoMergeApp.java
branches/mango/extensions/mango/Mango/src/mango/application/WorkstationApp.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/merge/MangoMergeUtility.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-20 23:51:36
|
Revision: 1302
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1302&view=rev
Author: frankrimlinger
Date: 2009-03-20 23:51:32 +0000 (Fri, 20 Mar 2009)
Log Message:
-----------
Eliminated conflicting MRJAdapter jar. This has been redundant for years anyway, replaced by Apple support for java.
Modified Paths:
--------------
branches/mango/.classpath
branches/mango/extensions/mango/Mango/src/mango/merge/MangoMergeUtility.java
branches/mango/extensions/mango/Mango/src/mango/merge/window/CoreRuleBaseMergeWindow.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-03-20 22:41:17
|
Revision: 1301
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1301&view=rev
Author: pcorina
Date: 2009-03-20 22:41:13 +0000 (Fri, 20 Mar 2009)
Log Message:
-----------
files from Jeff Wu: for regression testing of Symbolic JPF
Modified Paths:
--------------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestExJPF.java
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestSymbolicListener.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestSymbolicOutput.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-03-20 21:32:41
|
Revision: 1300
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1300&view=rev
Author: pcorina
Date: 2009-03-20 21:32:26 +0000 (Fri, 20 Mar 2009)
Log Message:
-----------
fixed small problems for lazy init and debugging
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETSTATIC.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-20 19:48:24
|
Revision: 1299
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1299&view=rev
Author: frankrimlinger
Date: 2009-03-20 19:48:13 +0000 (Fri, 20 Mar 2009)
Log Message:
-----------
Created symbolic link from MangoRCP to mango project, and imported all the souce code and jars from mango. This is a little risky as SVN doesn't play well with symbolic links. But hopefully things will work out.
Modified Paths:
--------------
branches/mango/MangoRCP/.classpath
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hash.java
Added Paths:
-----------
branches/mango/MangoRCP/mango
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-20 18:15:57
|
Revision: 1298
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1298&view=rev
Author: frankrimlinger
Date: 2009-03-20 18:15:56 +0000 (Fri, 20 Mar 2009)
Log Message:
-----------
Startup OK with floating Swing views. need content
Added Paths:
-----------
branches/mango/MangoRCP/.classpath
branches/mango/MangoRCP/.project
branches/mango/MangoRCP/.settings/
branches/mango/MangoRCP/.settings/org.eclipse.jdt.core.prefs
branches/mango/MangoRCP/META-INF/
branches/mango/MangoRCP/META-INF/MANIFEST.MF
branches/mango/MangoRCP/build.properties
branches/mango/MangoRCP/icons/
branches/mango/MangoRCP/icons/alt_window_16.gif
branches/mango/MangoRCP/icons/alt_window_32.gif
branches/mango/MangoRCP/plugin.xml
branches/mango/MangoRCP/src/
branches/mango/MangoRCP/src/mangorcp/
branches/mango/MangoRCP/src/mangorcp/Activator.java
branches/mango/MangoRCP/src/mangorcp/Application.java
branches/mango/MangoRCP/src/mangorcp/ApplicationActionBarAdvisor.java
branches/mango/MangoRCP/src/mangorcp/ApplicationWorkbenchAdvisor.java
branches/mango/MangoRCP/src/mangorcp/ApplicationWorkbenchWindowAdvisor.java
branches/mango/MangoRCP/src/mangorcp/InputManager.java
branches/mango/MangoRCP/src/mangorcp/Perspective.java
branches/mango/MangoRCP/src/mangorcp/View.java
branches/mango/MangoRCP/src/org/
branches/mango/MangoRCP/src/org/eclipse/
branches/mango/MangoRCP/src/org/eclipse/albireo/
branches/mango/MangoRCP/src/org/eclipse/albireo/core/
branches/mango/MangoRCP/src/org/eclipse/albireo/core/AwtEnvironment.java
branches/mango/MangoRCP/src/org/eclipse/albireo/core/LookAndFeelHandler.java
branches/mango/MangoRCP/src/org/eclipse/albireo/core/ResourceConverter.java
branches/mango/MangoRCP/src/org/eclipse/albireo/core/SizeEvent.java
branches/mango/MangoRCP/src/org/eclipse/albireo/core/SizeListener.java
branches/mango/MangoRCP/src/org/eclipse/albireo/core/SwingControl.java
branches/mango/MangoRCP/src/org/eclipse/albireo/core/SwtKeystroke.java
branches/mango/MangoRCP/src/org/eclipse/albireo/core/SwtPopupRegistry.java
branches/mango/MangoRCP/src/org/eclipse/albireo/core/ThreadingHandler.java
branches/mango/MangoRCP/src/org/eclipse/albireo/internal/
branches/mango/MangoRCP/src/org/eclipse/albireo/internal/AwtDialogListener.java
branches/mango/MangoRCP/src/org/eclipse/albireo/internal/CleanResizeListener.java
branches/mango/MangoRCP/src/org/eclipse/albireo/internal/ComponentDebugging.java
branches/mango/MangoRCP/src/org/eclipse/albireo/internal/FocusDebugging.java
branches/mango/MangoRCP/src/org/eclipse/albireo/internal/FocusHandler.java
branches/mango/MangoRCP/src/org/eclipse/albireo/internal/GlobalFocusHandler.java
branches/mango/MangoRCP/src/org/eclipse/albireo/internal/Platform.java
branches/mango/MangoRCP/src/org/eclipse/albireo/internal/RunnableWithResult.java
branches/mango/MangoRCP/src/org/eclipse/albireo/internal/SwtInputBlocker.java
branches/mango/MangoRCP/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-20 17:49:22
|
Revision: 1297
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1297&view=rev
Author: frankrimlinger
Date: 2009-03-20 17:49:18 +0000 (Fri, 20 Mar 2009)
Log Message:
-----------
MangoRCP, second attempt
Added Paths:
-----------
branches/mango/MangoRCP/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-20 17:37:26
|
Revision: 1296
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1296&view=rev
Author: frankrimlinger
Date: 2009-03-20 17:37:17 +0000 (Fri, 20 Mar 2009)
Log Message:
-----------
deleted mangoRCP, need to start over with better package names
Removed Paths:
-------------
branches/mango/mangoRCP/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
