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-20 03:38:35
|
Revision: 1295
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1295&view=rev
Author: frankrimlinger
Date: 2009-03-20 03:38:30 +0000 (Fri, 20 Mar 2009)
Log Message:
-----------
Successfully built for 64-bit Cocoa on Mac OS X, using Java 6. The trick is to download the correct version of EclipseM5, that specifically mentions 64bit cocoa. Also, there is a trick for adding Subclipse to M5. You have to do it in two steps, first add the "Subclipse SVNKit Option". When it recommends to relaunch, don't do it. Instead use the "Apply Changes" button. Now start over and add "Subclipse" and again apply changes. Now SVN will appear when you do File/New/Project... and you are good-2-go.
Added and tested Albireo in standalone view extension. Next step is to figure out how to layout multiple views. Then try to make some real mango windows be extension point views.
Modified Paths:
--------------
branches/mango/mangoRCP/.classpath
branches/mango/mangoRCP/META-INF/MANIFEST.MF
branches/mango/mangoRCP/plugin.xml
branches/mango/mangoRCP/src/mango/View.java
Added Paths:
-----------
branches/mango/mangoRCP/contexts.xml
branches/mango/mangoRCP/icons/sample.gif
branches/mango/mangoRCP/schema/
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: <pcm...@us...> - 2009-03-20 02:02:22
|
Revision: 1294
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1294&view=rev
Author: pcmehlitz
Date: 2009-03-20 02:02:16 +0000 (Fri, 20 Mar 2009)
Log Message:
-----------
* context bounding scheduler + search - thanks to Igor Andjelkovic, Mirko Stojmenovic, Steven Lauterburg
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/JVM.java
trunk/src/gov/nasa/jpf/jvm/abstraction/filter/SimpleFilteringSerializer.java
trunk/src/gov/nasa/jpf/tools/VarTracker.java
Added Paths:
-----------
trunk/src/gov/nasa/jpf/jvm/ContextBoundingSchedulerFactory.java
trunk/src/gov/nasa/jpf/search/IterativeContextBounding.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-19 18:00:50
|
Revision: 1293
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1293&view=rev
Author: frankrimlinger
Date: 2009-03-19 18:00:46 +0000 (Thu, 19 Mar 2009)
Log Message:
-----------
Ultimately, mango will be deployed as an Eclipse workbench plugin. The project mangoRCP takes the first step by migrating the existing javapathfinder-mango project as a set of extension points to the Eclipse RCP (Rich Client Platform). Mango is based on Swing and will remain a Swing project for the foreseeable future, so the AWT-SWT bridge is critical. The Eclipse incubator project Albireo (fifth brightest star in the constellation Cygnus, actually a double star) will be used to ease the passage across this bridge. On the Macintosh, requires Galileo (Eclipse3.5) for SWT 64-bit Cocoa implementation.
Deployment on NetBeans is always an option, but for now I will stick with the devil I know. There are so many issues involved in deployment that I want to get started now before mango begins to mature.
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/mango/
branches/mango/mangoRCP/src/mango/Activator.java
branches/mango/mangoRCP/src/mango/Application.java
branches/mango/mangoRCP/src/mango/ApplicationActionBarAdvisor.java
branches/mango/mangoRCP/src/mango/ApplicationWorkbenchAdvisor.java
branches/mango/mangoRCP/src/mango/ApplicationWorkbenchWindowAdvisor.java
branches/mango/mangoRCP/src/mango/Perspective.java
branches/mango/mangoRCP/src/mango/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-19 17:42:51
|
Revision: 1292
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1292&view=rev
Author: frankrimlinger
Date: 2009-03-19 17:42:40 +0000 (Thu, 19 Mar 2009)
Log Message:
-----------
This project will develop mango as a set of extension points for the Eclipse Rich Client Platform
Added Paths:
-----------
branches/mango/mangoRCP/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-03-18 22:47:56
|
Revision: 1291
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1291&view=rev
Author: pcorina
Date: 2009-03-18 22:47:46 +0000 (Wed, 18 Mar 2009)
Log Message:
-----------
modified sub-class checking
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETSTATIC.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-18 04:10:23
|
Revision: 1290
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1290&view=rev
Author: frankrimlinger
Date: 2009-03-18 04:10:12 +0000 (Wed, 18 Mar 2009)
Log Message:
-----------
package cleanup
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-18 03:57:12
|
Revision: 1289
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1289&view=rev
Author: frankrimlinger
Date: 2009-03-18 03:56:53 +0000 (Wed, 18 Mar 2009)
Log Message:
-----------
Stable rewrite update, to increase level of automation and test the ack/priority threading mechanism.
part 2
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/ConjunctionSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/EquationSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/InequationSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/function/FreeVarsReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/symbols/FoundationSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/symbols/FreeVariableSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/symbols/NotFreeVariableSymReq.java
branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/extensions/mango/Mango/src/mango/tree/TreeViewManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/Mango.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteCallBack.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hitem.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashCoreParser.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashOpcodeNames.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/UnifyEvent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/CheckCast_getValueAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/IsAssignmentCompatibleAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/ValueHAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/AugmentAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/BackchainAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/BackflowAssocAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/BlockedUconAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/ContainsAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/FreeVarsAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/GeneralizeAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/HypoAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/InterpretAssocAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/InterpretCompositionAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/LinearArithmeticAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/MatchAssumptionsAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/OverAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/SimplifyAndAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/SimplifyOrAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/StabilizeArgumentsAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/WithAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/AbstractEquation.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/ConjunctionModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/EquationModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/InequationModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/LAsolver.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/ConjunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/EquationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/FoundationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/FreeVariableSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/InequationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/CellUpdateTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/LinearArithmeticTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/ReplaceTrapConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/RewriteTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapItemModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapObjectModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/LocalItemModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/OpItemModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/BindModuleAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvalConditionalAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvaluatePredicateAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/InvertConditionalAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/StabilizeParameterAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/BaseInvariantAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalEquivalenceAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalInvariantTestAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalMethodAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalMethodTestAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantFactorizationAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantTestAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/LocalVarConditionalEquivalenceAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/MethodInvariantAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/MethodInvariantTestAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/trap/BuildInvariantNamesTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/HitemUtil.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ReplaceRewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ShowTypeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumeEquivalenceAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumptionAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTranslateTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateRequestedTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateTrap.java
branches/mango/extensions/mango/Mango/src/mango/workstation/ViewBuilder.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/action/MangoActionManager.java
branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/Actions.java
branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/PopUpMenuEnabler.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/BinderSymAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/CallBackAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/ForceOrderAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/ForceOrderCallBack.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/RewriteAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/SubordinateRewriteCallBack.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapPointer.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapTracer.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/RewriteLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/RewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/StableRewriteLocator.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/StableRewriteMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/ApplyLinearTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/GarbageCollectTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/StableRewriteConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/agent/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/agent/ConvertCharArrayToStringAgent.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/agent/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/model/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/RewriteLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/RewriteRequestMsg.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-18 03:54:25
|
Revision: 1288
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1288&view=rev
Author: frankrimlinger
Date: 2009-03-18 03:54:14 +0000 (Wed, 18 Mar 2009)
Log Message:
-----------
Stable rewrite update, to increase level of automation and test the ack/priority threading mechanism.
part 1
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/debugger/action/BreakPointTypeAction.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/LocatableFolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceAutoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisAutoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ConsistentHypoConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ConsistentHypoTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/EliminateHypoTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/HarvestParametersTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/agent/LoopInstanceAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/msg/CloseLoopInstanceMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/agent/MethodInstanceAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/msg/CloseMethodInstanceMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/trap/RebindTargetConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/model/InstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/MergeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/SubmitStandingHypothesisMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ContainsTestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleLevelSym.java
branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleReadOnlySym.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/ContainsTestTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeCaseRewriteTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/MergeTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/ReadOnlyCacheTrap.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/backflow/Backflow.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/backflow/BackflowLeft.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/backflow/BackflowRight.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/AssumptionMatch.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/CompareToExtract.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Contains.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/FireBackchain.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Free.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/FreeVars.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Generalize.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/GetFreeVariableName.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/HYPO.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/ImmutableEquals.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/IsPastRefNormalizeBinder.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/IsPresentRefNormalizeBinder.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Match.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/MatchAssumptionList.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/MatchAssumptions.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/OverDisambiguation.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SimplifyAnd.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SimplifyOr.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/StabilizeArguments.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SubType.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Union.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/With.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithChange.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithDiveCommutes.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithDiveCommutesForceRewrite.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithEval.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithTruth.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/interpretation/InterpretAssoc.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/interpretation/InterpretBlockedUcon.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/interpretation/InterpretComposition.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/linear/ApplyLinearArithmetic.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/linear/BuildEquation.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/linear/EliminateDuplication.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/comparison/Equals.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/comparison/InequivalentRef.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/garbageCollection/GarbageCollect.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/string/ConvertCharArrayToString.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/BindConjunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/BindEquationSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/BindFoundationSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/BindInequationSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/PushRefH.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/CommuteFunctionExp.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/ComposeFunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/ConditionalCommuteFunctionExp.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/EvalConditional.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/EvaluatePredicate.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/GenericListCommute.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/InvertConditional.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/ConditionalEquivalence.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/ConditionalInvariantTest.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/ConditionalMethodInvariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/ConditionalMethodTest.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/Invariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/InvariantTest.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/MethodInvariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/MethodInvariantTest.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/OpVarAsLocalVar.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/definition/HarvestParameters.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/instance/BuildLoopInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/instance/BuildMethodInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/DoesNotThrow.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/IsLoadable.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/IsLoadableArrayClass.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/IsLoadableClass.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/MethodCallAssumption.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/ThisIsNotNull.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateArguments.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateArraySubaddress.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateFreeVariableSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateHeapObject.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateModuleInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateNotModuleInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateNotUserInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateOver.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateSubaddress.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateUserInvocationSym.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-03-18 00:25:45
|
Revision: 1287
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1287&view=rev
Author: pcorina
Date: 2009-03-18 00:25:36 +0000 (Wed, 18 Mar 2009)
Log Message:
-----------
added handling of sub-classing in lazy initialization
still we do not create a new object for all the possible types (too expensive)
fixed bugs in GETSTATIC (ClassInfo was used instead of typeClassInfo)
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/SymbolicInstructionFactory.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/HeapNode.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: <jt...@us...> - 2009-03-17 20:36:43
|
Revision: 1286
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1286&view=rev
Author: jtzwu
Date: 2009-03-17 20:36:27 +0000 (Tue, 17 Mar 2009)
Log Message:
-----------
add libraries for config options documentation tools
Added Paths:
-----------
trunk/build-tools/lib/Xerces-J-bin.2.9.1.zip
trunk/build-tools/lib/commons-cli-1.1.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <jt...@us...> - 2009-03-17 18:10:48
|
Revision: 1285
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1285&view=rev
Author: jtzwu
Date: 2009-03-17 18:10:33 +0000 (Tue, 17 Mar 2009)
Log Message:
-----------
Add JPF config options documentation tool
Modified Paths:
--------------
trunk/.classpath
trunk/build.xml
trunk/env/jpf/java/util/regex/Matcher.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_regex_Matcher.java
Added Paths:
-----------
trunk/build-tools/optionsdoc/
trunk/build-tools/optionsdoc/build/
trunk/build-tools/optionsdoc/src/
trunk/build-tools/optionsdoc/src/gov/
trunk/build-tools/optionsdoc/src/gov/nasa/
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/BytecodeOptionsScanner.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/CodeScanner.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/CodeScannerFactory.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/ConfigDoc.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/ConfigDoclet.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/ConfigIOException.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/ConfigIOImpl.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/DocAppFactory.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/DocletArguments.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/MethodScanner.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/MethodScannerFactory.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/Options.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsFactory.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsFactoryImpl.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsFileReader.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsFileWriter.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsHandler.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsHandlerImpl.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsIO.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsReader.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsScanner.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/OptionsWriter.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/TagReader.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/stacksim/
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/stacksim/KnownValue.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/stacksim/StackSimulator.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/stacksim/StackValue.java
trunk/build-tools/optionsdoc/src/gov/nasa/jpf/doc/stacksim/UnknownValue.java
trunk/test/gov/nasa/jpf/test/TestRegex.java
trunk/test/gov/nasa/jpf/test/TestUtilsJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-13 17:26:25
|
Revision: 1284
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1284&view=rev
Author: frankrimlinger
Date: 2009-03-13 17:26:15 +0000 (Fri, 13 Mar 2009)
Log Message:
-----------
Fixed source code directory bug. Cleaned up package names for ThreadSupport.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/DebugRewriterAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/control/StopWorkerAction.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenMFLEditorRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenMFLasAxiomRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/ReplayedMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreTier.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ApplyCoreRuleAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/CloneCoreRuleAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/CoreCutAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/CorePasteAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/DownloadCoreRuleAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/EnforceTierSettingsAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ImportCoreRuleAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ImportCoreTierAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/NewCoreRuleAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/NewCoreTierAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ScriptedActivateAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ScriptedDeactivateAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/CoreRuleBaseTableModel.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/CoreTierTableModel.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/CoreVariableTableModel.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/MangoModel.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/MangoModelUtilities.java
branches/mango/extensions/mango/Mango/src/mango/core/util/CoreUtilities.java
branches/mango/extensions/mango/Mango/src/mango/debugger/BreakPointWindow.java
branches/mango/extensions/mango/Mango/src/mango/debugger/DebuggerWindow.java
branches/mango/extensions/mango/Mango/src/mango/debugger/action/RuleKeyBreakPointAction.java
branches/mango/extensions/mango/Mango/src/mango/debugger/action/StepAction.java
branches/mango/extensions/mango/Mango/src/mango/debugger/action/StopRewritingAction.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ClearBreakPointMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ContinueRewritingMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetRuleKeyBreakPointMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleOffMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleOnMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleStepMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/StopRewritingMsg.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/LocatorManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureTranslateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceAutoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisAutoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisTranslateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseDefinitionMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CoalesceStandingHypothesesMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/DeleteUnusedParametersMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/FinalizeStatusMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/model/MethodInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/msg/CloseMethodInstanceMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/model/InstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/SubmitStandingHypothesisMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeCaseRewriteTrap.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/MangoScriptMessageCellRenderer.java
branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/extensions/mango/Mango/src/mango/script/util/MangoScriptUtilities.java
branches/mango/extensions/mango/Mango/src/mango/script/util/ScriptAndPostAction.java
branches/mango/extensions/mango/Mango/src/mango/tree/TreeViewManager.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/FolderViewAgent.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/ChangeTreeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/EventLoopCmd.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/EventLoopTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/AckCommand.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/AddCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/DeleteCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/EnforceTierSettingsRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ModifyCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ReplaceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ReplaceRewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/RewriteLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/RewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ScheduleRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/SetActiveCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/TrapCommand.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/WorkerCommand.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTranslateTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTrapConnector.java
branches/mango/extensions/mango/Mango/src/mango/workstation/QueueReader.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/GumboCommand.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/PopupMenuCommand.java
branches/mango/extensions/mango/ThreadSupport/src/threadModel/Command.java
branches/mango/extensions/mango/ThreadSupport/src/threadModel/Commander.java
branches/mango/extensions/mango/ThreadSupport/src/threadModel/Priority.java
branches/mango/extensions/mango/ThreadSupport/src/threadModel/Restart.java
branches/mango/extensions/mango/ThreadSupport/src/threadModel/ScriptableCommand.java
branches/mango/extensions/mango/ThreadSupport/src/threadModel/SystemBuilder.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/BatchParentCommand.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/CommandUtilities.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/LongCommand.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/ParentCommand.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/ScriptTest.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/ScriptTestCommand.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/SerialChildCommand.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/SerialCommand.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/SerialParentCommand.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/ShortCommand.java
Added Paths:
-----------
branches/mango/extensions/mango/ThreadSupport/src/threadModel/
branches/mango/extensions/mango/ThreadSupport/src/threadModel/Time.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/
branches/mango/extensions/mango/ThreadSupport/src/threadTest/script/
branches/mango/extensions/mango/ThreadSupport/src/threadTest/script/SafeModel.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/script/Script.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/script/ScriptCommandCellRenderer.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/script/ScriptModel.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/script/ScriptRunAction.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/script/ScriptUtilities.java
branches/mango/extensions/mango/ThreadSupport/src/threadTest/script/ScriptWindow.java
Removed Paths:
-------------
branches/mango/extensions/mango/ThreadSupport/src/impl/
branches/mango/extensions/mango/ThreadSupport/src/model/
branches/mango/extensions/mango/ThreadSupport/src/script/
branches/mango/extensions/mango/ThreadSupport/src/util/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-13 06:14:58
|
Revision: 1283
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1283&view=rev
Author: frankrimlinger
Date: 2009-03-13 06:14:50 +0000 (Fri, 13 Mar 2009)
Log Message:
-----------
Mango model no longer generated for library code, but java model still generated as it is needed for address resolution, access control, etc. This required some delicate tweaking in phase I of BackupAlg. Considerable time and memory savings during start up.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/Mango.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Invocation.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ClassModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Method.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
branches/mango/make_test_jars
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-12 18:22:41
|
Revision: 1282
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1282&view=rev
Author: frankrimlinger
Date: 2009-03-12 18:22:35 +0000 (Thu, 12 Mar 2009)
Log Message:
-----------
fixed E-Z bug. Diagnosed problem with "library" code. Here is the deal with the library code. You need the java model for a variety of reasons, you DO NOT need the mango model. You DO need for the rewriter to resolve references within the rulebase. Right now you are 1 for 3, so figure this out.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/SinkTerminatorSym.java
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-03-12 17:37:55
|
Revision: 1281
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1281&view=rev
Author: pcmehlitz
Date: 2009-03-12 17:37:38 +0000 (Thu, 12 Mar 2009)
Log Message:
-----------
* more memory-efficient Step implementation, which should alleviate the trace storage problem a bit (until we have a configurable trace manager) - thanks Nathan Reynolds
WATCH OUT - if you have listeners, reporters or publishers using Step, be aware of that Step is not a SourceRef anymore, hence equals() behaves different. This might require having to update these clients
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/Step.java
trunk/src/gov/nasa/jpf/jvm/SystemState.java
trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
trunk/src/gov/nasa/jpf/report/ConsolePublisher.java
trunk/src/gov/nasa/jpf/report/XMLPublisher.java
trunk/src/gov/nasa/jpf/tools/StateSpaceDot.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-12 13:14:28
|
Revision: 1280
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1280&view=rev
Author: frankrimlinger
Date: 2009-03-12 13:14:14 +0000 (Thu, 12 Mar 2009)
Log Message:
-----------
test package cleanup
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-12 13:11:32
|
Revision: 1279
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1279&view=rev
Author: frankrimlinger
Date: 2009-03-12 13:11:00 +0000 (Thu, 12 Mar 2009)
Log Message:
-----------
mango test packages cleanup
Modified Paths:
--------------
branches/mango/.classpath
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/.project
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/linearArithmeticTests/LinearArithmetic.java
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/linearArithmeticTests/LinearArithmeticTest.java
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/linearArithmeticTests/liteTest1.java
branches/mango/extensions/mango/local/franklocal_input/LocalVariableScopeTest/.project
branches/mango/extensions/mango/local/franklocal_input/LocalVariableScopeTest/src/localVariableScopeTests/LocalVariableScopeTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/falseRecursion/A.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/falseRecursion/B.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/falseRecursion/falseRecursion.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/initTest/A.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/initTest/B.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/crazyGlue.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/staticObjectVirtualCallTest.java
branches/mango/make_test_jars
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/linearArithmeticTests/
branches/mango/extensions/mango/local/franklocal_input/LocalVariableScopeTest/src/localVariableScopeTests/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/Demo.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/EZfunctionAbs.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/FieldTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/LinearTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/ManagementDemo.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/ModelCheckText.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/RefBuster.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/Wacko.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/condTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/conditionalTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/conditonalBugs.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/falseRecursion/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/fcnCall.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/heapVacuum.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/initTest/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/invocationTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/multiarray.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/one.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/simpleArray.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/mangoModelTest/staticObjectVirtualCallTest/
branches/mango/extensions/mango/local/franklocal_input/linearArithmeticTests/
branches/mango/extensions/mango/local/franklocal_input/localVariableScopeTests/
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/LinearArithmeticTest/
branches/mango/extensions/mango/local/franklocal_input/LocalVariableScopeTest/src/LocalVariableScopeTest/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/Demo.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/EZfunctionAbs.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/FieldTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/LinearTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/ManagementDemo.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/ModelCheckText.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/RefBuster.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/Wacko.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/condTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/conditionalTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/conditonalBugs.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/falseRecursion/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/fcnCall.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/heapVacuum.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/initTest/
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/invocationTest.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/multiarray.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/one.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/simpleArray.java
branches/mango/extensions/mango/local/franklocal_input/MangoModelTest/src/destinyModel/staticObjectVirtualCallTest/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-12 12:28:33
|
Revision: 1278
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1278&view=rev
Author: frankrimlinger
Date: 2009-03-12 12:28:20 +0000 (Thu, 12 Mar 2009)
Log Message:
-----------
mango branch cleanup, deleted a tutorial that would not compile. This will be fixed up down the road at some point.
Modified Paths:
--------------
branches/mango/.classpath
Removed Paths:
-------------
branches/mango/examples/ICSETutorial/CEV_15EOR_LOR.java
branches/mango/examples/ICSETutorial/Input.java
branches/mango/examples/ICSETutorial/InputOrder.java
branches/mango/examples/ICSETutorial/InputWithProperty.java
branches/mango/examples/ICSETutorial/InputWithPropertyComplete.java
branches/mango/examples/ICSETutorial/Output.java
branches/mango/examples/ICSETutorial/Output2.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-12 04:05:27
|
Revision: 1277
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1277&view=rev
Author: frankrimlinger
Date: 2009-03-12 04:05:18 +0000 (Thu, 12 Mar 2009)
Log Message:
-----------
Finished baseline loop testing, with sessions for two_loops_in_a_row, while_with_conjunct big_model_check_test, and AxiomInLoop. The new quantified logic expressions performed nicely. No bugs encountered, except that AxiomInLoop.main() could not complete because of an invariant factorization failure. This is precisely the problem that will be addressed with jpf backtracking, so AxiomInLoop will serve as a first test case.
Mango feels faster than the legacy tool, mostly because all the intertask latency is gone. But the memory leaking is becoming increasingly annoying, since the tool bellies up after just a few sessions. Hopefully testing and memory tune-up can be done by the end of this month, then finally finally jpf integration.
Modified Paths:
--------------
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/<init>()V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/for all i such that i is less than 'n' AND i is greater than or equal to 0 implies 'y'[i] does not equal 0.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/loops/-baseline.AxiomInLoop.divide_arrays([I[II)V#14:iload_i_Code_01/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/divide_arrays([I[II)V/loops/-baseline.AxiomInLoop.divide_arrays([I[II)V#14:iload_i_Code_01/'y'['i'] does not equal 0.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/length of the Array 'x' is greater than or equal to 'n', length of the Array 'y' is greater than or equal to 'n'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/loops/-baseline.AxiomInLoop.init_arrays([I[II)V#20:iload_i_Code_01/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/init_arrays([I[II)V/loops/-baseline.AxiomInLoop.init_arrays([I[II)V#20:iload_i_Code_01/op0 is less than 'n'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/main([I[II)Z/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/AxiomInLoop/main([I[II)Z/for all i such that i is less than 'n' AND i is greater than or equal to 0 implies 'y'[i] does not equal 0.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/big_model_check_test/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/big_model_check_test/<init>()V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/big_model_check_test/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/big_model_check_test/main(I)I/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/big_model_check_test/main(I)I/'x' equals 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/big_model_check_test/main(I)I/'x' is less than 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/big_model_check_test/main(I)I/10 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/<init>()V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/for all i such that i is less than 'n' AND 0 is greater than or equal to i implies 'a'[i] is greater than or equal to 0.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/loops(I)I/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#15:iload_j_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#7:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/main(I)Z/'x' is greater than or equal to 0.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/loops/-baseline.while_with_conjunct.conjunctive_while_loop(II)I#3:iload_x_Code_01/op0 is less than 5.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is greater than or equal to 5.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is less than 5.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/main(II)Z/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/simple_loop(I)I/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/simple_loop(I)I/loops/-baseline.while_with_conjunct.simple_loop(I)I#2:iload_x_Code_01/op0 is less than 5.zip
Removed Paths:
-------------
branches/mango/extensions/mango/jars/.cvsignore
branches/mango/extensions/mango/jars/.project
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-03-12 02:36:17
|
Revision: 1276
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1276&view=rev
Author: pcorina
Date: 2009-03-12 02:36:13 +0000 (Thu, 12 Mar 2009)
Log Message:
-----------
Example for Lazy initialization.
To run it, use:
+vm.insn_factory.class=gov.nasa.jpf.symbc.SymbolicInstructionFactory
+vm.storage.class=
+search.multiple_errors=true
gov.nasa.jpf.symbc.ExSymExeHeap
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeHeap.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-03-12 02:34:43
|
Revision: 1275
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1275&view=rev
Author: pcorina
Date: 2009-03-12 02:34:20 +0000 (Thu, 12 Mar 2009)
Log Message:
-----------
Lazy initialization fixed.
Tested only on ExSymExeHeap.
HeapListener not working yet with these new changes.
Modified Paths:
--------------
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: <pc...@us...> - 2009-03-12 02:32:42
|
Revision: 1274
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1274&view=rev
Author: pcorina
Date: 2009-03-12 02:32:32 +0000 (Thu, 12 Mar 2009)
Log Message:
-----------
Fix for static fields
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: <pcm...@us...> - 2009-03-12 01:00:51
|
Revision: 1273
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1273&view=rev
Author: pcmehlitz
Date: 2009-03-12 01:00:44 +0000 (Thu, 12 Mar 2009)
Log Message:
-----------
* added the net-iocache extension from Cyrille Artho and Watcharin Leungwattanakit of University of Tokyo, to model check client/server applications using java.net APIs (this will have a separate announcement on the mailing list)
Added Paths:
-----------
trunk/extensions/net-iocache/
trunk/extensions/net-iocache/Readme.txt
trunk/extensions/net-iocache/bin/
trunk/extensions/net-iocache/bin/alphabet-client-1.sh
trunk/extensions/net-iocache/bin/alphabet-client-2.sh
trunk/extensions/net-iocache/bin/alphabet-client-3.sh
trunk/extensions/net-iocache/bin/alphabet-client-4.sh
trunk/extensions/net-iocache/bin/alphabet-client-5.sh
trunk/extensions/net-iocache/bin/alphabet-client-mc.sh
trunk/extensions/net-iocache/bin/alphabet-client-nd-mc.sh
trunk/extensions/net-iocache/bin/alphabet-server-client-nd.sh
trunk/extensions/net-iocache/bin/alphabet-server-client.sh
trunk/extensions/net-iocache/bin/alphabet-server-mc.sh
trunk/extensions/net-iocache/bin/alphabet-server-nd-mc.sh
trunk/extensions/net-iocache/bin/chat-client-mc.sh
trunk/extensions/net-iocache/bin/chat-client.sh
trunk/extensions/net-iocache/bin/chat-server-client.sh
trunk/extensions/net-iocache/bin/chat-server-mc.sh
trunk/extensions/net-iocache/bin/chkerr.sh
trunk/extensions/net-iocache/bin/daytime-client-mc.sh
trunk/extensions/net-iocache/bin/daytime-server-client.sh
trunk/extensions/net-iocache/bin/env.sh
trunk/extensions/net-iocache/bin/http-client-mc.sh
trunk/extensions/net-iocache/bin/http-client.sh
trunk/extensions/net-iocache/bin/http-server-client.sh
trunk/extensions/net-iocache/bin/http-server-mc.sh
trunk/extensions/net-iocache/bin/testall.sh
trunk/extensions/net-iocache/build.xml
trunk/extensions/net-iocache/env/
trunk/extensions/net-iocache/env/jpf/
trunk/extensions/net-iocache/env/jpf/gov/
trunk/extensions/net-iocache/env/jpf/gov/nasa/
trunk/extensions/net-iocache/env/jpf/gov/nasa/jpf/
trunk/extensions/net-iocache/env/jpf/gov/nasa/jpf/network/
trunk/extensions/net-iocache/env/jpf/gov/nasa/jpf/network/cache/
trunk/extensions/net-iocache/env/jpf/gov/nasa/jpf/network/cache/CacheLayerInputStream.java
trunk/extensions/net-iocache/env/jpf/gov/nasa/jpf/network/cache/CacheLayerOutputStream.java
trunk/extensions/net-iocache/env/jpf/java/
trunk/extensions/net-iocache/env/jpf/java/net/
trunk/extensions/net-iocache/env/jpf/java/net/InetAddress.java
trunk/extensions/net-iocache/env/jpf/java/net/InetSocketAddress.java
trunk/extensions/net-iocache/env/jpf/java/net/ServerSocket.java
trunk/extensions/net-iocache/env/jpf/java/net/Socket.java
trunk/extensions/net-iocache/env/jpf/java/net/URLDecoder.java
trunk/extensions/net-iocache/env/jvm/
trunk/extensions/net-iocache/env/jvm/gov/
trunk/extensions/net-iocache/env/jvm/gov/nasa/
trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/
trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/jvm/
trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/jvm/JPF_java_net_ServerSocket.java
trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/jvm/JPF_java_net_Socket.java
trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/network/
trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/network/cache/
trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/network/cache/JPF_gov_nasa_jpf_network_cache_CacheLayerInputStream.java
trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/network/cache/JPF_gov_nasa_jpf_network_cache_CacheLayerOutputStream.java
trunk/extensions/net-iocache/examples/
trunk/extensions/net-iocache/examples/gov/
trunk/extensions/net-iocache/examples/gov/nasa/
trunk/extensions/net-iocache/examples/gov/nasa/jpf/
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/AlphabetClient.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/AlphabetServer.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/AlphabetServerTest.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/Consumer.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/NDAlphabetClient.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/NDAlphabetServer.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/Producer.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/ChatClient.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/ChatClientRunner.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/ChatServer.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/ChatServerForTest.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/CoupledLoopBackSocket.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/LoopBackSocket.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/Worker.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/daytime/
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/daytime/DaytimeClient.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/daytime/DaytimeServer.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/http/
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/http/HTTPClient.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/http/HTTPServer.java
trunk/extensions/net-iocache/lib/
trunk/extensions/net-iocache/lib/webdavlib-2.0.jar
trunk/extensions/net-iocache/lib/xercesImpl.jar
trunk/extensions/net-iocache/src/
trunk/extensions/net-iocache/src/gov/
trunk/extensions/net-iocache/src/gov/nasa/
trunk/extensions/net-iocache/src/gov/nasa/jpf/
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/CacheLayer.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/Event.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/Milestone.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/PhysicalConnection.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/RRTree.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/ReadyEvent.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/RequestByte.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/RequestEvent.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/ResponseByte.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/ResponseEvent.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/SocketTreeTable.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/listener/
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/listener/CacheNotifier.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/listener/SearchTreeMonitor.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-03-11 22:37:27
|
Revision: 1272
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1272&view=rev
Author: pcmehlitz
Date: 2009-03-11 22:37:19 +0000 (Wed, 11 Mar 2009)
Log Message:
-----------
* java.util.concurrent modeling by Mateusz Ujma.
Still needs some documentation and explicit AbstractQueuedSynchronizer use isn't fully supported yet, but passes a lot of high level tests. The goal of this extension is to significantly reduce the state space and processing overhead that is caused by the standard library implementation, which also opens a can of worms by relying on sun.misc.Unsafe
Added Paths:
-----------
trunk/extensions/concurrent/
trunk/extensions/concurrent/build.xml
trunk/extensions/concurrent/env/
trunk/extensions/concurrent/env/jpf/
trunk/extensions/concurrent/env/jpf/java/
trunk/extensions/concurrent/env/jpf/java/util/
trunk/extensions/concurrent/env/jpf/java/util/concurrent/
trunk/extensions/concurrent/env/jpf/java/util/concurrent/locks/
trunk/extensions/concurrent/env/jpf/java/util/concurrent/locks/AbstractQueuedSynchronizer.java
trunk/extensions/concurrent/env/jpf/java/util/concurrent/locks/ReentrantLock.java
trunk/extensions/concurrent/env/jvm/
trunk/extensions/concurrent/env/jvm/gov/
trunk/extensions/concurrent/env/jvm/gov/nasa/
trunk/extensions/concurrent/env/jvm/gov/nasa/jpf/
trunk/extensions/concurrent/env/jvm/gov/nasa/jpf/jvm/
trunk/extensions/concurrent/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_locks_AbstractQueuedSynchronizer$ConditionObject.java
trunk/extensions/concurrent/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_locks_ReentrantLock.java
trunk/extensions/concurrent/src/
trunk/extensions/concurrent/src/gov/
trunk/extensions/concurrent/src/gov/nasa/
trunk/extensions/concurrent/src/gov/nasa/jpf/
trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/
trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/ConcurrentBase.java
trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/Condition.java
trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/ConditionVersion.java
trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/Sync.java
trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/SyncVersion.java
trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/Version.java
trunk/extensions/concurrent/src/gov/nasa/jpf/jvm/VersionManager.java
trunk/extensions/concurrent/test/
trunk/extensions/concurrent/test/gov/
trunk/extensions/concurrent/test/gov/nasa/
trunk/extensions/concurrent/test/gov/nasa/jpf/
trunk/extensions/concurrent/test/gov/nasa/jpf/concurrent/
trunk/extensions/concurrent/test/gov/nasa/jpf/concurrent/ReentrantLockPerformanceTest.java
trunk/extensions/concurrent/test/gov/nasa/jpf/concurrent/TestJavaUtilConcurrentLocksReentrantLock.java
trunk/extensions/concurrent/test/gov/nasa/jpf/concurrent/TestJavaUtilConcurrentLocksReentrantLockJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-11 20:11:34
|
Revision: 1271
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1271&view=rev
Author: frankrimlinger
Date: 2009-03-11 20:11:19 +0000 (Wed, 11 Mar 2009)
Log Message:
-----------
regenerated sessions for itsAWrap, nested_lopos, loop_with_if, if_with_two_loops, and find_negative. The baseline loop test have settled down, so time to move on to other tests.
Modified Paths:
--------------
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/loops/-baseline.find_negative.find_negative_test([II)I#4:iload_i_Code_01/'a'['i'] is greater than or equal to 0.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/there exists i such that i is less than 'n' AND i is less than length of the Array 'a' AND 'a'[i] is less than 0 AND Array 'a' is non-negative for indices 0 to i - 1.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/'x' is less than 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#10:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#19:iload_i_Code_01/'x' is greater than or equal to op0.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/main(I)Z/'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/main(I)Z/'x' is less than 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_i_Code_01/op0 is less than 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/length of theArray 'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/'i' does not equal 3.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/'i' equals 3.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/loops(I)I/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#10:iload_j_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#14:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/main(I)Z/case.zip
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/DFLocator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
