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: <pc...@us...> - 2009-04-04 02:07:36
|
Revision: 1378
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1378&view=rev
Author: pcorina
Date: 2009-04-04 02:07:35 +0000 (Sat, 04 Apr 2009)
Log Message:
-----------
example illustrating String handling (thanks Fujitsu)
Added Paths:
-----------
trunk/extensions/symbc/examples/StringTest.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-04-04 02:06:31
|
Revision: 1377
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1377&view=rev
Author: pcorina
Date: 2009-04-04 02:06:29 +0000 (Sat, 04 Apr 2009)
Log Message:
-----------
added new config option to enable lazy initialization (see [TACAS03] paper on Generalized symbolic execution for model checking and testing by khurshid et al.)
default is off
for now, lazy initialization works only for data structures 9there are problems with lib code and strings)
Modified Paths:
--------------
trunk/extensions/symbc/Readme
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-04-04 02:04:32
|
Revision: 1376
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1376&view=rev
Author: pcorina
Date: 2009-04-04 02:04:30 +0000 (Sat, 04 Apr 2009)
Log Message:
-----------
added creation of symbolic objects
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: <wv...@us...> - 2009-04-04 00:04:57
|
Revision: 1375
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1375&view=rev
Author: wvisser
Date: 2009-04-04 00:04:55 +0000 (Sat, 04 Apr 2009)
Log Message:
-----------
one more try; now that i know my password
Modified Paths:
--------------
trunk/extensions/symbolic/src/gov/nasa/jpf/symbolic/dp/Evaluator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wv...@us...> - 2009-04-03 23:15:39
|
Revision: 1374
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1374&view=rev
Author: wvisser
Date: 2009-04-03 23:15:38 +0000 (Fri, 03 Apr 2009)
Log Message:
-----------
test from my big laptop
Modified Paths:
--------------
trunk/extensions/symbolic/src/gov/nasa/jpf/symbolic/dp/Evaluator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-04-03 20:17:06
|
Revision: 1373
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1373&view=rev
Author: pcmehlitz
Date: 2009-04-03 20:16:59 +0000 (Fri, 03 Apr 2009)
Log Message:
-----------
* CHECKCAST does not have to touch the op stack at all - the previous version not only did unneccessary pop/push, but also lost attrs on the way
* added a comment to ThreadInfo.throwException reg. op stack reset upon handler transfer, so that I don't have to search the VM specs again
* two little path conversion checks (trailing File.separator) preventing AAOBs - thanks Nathan
* little HTMLPublisher XHTML tidying - thanks Nathan
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/Config.java
trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
trunk/src/gov/nasa/jpf/jvm/bytecode/CHECKCAST.java
trunk/src/gov/nasa/jpf/report/HTMLPublisher.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-03 18:55:14
|
Revision: 1372
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1372&view=rev
Author: frankrimlinger
Date: 2009-04-03 18:55:12 +0000 (Fri, 03 Apr 2009)
Log Message:
-----------
Finally settled on a robust configuration scheme which will allow Mango to deploy, configure and go with a minimum of disruption to the target project. Fixed numerous backend bugs, although a few still remain.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/control/action/input/LibraryJarsAction.java
branches/mango/Mango/Mango/src/mango/control/action/input/SourceDirsAction.java
branches/mango/Mango/Mango/src/mango/control/msg/LoadClassFileDataRequestMsg.java
branches/mango/Mango/Mango/src/mango/core/gui/action/SaveCoreRuleBaseAction.java
branches/mango/Mango/Mango/src/mango/rmi/file/MangoFilePacket.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/Mango/Mango/src/mango/util/FileSystem.java
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/Mango/src/mango/workstation/preferences/WorkstationProfile.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/src/mango/intro/ConfigurationDetails.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
branches/mango/Mango/src/mango/views/LogWindow.java
branches/mango/Mango/src/mango/views/WorkstationWindow.java
Removed Paths:
-------------
branches/mango/Mango/local/
branches/mango/Mango/mangoUserHome/crazy/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-03 18:51:48
|
Revision: 1371
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1371&view=rev
Author: frankrimlinger
Date: 2009-04-03 18:51:47 +0000 (Fri, 03 Apr 2009)
Log Message:
-----------
build of System jar.
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/system/input/jarBuild
Removed Paths:
-------------
branches/mango/Mango/mangoUserHome/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-04-03 18:50:31
|
Revision: 1370
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1370&view=rev
Author: frankrimlinger
Date: 2009-04-03 18:50:24 +0000 (Fri, 03 Apr 2009)
Log Message:
-----------
build of loop baseline jar.
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/rkrug/input/jar/
branches/mango/Mango/mangoUserHome/rkrug/input/jar/baseline.jar
branches/mango/Mango/mangoUserHome/rkrug/input/jarBuild
Removed Paths:
-------------
branches/mango/Mango/mangoUserHome/rkrug/input/build
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-03 15:40:40
|
Revision: 1369
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1369&view=rev
Author: frankrimlinger
Date: 2009-04-03 15:40:30 +0000 (Fri, 03 Apr 2009)
Log Message:
-----------
Changing "local" directory to "mangoUserHome". This is a more descriptive name which is much less likely to conflict with an existing ambient namespace.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/control/action/input/LibraryJarsAction.java
branches/mango/Mango/Mango/src/mango/control/action/input/RuleBaseAction.java
branches/mango/Mango/Mango/src/mango/control/action/input/SourceDirsAction.java
branches/mango/Mango/Mango/src/mango/control/action/input/TargetJarsAction.java
branches/mango/Mango/Mango/src/mango/control/msg/LoadClassFileDataRequestMsg.java
branches/mango/Mango/Mango/src/mango/control/msg/SetSourceDirectoryRequestMsg.java
branches/mango/Mango/Mango/src/mango/core/gui/action/PrintAbstractionsAction.java
branches/mango/Mango/Mango/src/mango/script/MangoScriptResource.java
branches/mango/Mango/Mango/src/mango/script/MangoScriptSourceDirectory.java
branches/mango/Mango/Mango/src/mango/util/FileSystem.java
branches/mango/Mango/Mango/src/mango/worker/javaModel/classParser/ClassModel.java
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/src/mango/intro/ConfigurationDetails.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
branches/mango/Mango/src/mango/views/WorkstationWindow.java
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/
branches/mango/Mango/mangoUserHome/crazy/
branches/mango/Mango/mangoUserHome/system/input/
Removed Paths:
-------------
branches/mango/Mango/local/system/input/
branches/mango/Mango/local/system/rules/
branches/mango/Mango/local/system/sessions/
branches/mango/Mango/mangoUserHome/system/input/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-03 15:39:01
|
Revision: 1368
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1368&view=rev
Author: frankrimlinger
Date: 2009-04-03 15:38:52 +0000 (Fri, 03 Apr 2009)
Log Message:
-----------
Changing "local" directory to "mangoUserHome". This is a more descriptive name which is much less likely to conflict with an existing ambient namespace.
Removed Paths:
-------------
branches/mango/Mango/local/crazy/
branches/mango/Mango/local/frank/
branches/mango/Mango/local/rkrug/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-03 13:54:57
|
Revision: 1367
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1367&view=rev
Author: frankrimlinger
Date: 2009-04-03 13:54:50 +0000 (Fri, 03 Apr 2009)
Log Message:
-----------
Build of system binary in new "System Home" relative location.
Modified Paths:
--------------
branches/mango/Mango/local/system/input/.settings/org.eclipse.jdt.core.prefs
branches/mango/Mango/local/system/input/make
Added Paths:
-----------
branches/mango/Mango/local/system/input/jar/
branches/mango/Mango/local/system/input/jar/system.jar
branches/mango/Mango/local/system/input/jar/systemTests.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-03 03:56:35
|
Revision: 1366
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1366&view=rev
Author: frankrimlinger
Date: 2009-04-03 03:56:31 +0000 (Fri, 03 Apr 2009)
Log Message:
-----------
Introductory pages on "Specification" and "Proof Artifacts" now work correctly. Added auto-login mechanism, in both configuration dialog and preference page. All RCP functionality introduced to date is now working correctly. There is much more RCP stuff to do, and it does add value, but for now, enough is enough. Backend clean up of configuration data, and then stable rewriting. Time to get back on track.
Modified Paths:
--------------
branches/mango/Mango/.settings/org.eclipse.jdt.core.prefs
branches/mango/Mango/content/mango.xhtml
branches/mango/Mango/content/mango1.xhtml
branches/mango/Mango/introContent.xml
branches/mango/Mango/plugin.xml
branches/mango/Mango/src/mango/intro/Application.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
Added Paths:
-----------
branches/mango/Mango/content/mango2.xhtml
Removed Paths:
-------------
branches/mango/Mango/content/concept1.xhtml
branches/mango/Mango/content/concept2.xhtml
branches/mango/Mango/content/root.xhtml
branches/mango/Mango/src/FileDialogExample.java
branches/mango/Mango/src/FileDialogExperiment.java
branches/mango/Mango/src/InputDialog.java
branches/mango/Mango/src/SWTMessageBoxExample.java
branches/mango/Mango/src/ShowDirectoryDialog.java
branches/mango/Mango/src/ShowDirectoryDialogExperiment.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-02 19:01:13
|
Revision: 1365
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1365&view=rev
Author: frankrimlinger
Date: 2009-04-02 19:01:06 +0000 (Thu, 02 Apr 2009)
Log Message:
-----------
Configuration deletion now working correctly. Decided to do the initial welcome screen, to explain about "Specification" and "Proof Artifacts". I can get individual html thingies working, but for some reason the original "Concept1" and "Concept2" are still loading at runtime. Need to figure this out.
Modified Paths:
--------------
branches/mango/Mango/Mango.product
branches/mango/Mango/introContent.xml
branches/mango/Mango/plugin.xml
branches/mango/Mango/src/mango/intro/Application.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
Added Paths:
-----------
branches/mango/Mango/content/
branches/mango/Mango/content/concept1.xhtml
branches/mango/Mango/content/concept2.xhtml
branches/mango/Mango/content/link_obj.gif
branches/mango/Mango/content/mango.xhtml
branches/mango/Mango/content/mango1.xhtml
branches/mango/Mango/content/root.css
branches/mango/Mango/content/root.xhtml
branches/mango/Mango/content/shared.css
branches/mango/Mango/content/titlebanner.gif
branches/mango/Mango/local/crazy/
branches/mango/Mango/local/crazy/input/
branches/mango/Mango/local/crazy/rules/
branches/mango/Mango/local/crazy/sessions/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-04-02 02:22:25
|
Revision: 1363
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1363&view=rev
Author: pcorina
Date: 2009-04-02 01:34:51 +0000 (Thu, 02 Apr 2009)
Log Message:
-----------
improved printing of effects on the heap
Modified Paths:
--------------
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: <pc...@us...> - 2009-04-02 02:22:11
|
Revision: 1364
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1364&view=rev
Author: pcorina
Date: 2009-04-02 01:35:31 +0000 (Thu, 02 Apr 2009)
Log Message:
-----------
Improved printing of symbolic fields
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-02 01:30:05
|
Revision: 1362
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1362&view=rev
Author: frankrimlinger
Date: 2009-04-02 01:29:58 +0000 (Thu, 02 Apr 2009)
Log Message:
-----------
Fixed numerous bugs associated with initial configuration and creation of a user's Data, System and Mango "homes". Standardized all dialogs with SWT, which is now working perfectly on M6. Saving and reloading configuration preferences is now very flexible and fault-tolerant. Remains to get preference deletion working, need appropriate call to Preferences.removeNode() whenever a deletion occurs. Otherwise lose sync with persistent storage. Need to fix a few back end configuration issues, and convert all directory finders to SWT. Configuration is now orders of magnitude more user friendly, removing a major stumbling block to enticing would be users. Of course, content is also required. Need to finish stable rewriting upgrade, then generate all test and system sessions, and start folding in jpf stuff.
Modified Paths:
--------------
branches/mango/Mango/META-INF/MANIFEST.MF
branches/mango/Mango/Mango.product
branches/mango/Mango/build.properties
branches/mango/Mango/plugin.xml
branches/mango/Mango/plugins/Mango_Jars_1.0.0.jar
branches/mango/Mango/src/mango/intro/Application.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
Added Paths:
-----------
branches/mango/Mango/OSGI-INF/
branches/mango/Mango/OSGI-INF/l10n/
branches/mango/Mango/OSGI-INF/l10n/bundle.properties
branches/mango/Mango/eclipse/
branches/mango/Mango/eclipse/.eclipseproduct
branches/mango/Mango/eclipse/Eclipse.app/
branches/mango/Mango/eclipse/Eclipse.app/Contents/
branches/mango/Mango/eclipse/Eclipse.app/Contents/Info.plist
branches/mango/Mango/eclipse/Eclipse.app/Contents/MacOS/
branches/mango/Mango/eclipse/Eclipse.app/Contents/MacOS/eclipse
branches/mango/Mango/eclipse/Eclipse.app/Contents/Resources/
branches/mango/Mango/eclipse/configuration/
branches/mango/Mango/eclipse/configuration/config.ini
branches/mango/Mango/eclipse/plugins/
branches/mango/Mango/eclipse/plugins/Mango_1.0.0.jar
branches/mango/Mango/eclipse/plugins/Mango_Jars_1.0.0.jar
branches/mango/Mango/eclipse/plugins/com.ibm.icu_4.0.1.v20090109.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.commands_3.5.0.I20081202-0800.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.contenttype_3.4.0.v20090302.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.databinding.observable_1.2.0.I20090311-1800.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.databinding.property_1.2.0.I20090311-1800.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.databinding_1.2.0.I20090309-1300.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.expressions_3.4.100.v20090311-0800.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.jobs_3.4.100.v20090213.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/META-INF/
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/META-INF/ECLIPSEF.RSA
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/META-INF/ECLIPSEF.SF
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/META-INF/MANIFEST.MF
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/META-INF/eclipse.inf
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/about.html
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/fragment.properties
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026/runtime_registry_compatibility.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.core.runtime_3.5.0.v20090306.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.app_1.2.0.v20090306-1900.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.common_3.5.0.v20090310-1800.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/META-INF/
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/META-INF/ECLIPSEF.RSA
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/META-INF/ECLIPSEF.SF
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/META-INF/MANIFEST.MF
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/META-INF/eclipse.inf
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/about.html
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/eclipse_1203.so
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900/launcher.cocoa.macosx.x86_64.properties
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.launcher_1.0.200.v20090306-1900.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.preferences_3.2.300.v20090306-1900.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.equinox.registry_3.4.100.v20090306-1900.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.help_3.4.0.v20090302.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.jface.databinding_1.3.0.I20090310-0100.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.jface_3.5.0.I20090313-0100.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.osgi_3.5.0.v20090311-1300.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.swt.cocoa.macosx.x86_64_3.5.0.v3536b.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.swt_3.5.0.v3536b.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.ui.cocoa_1.0.0.I20090120-1425.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.ui.forms_3.4.0.v20090223.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.ui.intro_3.3.0.v20090302.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.ui.workbench_3.5.0.v20090311-0100b.jar
branches/mango/Mango/eclipse/plugins/org.eclipse.ui_3.5.0.I20090313-0100.jar
branches/mango/Mango/logs.zip
branches/mango/Mango/plugins/Mango_1.0.0.jar
branches/mango/Mango/repository/
branches/mango/Mango/repository/artifacts.jar
branches/mango/Mango/repository/binary/
branches/mango/Mango/repository/binary/Mango.product.launcher.cocoa.macosx.x86_64_1.0.0
branches/mango/Mango/repository/binary/org.eclipse.launcher_Eclipse.app_1.0.0
branches/mango/Mango/repository/content.jar
branches/mango/Mango/repository/plugins/
branches/mango/Mango/repository/plugins/Mango_1.0.0.jar
branches/mango/Mango/repository/plugins/Mango_Jars_1.0.0.jar
branches/mango/Mango/repository/plugins/com.ibm.icu_4.0.1.v20090109.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.commands_3.5.0.I20081202-0800.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.contenttype_3.4.0.v20090302.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.databinding.observable_1.2.0.I20090311-1800.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.databinding.property_1.2.0.I20090311-1800.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.databinding_1.2.0.I20090309-1300.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.expressions_3.4.100.v20090311-0800.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.jobs_3.4.100.v20090213.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.runtime.compatibility.registry_3.2.200.v20081026.jar
branches/mango/Mango/repository/plugins/org.eclipse.core.runtime_3.5.0.v20090306.jar
branches/mango/Mango/repository/plugins/org.eclipse.equinox.app_1.2.0.v20090306-1900.jar
branches/mango/Mango/repository/plugins/org.eclipse.equinox.common_3.5.0.v20090310-1800.jar
branches/mango/Mango/repository/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.0.0.v20090306-1900.jar
branches/mango/Mango/repository/plugins/org.eclipse.equinox.launcher_1.0.200.v20090306-1900.jar
branches/mango/Mango/repository/plugins/org.eclipse.equinox.preferences_3.2.300.v20090306-1900.jar
branches/mango/Mango/repository/plugins/org.eclipse.equinox.registry_3.4.100.v20090306-1900.jar
branches/mango/Mango/repository/plugins/org.eclipse.help_3.4.0.v20090302.jar
branches/mango/Mango/repository/plugins/org.eclipse.jface.databinding_1.3.0.I20090310-0100.jar
branches/mango/Mango/repository/plugins/org.eclipse.jface_3.5.0.I20090313-0100.jar
branches/mango/Mango/repository/plugins/org.eclipse.osgi_3.5.0.v20090311-1300.jar
branches/mango/Mango/repository/plugins/org.eclipse.swt.cocoa.macosx.x86_64_3.5.0.v3536b.jar
branches/mango/Mango/repository/plugins/org.eclipse.swt_3.5.0.v3536b.jar
branches/mango/Mango/repository/plugins/org.eclipse.ui.cocoa_1.0.0.I20090120-1425.jar
branches/mango/Mango/repository/plugins/org.eclipse.ui.forms_3.4.0.v20090223.jar
branches/mango/Mango/repository/plugins/org.eclipse.ui.intro_3.3.0.v20090302.jar
branches/mango/Mango/repository/plugins/org.eclipse.ui.workbench_3.5.0.v20090311-0100b.jar
branches/mango/Mango/repository/plugins/org.eclipse.ui_3.5.0.I20090313-0100.jar
Removed Paths:
-------------
branches/mango/Mango/src/mango/intro/BasicLoginDialog.java
branches/mango/Mango/src/mango/intro/InquiryDialog.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/AdapterFactory.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/AddContactAction.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/AddContactDialog.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/Application.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ApplicationActionBarAdvisor.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ApplicationWorkbenchAdvisor.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ApplicationWorkbenchWindowAdvisor.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/BasicLoginDialog.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ChatAction.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ChatEditor.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ChatEditorInput.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/ContactsView.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/GeneralPreferencePage.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/HyperbolaContentProvider.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/HyperbolaLabelProvider.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/IImageKeys.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/LoginDialog.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/Perspective.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/PreferenceInitializer.java
branches/mango/Mango/src/org/eclipsercp/hyperbola/model/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-04-01 18:35:41
|
Revision: 1360
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1360&view=rev
Author: pcmehlitz
Date: 2009-04-01 18:35:38 +0000 (Wed, 01 Apr 2009)
Log Message:
-----------
* running a selected Test..JPF in NetBeans has to depend on the "compile-tests" ant target
* added some more java.io.File peer methods + tests (thanks Taehoon)
Somebody should really make this more efficient, and look into a backtrackable filesystem model
Modified Paths:
--------------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_io_File.java
trunk/nbproject/ide-file-targets.xml
trunk/test/gov/nasa/jpf/jvm/TestFileIO.java
trunk/test/gov/nasa/jpf/jvm/TestFileIOJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-01 07:06:43
|
Revision: 1357
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1357&view=rev
Author: frankrimlinger
Date: 2009-04-01 07:06:34 +0000 (Wed, 01 Apr 2009)
Log Message:
-----------
Initial import.
Added Paths:
-----------
branches/mango/Mango/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-01 06:38:20
|
Revision: 1356
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1356&view=rev
Author: frankrimlinger
Date: 2009-04-01 06:38:12 +0000 (Wed, 01 Apr 2009)
Log Message:
-----------
Downloaded the latest version of Galileo. WOW! eclipse-SDK-3.5M6-macosx-cocoa-x86_64 is a dream come true. Subclipse installs without crashing Eclipse on reboot. The search window doesn't crash during large searches. Overall sluggishness is gone. Vastly improved SVN performance. The debugger doesn't hang or crash when stepping through dialog code. SWTMessageBoxExample now gets the right value back from OS.objc_msgSend(), which is awesome. Best of all, tabbing in a dialog no longer causes the last character in a Text box to be dropped.
However, everything comes with a price. In this case, a clean reconstruction of the plugin and product meta-data from scratch. To get a fresh start, I am deleting the Mango project and reloading the rebuilt M6 version. Hopefully this is the last time I need to do this.
Removed Paths:
-------------
branches/mango/Mango/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-31 21:31:36
|
Revision: 1355
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1355&view=rev
Author: frankrimlinger
Date: 2009-03-31 21:31:35 +0000 (Tue, 31 Mar 2009)
Log Message:
-----------
Still working on preferences. Having trouble deleting a configuration from persistent storage. Problem is probably due to last user setting. It is important to distinguish between stale code, due to the shift of RCP to OSGI, and unripe code, due to using Galileo and especially the SWT implementation for 64bit cocoa. Some Next Step interfaces in the Cocoa layer just aren't hooked up correctly yet. But certainly the whole preferences idea is great, because it provides a pattern for layering in jpf functionality in a exposed, documented way. The idea is to use the help plugins to document usage with jpf preferences. All this is not too far down the road.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/util/FileSystem.java
branches/mango/Mango/Mango/src/mango/workstation/RuleResourceManager.java
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/plugin.xml
branches/mango/Mango/src/SWTMessageBoxExample.java
branches/mango/Mango/src/mango/intro/Application.java
branches/mango/Mango/src/mango/intro/InquiryDialog.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
Added Paths:
-----------
branches/mango/Mango/src/mango/intro/ConfigurationDetails.java
branches/mango/Mango/src/mango/preferences/
branches/mango/Mango/src/mango/preferences/GeneralPreferencePage.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-31 11:55:34
|
Revision: 1354
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1354&view=rev
Author: frankrimlinger
Date: 2009-03-31 11:55:25 +0000 (Tue, 31 Mar 2009)
Log Message:
-----------
Mango configuration dialogs to verify/create old/new user working correctly now, if ugly looking. Still need some backend cleanup in the code to swallow the new data correctly. Then defaults and preferences stuff, and back to work.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
Removed Paths:
-------------
branches/mango/Mango/local/input/
branches/mango/Mango/local/rules/
branches/mango/Mango/local/sessions/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-31 04:10:29
|
Revision: 1353
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1353&view=rev
Author: frankrimlinger
Date: 2009-03-31 04:10:24 +0000 (Tue, 31 Mar 2009)
Log Message:
-----------
For some reason, the MessageDialog doesn't work. There seems to be a lot of stale code out there in the interent. Wrote an ugly but functional InquiryDialog class. Still needs some clean up. Then the preference page and this business is done. All of this just to eliminate the command line. Still, the command line can be a formidable barrier to all those who don't know what VT100 means.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/src/mango/intro/Application.java
Added Paths:
-----------
branches/mango/Mango/src/mango/intro/InquiryDialog.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <jt...@us...> - 2009-03-30 21:22:26
|
Revision: 1352
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1352&view=rev
Author: jtzwu
Date: 2009-03-30 21:22:11 +0000 (Mon, 30 Mar 2009)
Log Message:
-----------
remove optionsdoc from sourcepath and remove tools.jar from required libraries
Modified Paths:
--------------
trunk/.classpath
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-30 19:10:26
|
Revision: 1351
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1351&view=rev
Author: frankrimlinger
Date: 2009-03-30 19:10:05 +0000 (Mon, 30 Mar 2009)
Log Message:
-----------
Mango configuration dialog/preferences in progress. SWT is lightweight in the extreme, so everything just works, except when it doesn't. Have noticed that tabbing or clicking causes the last character of a Text widget to be dropped. I assume this is a bug in the 64bit Cocoa implementation of SWT that is going to be fixed by the time Galileo is released. Aside from that, the sailing is pretty smooth.
Modified Paths:
--------------
branches/mango/Mango/src/mango/intro/LoginDialog.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
