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-06-11 20:50:49
|
Revision: 1613
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1613&view=rev
Author: frankrimlinger
Date: 2009-06-11 20:50:47 +0000 (Thu, 11 Jun 2009)
Log Message:
-----------
Still working on wonderfully subtle rewriting bug in MangoJPF. Fortunately, a comparison with Mango yields a unification failure very early on. Detailed analysis of exactly what the unifier does in the two different programs is in progress. To reproduce, open the itsAWrap.main predicate transformer in a separate window, then
1. opening up to the first codeSym
2. unconditionally rewrite codeSym
3. turn on hits
4. unconditionally rewrite (o codeSym pathSym)
The trouble is that when pathSym is interpreted, it is supposed to be typed as state. This typing never kicks in MangoJPF, so composition doesn't fire, and the day is lost.
Why?
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/Mango/Mango/src/mango/worker/engine/unifier/ActionCallBack.java
branches/mango/Mango/Mango/src/mango/worker/engine/unifier/UnifyEvent.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/MangoJPF/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/MangoJPF/Mango/src/mango/worker/engine/unifier/ActionCallBack.java
branches/mango/MangoJPF/Mango/src/mango/worker/engine/unifier/UnifyEvent.java
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/frank/sessions/baseline/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-11 04:15:10
|
Revision: 1612
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1612&view=rev
Author: frankrimlinger
Date: 2009-06-11 04:14:05 +0000 (Thu, 11 Jun 2009)
Log Message:
-----------
Converted script file dialogs to SWT, which has very nice native look-and-feel. Got auto-save of scripts working properly, so now the automation of session tear down and start up is complete. Regression testing will now be much more pleasant and full automation of regression testing is easily within reach. But for now, just want to regenerate all the existing baseline sessions.
So, back to the rewriting bug. Why doesn't ItsAWrap.clear work? Just compare Mango versus MangoJPF to figure this out. Something is slightly wrong here.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/core/gui/action/SaveCoreRuleBaseAction.java
branches/mango/MangoJPF/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/SaveScriptMsg.java
branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
branches/mango/MangoJPF/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_1_Code_01/op0 is less than 10.zip
Added Paths:
-----------
branches/mango/MangoJPF/Mango/src/mango/worker/PayloadRunnable.java
Removed Paths:
-------------
branches/mango/MangoJPF/mangoUserHome/frank/sessions/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-10 23:22:41
|
Revision: 1611
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1611&view=rev
Author: staats
Date: 2009-06-10 23:22:35 +0000 (Wed, 10 Jun 2009)
Log Message:
-----------
added multi-core and beginning of multi-comp JPF
Modified Paths:
--------------
trunk/extensions/complexcoverage/test/ComplexCoverage MultiProcess JPF.launch
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManager.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManagerInterface.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiJPFListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/JPFProcess.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/MultiJPFMonitor.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/MultiProcessJPF.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/multicore/MultiThreadJPF.java
Removed Paths:
-------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFProcess.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiJPFMonitor.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiProcessJPF.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiThreadJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sb...@us...> - 2009-06-10 22:45:47
|
Revision: 1610
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1610&view=rev
Author: sbadame
Date: 2009-06-10 22:45:39 +0000 (Wed, 10 Jun 2009)
Log Message:
-----------
New Take on RunJPF:
RunJPF is now going to serve only as a Netbeans plugin to help users to configure and launch a JPF process. Displaying results is now going to be job of Publishers/Shells for JPF. This is the first step in this movement. RunJPF will become agnostic to the results of JPF. RunJPF will only serve as a catalyst for launching JPF.
Big Changes:
Modify Properties of RunJPF by going through the Tools->Options->Misc->Java Pathfinder
TopicPublisher and ProgressTracker aren't enabled by default. They'll be gone soon.
New Classes:
* New JPFProperties class - Stores the user defined values such as JPF classpath and vm.bootclasspath
* PathListPanel - JPanel that allows users to edit a list of classpath entries
* MainPanel - The options panel displayed to the user
* MainOptionsPanelController - A fluffy class that Netbeans created and that's probably needed for something
RunJPF.java was basically completely rewritten and could probably use a good cleaning.
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/nbproject/genfiles.properties
trunk/ide/netbeans/RunJPF/nbproject/project.properties
trunk/ide/netbeans/RunJPF/nbproject/project.xml
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigDataObject.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/RunJPF.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/annotation/AnnotationParser.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/layer.xml
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/progress/ProgressTrackerTopComponent.form
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/progress/ProgressTrackerTopComponent.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/topicpublisher/TopicPublisher.java
Added Paths:
-----------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFProperties.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/Bundle.properties
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/MainOptionsPanelController.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/MainPanel.form
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/MainPanel.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/PathListPanel.form
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/options/PathListPanel.java
Property Changed:
----------------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-10 20:33:30
|
Revision: 1609
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1609&view=rev
Author: frankrimlinger
Date: 2009-06-10 20:33:26 +0000 (Wed, 10 Jun 2009)
Log Message:
-----------
The jpf scan is now correct the second time around, at least it produces the same statistics as the first time, which is to be expected. THe backup alg also looks good, both phase1 and 2. However, ItsAWrap.clear fails to rewrite. Not sure why, but same error occurs even if the rule base is saved and read in cold in a new Mango app, so certainly not a "second time" issue.
Also, deleted legacy stuff, this is not going to be useful.
Introduced distinct rulebase and session save prefs. Working on auto session save. This is complicated by the need to involve the user if the "plausible" directory for the session is not available, or if the session already exists.
Modified Paths:
--------------
branches/mango/Mango/ThreadSupport/src/threadModel/SystemBuilder.java
branches/mango/MangoJPF/Mango/src/mango/module/definition/msg/CoalesceStandingHypothesesMsg.java
branches/mango/MangoJPF/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/MangoJPF/Mango/src/mango/script/model/MangoSafeModel.java
branches/mango/MangoJPF/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/AutoResetMsg.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/RulebaseMsg.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/CodeSurvey.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
branches/mango/MangoJPF/src/mango/preferences/GeneralPreferencePage.java
Added Paths:
-----------
branches/mango/MangoJPF/Mango/src/mango/worker/msg/SaveScriptMsg.java
Removed Paths:
-------------
branches/mango/MangoJPF/Mango/src/mango/worker/msg/ResetMsg.java
branches/mango/legacy/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-10 17:01:58
|
Revision: 1608
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1608&view=rev
Author: frankrimlinger
Date: 2009-06-10 17:01:44 +0000 (Wed, 10 Jun 2009)
Log Message:
-----------
Auto rulebase save after the session closes is now working, and the jpf scan completes. However, jpf didn't visit all the places it was supposed to, which causes a crash in phase1. Probably there is some stale data controlling backtracking that needs to be reinitialized prior to the scan.
Need to have ObjectDirtinessManager keep track of the script, and split the auto save preference into two different preferences. There is significant latency, about 5 or ten seconds, to save the rulebase, so may want to opt out.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/core/CoreMangoObject.java
branches/mango/MangoJPF/Mango/src/mango/core/gui/action/SaveCoreRuleBaseAction.java
branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/RulebaseMsg.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-10 15:13:23
|
Revision: 1607
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1607&view=rev
Author: frankrimlinger
Date: 2009-06-10 15:13:17 +0000 (Wed, 10 Jun 2009)
Log Message:
-----------
Auto reset now works hot when the definition window is closed if the auto reset preference is set. This involved some delicate negotiation to avoid deadlock. But what is really cool is that running a session will close the definition window, which kicks the auto-reset, which creates a new rulebase worker image and fires up jpf, which gets all the way to the INVOKETARGET bug. Thus with just a roster of session names, regression testing can be automated using the existing auto threads. So all the old rmi database stuff can be disposed of.
In other news, there is a crash when you alter preferences in the login window. It is actually a race condition, sometimes resulting in access of inconsistent preference state (it can't be duplicated if you step through with debugger- a fun bug). The workaround is just turn on auto-login from the preference panel after you make your change. Then start again after crash and all-is-well. Clearly this should be fixed someday, or hopefully this bug will go away in a future RCP update.
At this point, we should honor the auto-save preference, saving both rulebase and session (if dirty) when auto reset kicks. The rulebase save must block, to avoid issues, so make it its own PermCommand on the auto thread.
Since the session save is much faster than the rulebase, and more important, probably want two separate preferences here.
Finally, fix the INVOKETARGET bug and start some serious testing.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/control/action/control/StopWorkerAction.java
branches/mango/MangoJPF/Mango/src/mango/control/action/control/WorkerAction.java
branches/mango/MangoJPF/Mango/src/mango/module/definition/msg/CoalesceStandingHypothesesMsg.java
branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/NewWorkerMsg.java
branches/mango/MangoJPF/ThreadSupport/src/threadModel/CommandState.java
branches/mango/MangoJPF/ThreadSupport/src/threadModel/SystemBuilder.java
Added Paths:
-----------
branches/mango/MangoJPF/Mango/src/mango/worker/msg/AutoResetMsg.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-10 05:37:22
|
Revision: 1606
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1606&view=rev
Author: frankrimlinger
Date: 2009-06-10 05:36:22 +0000 (Wed, 10 Jun 2009)
Log Message:
-----------
Worked through a thicket of model/view issues and deadlock issues, and got automated reset to rebuild the worker threads, rebuild the worker rulebase image, and fire up jpf for another round. This was done very cleanly by having the reset command check for autoReset, and if so, calling the RuleBaseMsg with the worker image selector, per design.
Next bug, INVOKETARGET gets confused during initialization the second time around.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/control/action/control/StopWorkerAction.java
branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
branches/mango/MangoJPF/Mango/src/mango/worker/WorkerControl.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/NewWorkerMsg.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/RulebaseMsg.java
branches/mango/MangoJPF/ThreadSupport/src/threadModel/Command.java
branches/mango/MangoJPF/ThreadSupport/src/threadModel/CommandState.java
branches/mango/MangoJPF/ThreadSupport/src/threadModel/Commander.java
branches/mango/MangoJPF/ThreadSupport/src/threadModel/PermCommand.java
branches/mango/MangoJPF/ThreadSupport/src/threadModel/SystemBuilder.java
branches/mango/MangoJPF/src/mango/views/GlobalViewWindow.java
Added Paths:
-----------
branches/mango/MangoJPF/Mango/src/mango/worker/GlobalViewModel.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-06-09 17:31:14
|
Revision: 1605
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1605&view=rev
Author: pcmehlitz
Date: 2009-06-09 17:31:07 +0000 (Tue, 09 Jun 2009)
Log Message:
-----------
* Date.toString() conversion native method, to avoid a lot of Calendar and TimeZone overhead
Modified Paths:
--------------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_Date.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-09 02:29:38
|
Revision: 1604
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1604&view=rev
Author: frankrimlinger
Date: 2009-06-09 02:28:55 +0000 (Tue, 09 Jun 2009)
Log Message:
-----------
Moved stuff out of MangoScriptWindow into MangoScriptModel, with good results. Stability has improved and loop session "op0 is less than 10" saved to the correct directory.
If you can't think MVC, well, at least think MV. In RCP, the view is very ephemeral, so it really can't have any state. That is why there ALWAYS has to be a model.
Next bug: reset is not working properly. This is not too surprising, as we need to think about how the game is played in the new threading world with two groups of mango threads. Recall the new group at the lowest priority is to control automation. The situation now is that we run automated until it is time to pick a module for abstraction, and the we switch over to manual control. Its going to be a while before Mango gets to fly solo, so the first order of business is to figure out how to reset and switch back to auto control.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/control/action/window/ScriptAction.java
branches/mango/MangoJPF/Mango/src/mango/module/definition/action/CloseCaseAction.java
branches/mango/MangoJPF/Mango/src/mango/script/gui/action/ScriptDownAction.java
branches/mango/MangoJPF/Mango/src/mango/script/gui/action/ScriptOpenAction.java
branches/mango/MangoJPF/Mango/src/mango/script/gui/action/ScriptRemoveAction.java
branches/mango/MangoJPF/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/MangoJPF/Mango/src/mango/script/gui/action/ScriptSelectAllAction.java
branches/mango/MangoJPF/Mango/src/mango/script/gui/action/ScriptUpAction.java
branches/mango/MangoJPF/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/MangoJPF/Mango/src/mango/script/util/MangoScriptUtilities.java
branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
branches/mango/MangoJPF/src/mango/views/MangoScriptWindow.java
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_1_Code_01/op0 is less than 10.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-08 11:32:23
|
Revision: 1603
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1603&view=rev
Author: frankrimlinger
Date: 2009-06-08 11:31:57 +0000 (Mon, 08 Jun 2009)
Log Message:
-----------
You must build models for the various SWT windows, because the user now decides whether or not they are open. The old trick of making them invisible no longer applies. In particular, MangoScriptWindow.setViewTitle is a dog. You probably just want a field within the model to have the name. And then when you save the script, use this field as the title.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/MangoJPF/Mango/src/mango/tree/model/FolderViewer.java
branches/mango/MangoJPF/src/mango/views/MangoScriptWindow.java
Added Paths:
-----------
branches/mango/MangoJPF/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_1_Code_01/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-06 07:17:48
|
Revision: 1602
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1602&view=rev
Author: frankrimlinger
Date: 2009-06-06 07:17:40 +0000 (Sat, 06 Jun 2009)
Log Message:
-----------
2D graphs now working for both Mango and MangoJPF. Controlled by static flag in Mango, which is so Stone Age, and by prefernece in MangoJPF, which is nice because it is "hot" in that preference change is reflected if containing folder is closed and reopened.
Modified Paths:
--------------
branches/mango/Mango/META-INF/MANIFEST.MF
branches/mango/Mango/Mango/src/mango/worker/Mango.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperBlowUpSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperEntrySym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperLoopSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperStrataSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperBlowUpSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperEntrySym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperLoopSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperStrataSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
branches/mango/MangoJPF/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-06-06 06:06:21
|
Revision: 1601
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1601&view=rev
Author: frankrimlinger
Date: 2009-06-06 06:06:13 +0000 (Sat, 06 Jun 2009)
Log Message:
-----------
fixed various issues with 2D graph display in Mango and MangoJPF. Now MangoJPF is displaying all the graphs, but really there needs to be preference to get all graph, as this is a nuisance for regression testing. Also Mango needs to get the 2D treatment too.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/graph/data/ucon/UconData.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperEntrySym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
branches/mango/MangoJPF/Mango/src/mango/graph/data/ucon/UconData.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/edge/Edge.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/Graph.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/GraphicSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperBlowUpSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperLoopSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperStrataSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/ucon/AlphaSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/msg/ShowTypeRequestMsg.java
Added Paths:
-----------
branches/mango/legacy/destiny.input/.project
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-06 04:23:27
|
Revision: 1600
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1600&view=rev
Author: staats
Date: 2009-06-06 04:23:24 +0000 (Sat, 06 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/RandomizedSymbolicSearch.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/TrimAndReorderSymbolicSearch.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsGeneral.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsHAMPI.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsJSA.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-06 03:54:21
|
Revision: 1599
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1599&view=rev
Author: staats
Date: 2009-06-06 03:54:20 +0000 (Sat, 06 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/PathTrimSymbolicSearch.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/RandomizedSymbolicSearch.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ReorderingSymbolicSearch.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/TrimAndReorderSymbolicSearch.java
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Normal.launch
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFProcess.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiJPFMonitor.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiProcessJPF.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MultiThreadJPF.java
trunk/extensions/complexcoverage/test/ComplexCoverage MultiProcess JPF.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-05 15:57:12
|
Revision: 1598
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1598&view=rev
Author: frankrimlinger
Date: 2009-06-05 15:57:05 +0000 (Fri, 05 Jun 2009)
Log Message:
-----------
First successful Mango loop abstraction powered by the jpf simulation mechanism, in particular for the itsAWrap.clear loop. This is commemorated in the picture "successful port" which shows the jpf simulation output and the formal expression for the loop body side-by-side.
Many many risks are now retired. The next step is to figure out how to drive the rewriter itself from the jpf simulator, leveraging the backtracking mechanism to eliminate the horrible stratification of phase2.
But really and truly it is first time to rehabilitate the 2D graphics and regenerate all the regressions on the new platform.
Modified Paths:
--------------
branches/mango/MangoJPF/.settings/org.eclipse.jdt.core.prefs
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
Added Paths:
-----------
branches/mango/MangoJPF/successful port.tiff
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-05 00:47:58
|
Revision: 1597
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1597&view=rev
Author: frankrimlinger
Date: 2009-06-05 00:47:40 +0000 (Fri, 05 Jun 2009)
Log Message:
-----------
Fixed a few bugs. Blowups now appear to be working, and predicate transformers appear to be computed correctly. Method names are fixed. Next is to get graph display of methods and strata. It is important to see the graphs, to know what is really happening, especially since all this is going to change when jpf gets wired into the rewriter.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/script/util/MangoScriptUtilities.java
branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/edge/BackupEdge.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/edge/Edge.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/edge/Espec.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/Graph.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/LoopGraph.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/StrataGraph.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/SuperVertexClassSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/reflection/StateSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperBlowUpSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperCpnSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperLoopSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperStrataSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/ucon/UconSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/AcyclicVertex.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/LoopVertex.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInterface.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ACATCHHANDLER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWHANDLER.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-04 18:42:02
|
Revision: 1596
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1596&view=rev
Author: staats
Date: 2009-06-04 18:41:54 +0000 (Thu, 04 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile2.java
Added Paths:
-----------
trunk/extensions/complexcoverage/test/ComplexCoverage BinTree Symbolic.launch
trunk/extensions/complexcoverage/test/ComplexCoverage BinomialHeap Symbolic.launch
trunk/extensions/complexcoverage/test/ComplexCoverage FibHeap Symbolic.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TreeMap Symbolic.launch
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/oldexamples/
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/oldexamples/BinTree.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/oldexamples/BinomialHeap.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/oldexamples/FibHeap.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/oldexamples/FibHeapNode.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/oldexamples/TreeMap.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-06-04 17:10:32
|
Revision: 1595
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1595&view=rev
Author: pcmehlitz
Date: 2009-06-04 17:10:24 +0000 (Thu, 04 Jun 2009)
Log Message:
-----------
* second attempt on Matt's IntIntervalGenerator patch - Eclipse/Subclipse glitch
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/choice/IntIntervalGenerator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-06-04 16:57:53
|
Revision: 1594
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1594&view=rev
Author: pcmehlitz
Date: 2009-06-04 16:57:44 +0000 (Thu, 04 Jun 2009)
Log Message:
-----------
* fix for count-down IntIntervalGenerators - thanks to Matt Staats
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/choice/IntIntervalGenerator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-04 04:22:17
|
Revision: 1593
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1593&view=rev
Author: frankrimlinger
Date: 2009-06-04 04:22:16 +0000 (Thu, 04 Jun 2009)
Log Message:
-----------
MangoJPF now survives the entire backup algorithm, both phase1 and phase2. The topology of simple loops and nested loops appears to be correct, but blowups like "loop_with_if" are broken. Also, all predicate transformers are computed incorrectly, something bad happens early on for these. Also, the names of methods are being corrupted so that the descriptor appears twice.
The topology of error handling appears to be fine. This is a relief, as this code was pretty fragile.
So, lots of buggies to fix. First work on topology. Probably best to expose the stratified graphs in the folder viewer as was done in days gone by.
Actually, first fix method name bug as this could cause lots of weirdness.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/LoopGraph.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESTATIC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-06-04 02:58:30
|
Revision: 1592
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1592&view=rev
Author: pcmehlitz
Date: 2009-06-04 02:58:28 +0000 (Thu, 04 Jun 2009)
Log Message:
-----------
* the listener notification catches have to be aware of the evil nominal control flow exceptions (UnhandledException, JPF.ExitException), which have to be passed up so that JPF doesn't terminate if a listener causes any of them by exiting or deliberately causing an exception in the SuT
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/JPF.java
trunk/src/gov/nasa/jpf/jvm/JVM.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-03 23:46:53
|
Revision: 1591
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1591&view=rev
Author: frankrimlinger
Date: 2009-06-03 23:46:51 +0000 (Wed, 03 Jun 2009)
Log Message:
-----------
MangoJPF survives the loop subdivision algorithm of phase2, and the components for itsAWrap.clear and the itsAWrap.clear loop both graph properly, as compared against the same graphs from Mango.
Next bug is in the stratification alg. Eventually stratification will be dropped, but I have to fix it now to finish all the baseline tests. Cannot move on before this.
Modified Paths:
--------------
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/Graph.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-03 22:07:28
|
Revision: 1590
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1590&view=rev
Author: frankrimlinger
Date: 2009-06-03 22:07:26 +0000 (Wed, 03 Jun 2009)
Log Message:
-----------
fixed some bugs in phase2
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/GraphicSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/NewWorkerMsg.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-03 15:24:06
|
Revision: 1589
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1589&view=rev
Author: frankrimlinger
Date: 2009-06-03 15:23:56 +0000 (Wed, 03 Jun 2009)
Log Message:
-----------
MangoJPF now survives phase1. Supervertices are posting to the entrypoints window, but not the method graphs. Need to take a look at these before unleashing phase2.
HACK in MethodSym revealChildren in order to look at method graphs.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/SuperVertex.java
branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
branches/mango/MangoJPF/Mango/src/mango/worker/WorkerControl.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/AbstractUconMethod.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/BadMethod.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/OSmethod.java
branches/mango/MangoJPF/src/mango/views/GlobalViewWindow.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
