Menu
▾
▴
javapathfinder-svn
|
From: <fra...@us...> - 2009-02-12 06:23:18
|
Revision: 1185
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1185&view=rev
Author: frankrimlinger
Date: 2009-02-12 06:23:09 +0000 (Thu, 12 Feb 2009)
Log Message:
-----------
mango phase1 update, phase1 is NOW COMPLETE!
Added Paths:
-----------
branches/mango/extensions/mango/banner.txt
branches/mango/extensions/mango/cheat iterator
branches/mango/extensions/mango/intermediate transformers
branches/mango/extensions/mango/issue with SymbolicLinkPacket.rtf
branches/mango/extensions/mango/secret memory command.txt
branches/mango/extensions/mango/status.txt
branches/mango/extensions/mango/wiring a command/
branches/mango/extensions/mango/wiring a command/bind additional actions to the message (optional).tiff
branches/mango/extensions/mango/wiring a command/bind the action to the pick response.tiff
branches/mango/extensions/mango/wiring a command/bind the action to the pop-up menu.tiff
branches/mango/extensions/mango/wiring a command/define a pick response.tiff
branches/mango/extensions/mango/wiring a command/define the message.tiff
branches/mango/extensions/mango/wiring a command/define the pick response accessor.tiff
branches/mango/extensions/mango/wiring a command/time capsule.rtf
branches/mango/extensions/mango/wiring a command/wiring a command.rtf
Removed Paths:
-------------
branches/mango/extensions/mango/rulebase.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-14 20:25:41
|
Revision: 1191
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1191&view=rev
Author: frankrimlinger
Date: 2009-02-14 20:25:37 +0000 (Sat, 14 Feb 2009)
Log Message:
-----------
bug fix
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SRTP.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/EquationModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/LAsolver.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
branches/mango/extensions/mango/ThreadSupport/src/model/Commander.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-17 03:50:47
|
Revision: 1196
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1196&view=rev
Author: frankrimlinger
Date: 2009-02-17 03:50:43 +0000 (Tue, 17 Feb 2009)
Log Message:
-----------
WorkerID fix in progress. The concept of ID's was originally necessary because in the task based world, data abstraction was essential for efficiency. Now with shared memory between threads, you might think ID's could be discarded. But they are as essential as ever. The point is that access to underlying data must be serial, that is, it must be via commands posted to the queues and executed serially. Otherwise there will be corruption. On the other hand, the gui world must always be live, so it can't have access to underlying data. Fortunately, the gui world historically only used ID's since it was in an entirely separate task. It is critical that the gui stick with this policy, but there is now no way to enforce it. It is strictly programming on the "honor system." Oh well, the benefits of shared memory still vastly outweigh the risk.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
branches/mango/extensions/mango/ThreadSupport/src/model/Commander.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/rules/rulebase1.zip
branches/mango/extensions/mango/local/franklocal/sessions/<Untitled>
branches/mango/extensions/mango/local/franklocal/sessions/b.zip
branches/mango/extensions/mango/local/franklocal/sessions/bother.xml
branches/mango/extensions/mango/local/franklocal/sessions/bother.zip
branches/mango/extensions/mango/local/franklocal/sessions/test.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-18 23:27:46
|
Revision: 1199
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1199&view=rev
Author: frankrimlinger
Date: 2009-02-18 23:27:41 +0000 (Wed, 18 Feb 2009)
Log Message:
-----------
Messaging system cleanup in progress. The distinction between the "posted" message and "scripted" message has disappeared. Indeed, they are now required be one and the same, because hiliting of the active command is now triggered at the Commander level and everything flows from that. Any nonpersistent data in the messages now must be cleaned up with a persistence delegate, but this is as it should be. Much better than the maze of hacks that has grown up in this area.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/EnforceTierSettingsAction.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/msg/ActivationStateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/EnforceTierSettingsRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/TrapCommand.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
branches/mango/extensions/mango/Mango/src/mango/module/action/AddMatchAction.java
branches/mango/extensions/mango/Mango/src/mango/module/action/ApplyInvarianceRulesAction.java
branches/mango/extensions/mango/Mango/src/mango/module/action/ClearMatchMakerAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/AddEquivalenceAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/AddEquivalenceConjectureAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ApplyCondMapAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/CaptureMapAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/CloseDefinitionAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/IncrementalUpdateAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ManualDefinitionAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ManualInstantiationAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/RestoreContextAction.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/AddConjectureLocatorMsg.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/CoalesceStandingHypothesesMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/DeleteUnusedParametersMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/FinalizeStatusMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/action/CloseLoopInstanceAction.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/action/CloseMethodInstanceAction.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/action/MergeRequestAction.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/ReplayedMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/ToggleUnblockingStateAction.java
branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
branches/mango/extensions/mango/ThreadSupport/src/model/ScriptableCommand.java
branches/mango/extensions/mango/local/franklocal/sessions/b.zip
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/core/util/ScriptAndPostAction.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/script/listener/MangoScriptMessageListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-19 14:51:08
|
Revision: 1200
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1200&view=rev
Author: frankrimlinger
Date: 2009-02-19 14:51:01 +0000 (Thu, 19 Feb 2009)
Log Message:
-----------
more message cleanup, also work in progress to handle worker restart with the new SystemBuilder. All the SystemBuilder thread does now is to periodically test for liveness and notify when all the old worker threads have died. It is now up to an observer thread (in this case the gui thread) to fire up the new threads. So the gui will observe when all threads are dead and activate the "New Worker" button. Piece of cake.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/window/WorkstationWindow.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreRuleBase.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/TrapCommand.java
branches/mango/extensions/mango/Mango/src/mango/module/action/AddMatchAction.java
branches/mango/extensions/mango/Mango/src/mango/module/action/ApplyInvarianceRulesAction.java
branches/mango/extensions/mango/Mango/src/mango/module/action/ClearMatchMakerAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/AddEquivalenceAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/AddEquivalenceConjectureAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ApplyCondMapAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/CaptureMapAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/CloseDefinitionAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/IncrementalUpdateAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ManualDefinitionAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ManualInstantiationAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/RestoreContextAction.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/instance/loop/action/CloseLoopInstanceAction.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/action/CloseMethodInstanceAction.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/action/MergeRequestAction.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/ReplayedMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/ToggleUnblockingStateAction.java
branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
branches/mango/extensions/mango/ThreadSupport/src/model/ScriptableCommand.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/StopWorkerAction.java
branches/mango/extensions/mango/Mango/src/mango/script/util/ScriptAndPostAction.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/DebugAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/control/StopRewriterAction.java
branches/mango/extensions/mango/Mango/src/mango/core/util/ScriptAndPostAction.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-19 20:27:34
|
Revision: 1202
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1202&view=rev
Author: frankrimlinger
Date: 2009-02-19 20:27:28 +0000 (Thu, 19 Feb 2009)
Log Message:
-----------
implementation of observer pattern for worker start/stop buttons in progress.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/ThreadSupport/src/impl/ScriptTest.java
branches/mango/extensions/mango/ThreadSupport/src/model/Restart.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-20 03:18:45
|
Revision: 1203
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1203&view=rev
Author: frankrimlinger
Date: 2009-02-20 03:18:40 +0000 (Fri, 20 Feb 2009)
Log Message:
-----------
The gui is now observing the SystemBuilder and updating the "New Worker" and "Reset" buttons accordingly. Also, the new Workstation methods fireUpProcessing() and resetProcessing() are being called at the appropriate times. However, punching in the old socketConnect() and socketDisconnect() functionality into these two methods, respectively, has generated a lot of weirdness to be cleaned up.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/StopWorkerAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/control/WorkerAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/window/GlobalViewAction.java
branches/mango/extensions/mango/Mango/src/mango/control/window/WorkstationWindow.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-20 17:13:22
|
Revision: 1206
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1206&view=rev
Author: frankrimlinger
Date: 2009-02-20 17:13:14 +0000 (Fri, 20 Feb 2009)
Log Message:
-----------
clean up of button control for restarting worker well underway now. Some refactoring to make the organization of the worker code more rational.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/input/RuleBaseAction.java
branches/mango/extensions/mango/Mango/src/mango/control/window/WorkstationWindow.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreRuleBase.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/MangoModelUtilities.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/InitSessionMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/ActiveObjectSym.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/AliasedRuleKey.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/AliasedRuleVariable.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/LogicalKey.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleBaseSym.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleKey.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleSym.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleVariable.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ContinueRewritingMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/sym/DebuggerWindowSym.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/ExpLevelSym.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/MemoSym.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.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/EliminateHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/FinalizeStatusMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddConjectureConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddConjectureTranslateConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddEquivalenceConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddHypothesisTranslateConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddStandingEquivalenceConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddStandingHypothesisConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/CloseCaseConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ConsistentHypoConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/EliminateHypoConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/EliminateHypoTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedCloseCaseConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedConjectureConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedEquivalenceConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedHypothesisConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/trap/RebindTargetConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/MapToScopeTrap.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/MangoScriptMessageCellRenderer.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/StartRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Args.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hitem.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Number.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/csym/Csym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/csym/PointerCsym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/FileNameMapSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.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/sym/InstructionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/JclassSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/StrataGraph.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/GateSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/CodeSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/EdgeSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/LoopSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/PackageSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/PathSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/SuperVertexClassSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/BlowUpSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/BranchSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/ConditionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/NotConditionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/PredicateSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/PrimitiveSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/PushOffSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/DeadCodeSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/OSreturnSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/ReturnTerminatorSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/TrueReturnSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/BadPlaceSinkSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/CallSinkSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/InfiniteLoopSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/MissingDestSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/OSsinkSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/SinkTerminatorSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/ThrowSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperBlowUpSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperCallSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperCpnSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperLoopSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/AbstractUconSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/MethodEntrySym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/UconOSTerminatorSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/ConjunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/FoundationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/FreeVariableSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/InequationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/ReplaceTrapConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/RewriteTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/ApplyLinearTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/GarbageCollectTrap.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/StackModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/FrameSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/HeapSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/OpVarSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StackSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StatSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/trap/BuildInvariantNamesConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/TrapConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/sym/TranslationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTrapConnector.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/Resources/
branches/mango/extensions/mango/Mango/src/mango/Resources/How to create or modify Destiny icons
branches/mango/extensions/mango/Mango/src/mango/Resources/IconIndex.java
branches/mango/extensions/mango/Mango/src/mango/Resources/editableIcons/
branches/mango/extensions/mango/Mango/src/mango/Resources/icon_names/
branches/mango/extensions/mango/Mango/src/mango/Resources/icons/
branches/mango/extensions/mango/Mango/src/mango/Resources/rbIcons/
branches/mango/extensions/mango/Mango/src/mango/worker/EventLoopCmd.java
branches/mango/extensions/mango/Mango/src/mango/worker/EventLoopTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/Mango.java
branches/mango/extensions/mango/Mango/src/mango/worker/Worker.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/worker/main/
branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/How to create or modify Destiny icons
branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/
branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/
branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/
branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-21 03:21:25
|
Revision: 1212
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1212&view=rev
Author: frankrimlinger
Date: 2009-02-21 03:21:22 +0000 (Sat, 21 Feb 2009)
Log Message:
-----------
Most known control issues with session restart have been resolved. However, there still is weirdness in the model, probably due to legacy static data in the worker mechanism. These bugs have to hunted down as they appear.
Fixed a fascinating error in the hashing mechanism. It turns out that the virtual redirection method Hash.f(Hitem) does not depend on the Hash object, so it might as well be static. On the other hand, f(Hitem) is often unintentially called with the distinguished singleton SymbolHash obect, even when the Hitem to be redirected is owned by a different Hash object. Generally speaking, it is really bad for a Hash object to mess with Hitems owned by a different Hash object, so the situation at hand was just working by dumb luck. To fix this situation, I made Hash.f(Hitem) static. As I find them, I will replace the virtual calls to f(Hitem) with static calls. (There are probably hundreds of such calls).
For the record, the Hash class is a home-brewed affair specially optimized for storing Cons data. I wanted very much to replace it with standard J2SE stuff, but this looked like a non-starter.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerID.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Cons.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hash.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashCoreParser.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HiFormer.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/GlobalViewWindow.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-22 01:19:33
|
Revision: 1214
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1214&view=rev
Author: frankrimlinger
Date: 2009-02-22 01:19:23 +0000 (Sun, 22 Feb 2009)
Log Message:
-----------
static data reset logic for module and enterprise packages. general cleanup of engine package code.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/WorkerAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/input/RuleBaseAction.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreKons.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreMangoObject.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreRule.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreRuleBase.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreVariableFactory.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/CloneCoreRuleAction.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/deprecatedPackage/factory/EmbeddedJVMFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/GraphModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/ListModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/MultiGraphModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/SourceModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/TreeModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/msg/MsgSendAspect.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/LocatableFolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/LocatorManager.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/ModuleLocator.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/EncapsulateNameMapping.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/GetPredicateTransformer.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HiddenObject.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/ExpLevelSym.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/InitializationID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentObjectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/SourceAspectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerID.java
branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph2DViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph3DViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/graph/msg/MultiGraph3DViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/action/AddMatchAction.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/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/IncrementalUpdateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualDefinitionMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualInstantiationMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/HarvestParametersTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/MethodInstanceWindow.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/model/MethodInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/MergeRequestMsg.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/ApplyInvarianceRulesMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugGeneralizationDetailsMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugGeneralizationMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugInvariantsMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugLinearArithmeticMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowAssumptionMatchFailureMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowRewriteErrorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleReadOnlySym.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/ReadOnlyCacheTrap.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/LoadClassFileDataRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/ReplayedMsg.java
branches/mango/extensions/mango/Mango/src/mango/source/agent/msg/SourceViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeNodeCloseRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeNodeOpenRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/UndoFormattingOpenRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/data/TreeNodeClientData.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/util/LOG.java
branches/mango/extensions/mango/Mango/src/mango/worker/Worker.java
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/CallBack.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hash.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hitem.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/csym/Csym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHash.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/AssumeHypoRule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Req.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/RuleBase.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/TemplateRuleManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/VariableBinding.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/ActionCallBack.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/Graph.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/PopUpMenuEnabler.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/ProxyVariable.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/msg/
branches/mango/extensions/mango/local/frank
branches/mango/extensions/mango/local/frank_input
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/EmbeddedJVM.java
branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/ProxyNull.java
branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/ProxyVariable.java
branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/factory/
branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/msg/
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/NullWorkerID.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/csym/Meaningful.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-22 19:22:21
|
Revision: 1218
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1218&view=rev
Author: frankrimlinger
Date: 2009-02-22 19:22:13 +0000 (Sun, 22 Feb 2009)
Log Message:
-----------
fixed a few easy staticReset bugs. Hunt for stubborn staticReset bug in progress.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/util/LOG.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/Event.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/InterpretableSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/UnifyEvent.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.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: <fra...@us...> - 2009-02-22 20:44:09
|
Revision: 1219
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1219&view=rev
Author: frankrimlinger
Date: 2009-02-22 20:44:02 +0000 (Sun, 22 Feb 2009)
Log Message:
-----------
stubborn staticReset bug still in progress. Weirdness occurs after LoopDefinition target is set up (or so it seems), but definitely before any rewriting takes place (I think). It is computed identically the second time, but then occurs as something different when the target window is opened???
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-23 04:48:00
|
Revision: 1220
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1220&view=rev
Author: frankrimlinger
Date: 2009-02-23 04:47:56 +0000 (Mon, 23 Feb 2009)
Log Message:
-----------
Fixed several staticReset bugs, and cleanup initialization of the SymbolHash extensions. But the stubborn bug was hidden deeper. The point was that commands in the script may persist across worker lifetimes. The ID's in these commands bind with the first worker. Alas, the next time the script runs, the new worker attempts to use these stale bindings, and the results are most unsatisfactory. Cleaning the stale bindings out of these messages means overriding each message class reset() method to call its super and then call reset on each of its ID fields. This has been done for LoopDefinitionRequestMsg, but there are probably dozens of messages which need the treatment. There was previously a hack in place to allow the extraction mechanism to reject stale bindings from a newly connected worker, but rather than rely on something inherently fragile, I am just going to bite the bullet and reset all the messages properly.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/sym/LogicalKey.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleKey.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/GlobalObjectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/GlobalParityID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentObjectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerID.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/DefinitionWindowManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHash.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashLogicAndArithmetic.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRecent.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/ExpressionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/InterpretableSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/sym/TranslationSym.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.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: <fra...@us...> - 2009-02-24 06:08:06
|
Revision: 1223
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1223&view=rev
Author: frankrimlinger
Date: 2009-02-24 06:08:01 +0000 (Tue, 24 Feb 2009)
Log Message:
-----------
rebuilt test System binaries. For some reason java.Math does not survive pass1, bad ClassInfo tag. As disconcerting as this may be, everything else is ok, so dropping Math for now. All this code will be replaced by jpf anyway. Bugs in the backup mechanism for the System need to be fixed. Hopefully back in E-Z bug territory.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/ClassParserDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Getandput.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Loading.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Newandmisc.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ConstantPool.java
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
branches/mango/extensions/mango/local/franklocal_input/System/bin/bin.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-24 21:18:49
|
Revision: 1224
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1224&view=rev
Author: frankrimlinger
Date: 2009-02-24 21:18:43 +0000 (Tue, 24 Feb 2009)
Log Message:
-----------
fixed some E-Z bugs. fixed banner stamper to check entire file for existence of the banner, as sometimes package stuff gets put at the top of the file. Stamped banner on some recent files.
Realized the system code still has legacy nomenclature in it and is therefore out of sync with the rulebase. Next thing to fix.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/BackupAction.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreHitem.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreHitemFactory.java
branches/mango/extensions/mango/Mango/src/mango/data/TestData.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HashItemProxyPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HiddenObjectPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/IDException.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerIDBeanInfo.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ApplyCondMapAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/CaptureMapAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ManualDefinitionAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ManualInstantiationAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/RestoreContextAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ApplyCondMapMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CaptureMapMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualDefinitionMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualInstantiationMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/RestoreContextMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/HarvestParametersTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedCloseCaseConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/agent/LoopInstanceAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/agent/MethodInstanceAgent.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/model/RuleModel.java
branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleLevelSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/FrameTransitionToFunctionalContext.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/StatTransitionToFunctionalContext.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/TransitionToFunctionalContext.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/Conjecture.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Equivalence.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/FactorizationModel.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Function.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Hypothesis.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Parameter.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/StandingEquivalence.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/StandingHypothesis.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Status.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/definition/HarvestLocalVariableFunction.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/AmbientLocal.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/RenderInvariantName.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/function/BaseInvariantAgentProxySym.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/function/PathNameExp.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/naturalLanguage/ParameterName.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/typing/PredicateReq.java
branches/mango/extensions/mango/Mango/src/mango/script/util/ScriptAndPostAction.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/CellPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/worker/EventLoopCmd.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/ClassParserDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/TranslationToJavaDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/AssumeHypoRule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/OtherPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/UserVarSym.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/linkingModel/MethodResolution.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/FortyTwo.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/GeneralizeAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/BindModuleAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.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/CaptureModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/FactorizationModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantManifestModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantStatus.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/LocalInvariant.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/ScoreModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/sym/BaseInvariantAgentProxySym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/trap/BuildInvariantNamesConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/trap/BuildInvariantNamesTrap.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/PopUpMenuEnabler.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/PopUpMsg.java
branches/mango/extensions/mango/ThreadSupport/src/impl/ScriptTestCommand.java
branches/mango/extensions/mango/ThreadSupport/src/impl/SerialChildCommand.java
branches/mango/extensions/mango/ThreadSupport/src/impl/SerialCommand.java
branches/mango/extensions/mango/ThreadSupport/src/impl/SerialParentCommand.java
branches/mango/extensions/mango/ThreadSupport/src/model/AckCommand.java
branches/mango/extensions/mango/ThreadSupport/src/model/Priority.java
branches/mango/extensions/mango/ThreadSupport/src/model/Restart.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Boolean.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Byte.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Class.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Integer.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Object.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Short.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_String.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_StringBuffer.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/util/Destiny_ArrayList.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/String.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/StringBuffer.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/AbstractCollection.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/AbstractList.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/ArrayList.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Collection.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Iterator.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/List.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/ListIterator.java
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/observer pattern.rtf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-25 21:23:53
|
Revision: 1230
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1230&view=rev
Author: frankrimlinger
Date: 2009-02-25 21:23:46 +0000 (Wed, 25 Feb 2009)
Log Message:
-----------
Fixed a few E-Z bugs. Observed that with the System loaded, StartRequestMsg seemed to take a long time to execute. Confirmed this with some time measurments, about 25 seconds. Traced problem to Sym.makePersistent(HiddenObject). If this routine is short-circuited, measurement is a nominal 1 second approx. Very likely this is a bug, as opposed to a "performance problem." So far I have found no evidence that Java is "slower" than C++, as people sometimes claim, but the jury is still out on this particular issue.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/ClassParserDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
branches/mango/extensions/mango/local/franklocal_input/System/bin/bin.jar
branches/mango/extensions/mango/local/franklocal_input/System/bin/build
branches/mango/extensions/mango/local/franklocal_input/System/build
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/DataInput.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/File.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/FileDescriptor.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/FileOutputStream.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/FilterOutputStream.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/IOException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/InputStream.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/ObjectInput.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/ObjectInputStream$GetField.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/ObjectInputStream.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/ObjectStreamClass.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/ObjectStreamConstants.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/ObjectStreamField.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/OutputStream.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/PrintStream.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/Serializable.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/ArithmeticException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/ArrayIndexOutOfBoundsException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/ArrayStoreException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Boolean.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Byte.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/CharSequence.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Character.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Class.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/ClassCastException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/ClassNotFoundException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/CloneNotSupportedException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Cloneable.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Comparable.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Double.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Exception.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Float.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/IllegalAccessException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/IllegalArgumentException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/IllegalMonitorStateException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/IllegalStateException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/IllegalThreadStateException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/IndexOutOfBoundsException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/InstantiationException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Integer.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/InterruptedException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Long.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Math.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/NegativeArraySizeException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/NoSuchFieldException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/NoSuchMethodException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/NullPointerException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Number.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/NumberFormatException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Object.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/RuntimeException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/SecurityException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Short.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/String.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/StringBuffer.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/StringBuilder.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/StringIndexOutOfBoundsException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/System.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Throwable.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/UnsupportedOperationException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Void.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/reflect/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/reflect/Array.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/math/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/math/BigInteger.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/net/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/net/URI.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/net/URL.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/AbstractCollection.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/AbstractList.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/AbstractMap.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/ArrayList.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Arrays.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Collection.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Comparator.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/HashMap.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Iterator.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/List.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/ListIterator.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Locale.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Map.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Random.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/RandomAccess.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Set.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_Boolean.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_Byte.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_Class.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_Integer.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_Object.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_Short.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_String.charAt worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_String.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_String.length worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_String.setValueFromStringBuffer worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_StringBuffer.append worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_StringBuffer.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/util/
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/util/Mango_ArrayList.add worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/util/Mango_ArrayList.class
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal_input/System/DFL notes/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-26 20:08:17
|
Revision: 1233
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1233&view=rev
Author: frankrimlinger
Date: 2009-02-26 20:08:11 +0000 (Thu, 26 Feb 2009)
Log Message:
-----------
Fixed slowness problem in Hash class. There was a bug that caused most names to hash to the same place, which caused the radical slow down. I also rewrote the low-level hash function code to use a static char[] instead of creating String objects like there was no tomorrow. With all these improvements, the hash stress tests show the java version about twice as slow as C++. This is not bad, since the C++ has had the benefit of fine tuning over the years. Certainly Hash is fast enough for phase 2 purposes.
Fixed more E-Z bugs. Finally back to the point several days ago with the locator indexing bug on session replay. Now that the replay mechanism is working smoothly, it is time to proceed with this bug.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/ReplayedMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/Worker.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hash.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal/sessions/b.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-26 23:15:41
|
Revision: 1234
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1234&view=rev
Author: frankrimlinger
Date: 2009-02-26 23:15:32 +0000 (Thu, 26 Feb 2009)
Log Message:
-----------
Fixed E-Z index encoding bug on session replay. Replay is now working well. Next bug in close case message, parametrization bug? Use session c.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/ModuleLocator.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/a.xml
branches/mango/extensions/mango/local/franklocal/sessions/b.zip
branches/mango/extensions/mango/local/franklocal/sessions/c.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-28 04:32:47
|
Revision: 1238
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1238&view=rev
Author: frankrimlinger
Date: 2009-02-28 04:32:45 +0000 (Sat, 28 Feb 2009)
Log Message:
-----------
Reinstated all missing code for hot addition and deletion of rules and tiers. First successful generation of complete session for itsAWrap loop. On replay, hidden value extraction logic has a bug that causes a NullPointerException. Should be E-Z to fix. Fix logic to locate sessions in a folder parallel to the package structure. Fix hot statistics display in the log window. With all this infrastructure in place it should be possible to regenerate all the test sessions while swatting the remaining bugs. Finally, rebuild the System sessions, and phase 2 is complete. With luck, phase 3, integration with jpf, can start in a month or so. Then the real fun begins.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/msg/DeleteCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/ActiveObject.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.java
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/op0 is less than 10.zip
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal/rules/rulebase1.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-01 05:03:28
|
Revision: 1241
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1241&view=rev
Author: frankrimlinger
Date: 2009-03-01 05:03:18 +0000 (Sun, 01 Mar 2009)
Log Message:
-----------
Fixed numerous E-Z bugs. Working on itsAWrap.clear(), invariant rules not kicking. Loop posts twice in instantiation window. Before investigation, fix session save location and status display. One thing at a time.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/util/CoreUtilities.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/ID.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/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/EliminateHypothesisLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/sym/LoopInstanceSym.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/model/MethodInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/sym/MethodInstanceSym.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/sym/InstanceManagerProxySym.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/sym/InstanceManagerSym.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/CreateParametersMsg.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/MergeTrap.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/BindFunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/FolderViewAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/WorkerCommand.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/SimplifyAndAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/SimplifyOrAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/LoopInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/MethodInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleHypothesisSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/UserInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/sym/TranslationSym.java
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
branches/mango/extensions/mango/local/franklocal/sessions/op0 is less than 10.zip
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal/sessions/a.xml
branches/mango/extensions/mango/local/franklocal/sessions/b.zip
branches/mango/extensions/mango/local/franklocal/sessions/c.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-02 01:09:31
|
Revision: 1242
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1242&view=rev
Author: frankrimlinger
Date: 2009-03-02 01:09:29 +0000 (Mon, 02 Mar 2009)
Log Message:
-----------
Reinstated session saving and statistics display code. Now to work on itsAWrap.clear(). Three immediate bugs to fix: a replay bug involving the status rule, loop instantiation symbol appears twice in the instance window, invariant rules are not kicking.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/statistic/StatisticManager.java
branches/mango/extensions/mango/Mango/src/mango/core/statistic/StatisticUpdate.java
branches/mango/extensions/mango/Mango/src/mango/core/statistic/StatisticUpdateFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/extensions/mango/Mango/src/mango/worker/EventLoopCmd.java
branches/mango/extensions/mango/Mango/src/mango/worker/Mango.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/ActiveObject.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/RuleBase.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Tier.java
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/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_i_Code_01/
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
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal/sessions/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-03-02 05:03:07
|
Revision: 1243
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1243&view=rev
Author: frankrimlinger
Date: 2009-03-02 05:03:04 +0000 (Mon, 02 Mar 2009)
Log Message:
-----------
Fixed a replay bug involving the status rule and loop instantiation symbol appears twice in the instance window. One fun thing you can do in C++ is statically invoke a virtual method in order to "skip up" the class hierarchy. This doesn't work in Java, so might get burned some more by this. Next need to find out why invariant rules are not firing correctly. They definitely are firing.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/module/definition/DefinitionWindowManager.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/agent/LoopInstanceAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/agent/MethodInstanceAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/RewriteAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.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/ConditionalMethodTestAgent.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/MethodInvariantTestAgent.java
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-02 19:50:43
|
Revision: 1244
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1244&view=rev
Author: frankrimlinger
Date: 2009-03-02 19:50:38 +0000 (Mon, 02 Mar 2009)
Log Message:
-----------
Fixed some E-Z bugs, and invariant rules fired correctly for itsAWrap.clear(). Finished the icon binding chore. Next bug: rewriter fails to acknowledge termination conjecture for itsAWrap.clear().
Have started thinking about jpf integration. Since jpf likes to boot off a preferences file, the obvious thing is to generate such a file and use it to wake up jpf in a new thread. As jpf wakes up it will generate the java model. Mango must then observe this model and use it to generate the Mango model. Then new code must be written to convert the mango model into annotations that are usable by jpf. Also, a control mechanism must be written to step jpf from the mango gui. Then this apparatus must be tested against the prototype test set (which incidentally remains to be generated.) With all this in place, the new invariant strategy based on the jpf backtracing mechanism can be layered in. From there, other innovations to enhance automation will be introduced. The mango gui will never entirely wither away, because certain kinds of reason really do require user input. But the long term goal would be for it to blend into the development platform so that programmers could use the tool without actually knowing it was there.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/TreeModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/CallEdgeSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/InvocationEdgeSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/SourceLineSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/VertexSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/ReflectionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/StateSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/AssertionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperEntrySym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperStrataSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/AlphaSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/UconSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/AcyclicVertex.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantFactorizationAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-03 02:29:57
|
Revision: 1245
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1245&view=rev
Author: frankrimlinger
Date: 2009-03-03 02:29:48 +0000 (Tue, 03 Mar 2009)
Log Message:
-----------
Fixed several E-Z bugs, so that itsAWrap.clear() successfully replays. There is a ConcurrentModificationException in gumbo sometimes when inserting nodes into a graph. Since this is a (benign?) gui issue ignoring for now, but eventually this has to be tracked down.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/DFLocator.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/model/LoopInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantManifestModel.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
Added Paths:
-----------
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
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-03 05:16:17
|
Revision: 1246
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1246&view=rev
Author: frankrimlinger
Date: 2009-03-03 05:16:14 +0000 (Tue, 03 Mar 2009)
Log Message:
-----------
fixed some bugs. Next: in itsAWrap.main(), instantiation of hypothesis for loop() is incorrect.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/LocatableArraySym.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/model/MethodInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Method.java
branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/main([I)Z/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
×
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.
Thanks for helping keep SourceForge clean.
X