Menu
▾
▴
javapathfinder-svn — source repository related messages (SVN)
You can subscribe to this list here.
| 2008 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(16) |
Jun
(42) |
Jul
(46) |
Aug
(48) |
Sep
(33) |
Oct
(26) |
Nov
(28) |
Dec
(38) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2009 |
Jan
(35) |
Feb
(80) |
Mar
(112) |
Apr
(108) |
May
(102) |
Jun
(126) |
Jul
(89) |
Aug
(82) |
Sep
(36) |
Oct
(7) |
Nov
(1) |
Dec
(4) |
| 2010 |
Jan
(87) |
Feb
|
Mar
(2) |
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: <fra...@us...> - 2009-03-11 18:06:07
|
Revision: 1270
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1270&view=rev
Author: frankrimlinger
Date: 2009-03-11 18:05:54 +0000 (Wed, 11 Mar 2009)
Log Message:
-----------
A few more tweaks to make logic quantifiers persist correctly. Fixed DFL display to convert bound expressions to their binder symbol. This feature was just lost in the translation from C++ but is necessary for DFL editing. Code refactored so DFL is changed to MFL, meaning "Mango Formal Language". Requires rebuild of all existing sessions, rulebase already ported. Removed all code for porting rulebase from legacy app. From here on out, mango flies solo.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/Resources/IconIndex.java
branches/mango/extensions/mango/Mango/src/mango/control/action/editor/CheckSyntaxAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/editor/PostAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/input/RuleBaseAction.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenEncapsulationTemplateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenInterpretationRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/window/WorkstationWindow.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreHitemFactory.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ApplyCoreRuleAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ImportCoreTierAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/SaveCoreRuleBaseOutlineAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/UpdateVariablesAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/CoreVariableTableModel.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/window/CoreRuleEditorWindow.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/window/CoreSuperWindow.java
branches/mango/extensions/mango/Mango/src/mango/core/io/MangoEncoder.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/RuleKey.java
branches/mango/extensions/mango/Mango/src/mango/core/util/CoreStringUtilities.java
branches/mango/extensions/mango/Mango/src/mango/core/util/CoreUtilities.java
branches/mango/extensions/mango/Mango/src/mango/debugger/BreakPointWindow.java
branches/mango/extensions/mango/Mango/src/mango/debugger/DebuggerWindow.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/DFLocator.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/Locator.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/ModuleLocator.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/GetPredicateTransformer.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/ExpLevelSym.java
branches/mango/extensions/mango/Mango/src/mango/list/ListNodeData.java
branches/mango/extensions/mango/Mango/src/mango/list/impl/SwingJLabelViewFactory.java
branches/mango/extensions/mango/Mango/src/mango/merge/window/CoreRuleCompareWindow.java
branches/mango/extensions/mango/Mango/src/mango/merge/window/FindPatternWindow.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/CheckCoreEquivalenceSyntaxAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/PredicateSyntaxModel.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceConjectureRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ApplyCondMapMsg.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/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/model/InstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeRequestMsg.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/GeneralizeCaseRewriteTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/MapToScopeTrap.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Generalize.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Match.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/OverDisambiguation.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SubType.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithChange.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeException.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeException.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/classModel/Instanceof.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/garbageCollection/GarbageCollect.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/BindBoot.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/ConditionalMethodInvariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/Invariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/MethodInvariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/DoesNotThrow.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/MethodCallAssumption.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/ThisIsNotNull.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/Quotes.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateOver.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/BinderFrame.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/BinderHeap.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/BinderStack.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/BinderStat.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/ConjunctionSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/EquationSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/HeapItemSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/HeapObjectSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/InequationSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/LocalVar.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/OpStack.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/OpVar.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/StatItemSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/function/ModuleHypothesisSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/function/ParamSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/function/UserInvocationSymReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/linearArithmetic/ArithmeticLocalVar.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/symbols/FoundationSymReq.java
branches/mango/extensions/mango/Mango/src/mango/tree/TreeViewManager.java
branches/mango/extensions/mango/Mango/src/mango/tree/TreeViewWindow.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/FolderViewAgent.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/TreeViewAgent.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/Cell.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeNodeOpenRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/util/LOG.java
branches/mango/extensions/mango/Mango/src/mango/worker/Mango.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hitem.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashCoreParser.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/UnifyEvent.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Invoking.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/CheckCast_getValueAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/IsAssignmentCompatibleAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/ValueHAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/AlphaSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/GeneralizeAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/LinearArithmeticAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/OverAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/WithAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/EquationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/FoundationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/CellUpdateTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/RewriteTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/agent/ConvertCharArrayToStringAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/model/HeapPointer.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/model/HeapTracer.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/LocalItemModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/OpItemModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/BindModuleAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvalConditionalAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/InvertConditionalAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/StabilizeParameterAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/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/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/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
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/RewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumeEquivalenceAgent.java
branches/mango/extensions/mango/Mango/src/mango/workstation/ViewBuilder.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/action/MangoActionManager.java
branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/Actions.java
branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/PopUpMenuEnabler.java
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/MFLEditorAction.java
branches/mango/extensions/mango/Mango/src/mango/control/editor/MFLEditorWindow.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenMFLEditorRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenMFLasAxiomRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreMFLexportProxySym.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreMFLexportProxySymFactory.java
branches/mango/extensions/mango/Mango/src/mango/core/io/CoreMFLexportProxySymPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/core/mfl/
branches/mango/extensions/mango/Mango/src/mango/core/mfl/CoreMFLBuilder.java
branches/mango/extensions/mango/Mango/src/mango/core/mfl/CoreMFLCreator.java
branches/mango/extensions/mango/Mango/src/mango/core/mfl/CoreMFLReader.java
branches/mango/extensions/mango/Mango/src/mango/core/mfl/CoreMFLTokenizer.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/MFLocator.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/MFLocatorPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/HitemUtil.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/DFLEditorAction.java
branches/mango/extensions/mango/Mango/src/mango/control/editor/DFLEditorWindow.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenDFLEditorRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenDFLasAxiomRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreDFLexportProxySym.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreDFLexportProxySymFactory.java
branches/mango/extensions/mango/Mango/src/mango/core/dfl/CoreDFLBuilder.java
branches/mango/extensions/mango/Mango/src/mango/core/dfl/CoreDFLCreator.java
branches/mango/extensions/mango/Mango/src/mango/core/dfl/CoreDFLReader.java
branches/mango/extensions/mango/Mango/src/mango/core/dfl/CoreDFLTokenizer.java
branches/mango/extensions/mango/Mango/src/mango/core/io/CoreDFLexportProxySymPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/core/mfl/CoreDFLBuilder.java
branches/mango/extensions/mango/Mango/src/mango/core/mfl/CoreDFLCreator.java
branches/mango/extensions/mango/Mango/src/mango/core/mfl/CoreDFLReader.java
branches/mango/extensions/mango/Mango/src/mango/core/mfl/CoreDFLTokenizer.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/DFLocatorPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HitemUtil.java
branches/mango/extensions/mango/cheat iterator
branches/mango/extensions/mango/issue with SymbolicLinkPacket.rtf
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/Array 'a' is non-negative for indices 0 to i - 1.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/loops/-baseline.find_negative.find_negative_test([II)I#4:iload_i_Code_01/op0 is less than 'n'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/'x' is less than 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#10:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#19:iload_i_Code_01/'x' is greater than or equal to op0.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/main(I)Z/'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/main(I)Z/'x' is less than 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_i_Code_01/op0 is less than 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/length of theArray 'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/'i' does not equal 3.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/op0 is less than 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#10:iload_j_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#14:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/main(I)Z/local variable 1 from ouput of -baseline.nested_loops.loops(I)I#14:iload_i_Code_01 is greater than or equal to 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/loops(I)I/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#15:iload_j_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#7:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/main(I)Z/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/'x in loop at #3:iload_x' is greater than or equal to 5.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/'y in loop at #3:iload_x' is greater than or equal to 5.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/loops/-baseline.while_with_conjunct.conjunctive_while_loop(II)I#3:iload_x_Code_01/op0 is less than 5.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is greater than or equal to 5.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is less than 5.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/main(II)Z/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/simple_loop(I)I/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/simple_loop(I)I/loops/-baseline.while_with_conjunct.simple_loop(I)I#2:iload_x_Code_01/op0 is less than 5.zip
branches/mango/extensions/mango/src/
branches/mango/extensions/mango/status.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-11 04:49:58
|
Revision: 1269
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1269&view=rev
Author: frankrimlinger
Date: 2009-03-11 04:49:44 +0000 (Wed, 11 Mar 2009)
Log Message:
-----------
Successfully generated and replayed the find_negative sessions. With the semantics for higher order logic in place, I think it will be fun to start admitting mango artifacts to a theorem prover. In this example, you have a loop that steps through an array of numbers and exits if one of the values is negative or it reaches the end of the array or some number n of steps. So the hypothesis that the exit is before the end of the array involves second order logic, like so:
Hypothesis: there exists i: i is less than 'n' AND i is less than length of the Array 'a' AND 'a'[i] is less than 0 AND Array 'a' is non-negative for indices 0 to i - 1
Mango can't figure anything like that out, but it does suggest the following (by unwinding loop exit conditions)
Conjecture: 'a'['i in loop at #4:iload_i'] is less than 0
Conjecture: 'i in loop at #4:iload_i' is less than 'n'
Conjecture: 'a'['i in loop at #4:iload_i'] is in range
Hypothesis: 'a' is defined
Also, mango gives the result:
Close case: Returns int: 'a'['i in loop at #4:iload_i'].
This process gives a good feel for the behavior of the code, but of course it would be super-duper to admit the whole situation to a theorem prover and prove the conjectures. I could go into training and do it with ACL2 but I am hoping to get others (bright undergrads?) interested in this activity once the tool is ready for prime time.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/DFLocator.java
branches/mango/extensions/mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateArrayHeapItem.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateHeapItem.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateValueH.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/FreeVariableSym.java
branches/mango/extensions/mango/jars/Resources.jar
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/Resources/icons/icon1162.png
branches/mango/extensions/mango/Mango/src/mango/Resources/icons/icon1163.png
branches/mango/extensions/mango/Mango/src/mango/Resources/icons/icon1164.png
branches/mango/extensions/mango/Mango/src/mango/Resources/icons/icon1165.png
branches/mango/extensions/mango/Mango/src/mango/Resources/icons/icon1166.png
branches/mango/extensions/mango/Mango/src/mango/Resources/icons/icon1167.png
branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/Array 'a' is non-negative for indices 0 to i - 1.zip
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/Resources/Resources.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-03-11 04:13:19
|
Revision: 1268
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1268&view=rev
Author: pcmehlitz
Date: 2009-03-11 04:12:50 +0000 (Wed, 11 Mar 2009)
Log Message:
-----------
* added a bit more support for java.text.DateFormat, plus basic test. While the idea was to use native peers to cut off the whole calendar and parse/format processing, this doesn't really work right now - there are too many insns executed, and if somebody seriously uses the xxFormat APIs, there's a bad chance of hitting missing natives and/or only partially initialized JPF (proxy) objects. Needs more work
* added an MJIEnv.getDateObject() converter
Modified Paths:
--------------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_text_DateFormat.java
trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
Added Paths:
-----------
trunk/test/gov/nasa/jpf/jvm/TestJavaTextDateFormat.java
trunk/test/gov/nasa/jpf/jvm/TestJavaTextDateFormatJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-03-11 00:52:53
|
Revision: 1267
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1267&view=rev
Author: pcorina
Date: 2009-03-11 00:52:35 +0000 (Wed, 11 Mar 2009)
Log Message:
-----------
Fixed GETSTATIC.
Helper.initializeStaticFields still needs to be fixed.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETSTATIC.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-10 19:47:30
|
Revision: 1266
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1266&view=rev
Author: frankrimlinger
Date: 2009-03-10 19:47:17 +0000 (Tue, 10 Mar 2009)
Log Message:
-----------
Finished hooking up universal quantifier syntax. Almost done fixing a long-standing bug involving array syntax a[x] versus field syntax a.x. With this in place the find_negative test will be working very nicely.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/Resources/How to create or modify icons
branches/mango/extensions/mango/Mango/src/mango/core/dfl/CoreDFLCreator.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/OverDisambiguation.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/linear/BuildEquation.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/comparison/Equals.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateSubaddress.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.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/utilities/Util.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/OverAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/StabilizeArgumentsAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/FreeVariableSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HitemUtil.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.java
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/Resources/editableIcons/icon1168_UntypedVariable.icns
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateFreeVariableSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateOver.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateValueH.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/Resources/How to create or modify icons (Autosaved)
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateFreeVars.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-10 03:41:41
|
Revision: 1265
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1265&view=rev
Author: frankrimlinger
Date: 2009-03-10 03:41:30 +0000 (Tue, 10 Mar 2009)
Log Message:
-----------
Finished writing code for universal quantifiers. Start by debugging a simple universal expression.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/Resources/IconIndex.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleKey.java
branches/mango/extensions/mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/otherReqs/OtherButNotVariable.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/FreeVariableSym.java
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/OverDisambiguation.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/function/OverReq.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/otherReqs/FreeStateVariable.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/otherReqs/OtherButNotFreeState.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/symbols/UntypedVariableReq.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/OverAgent.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/otherReqs/FreeVariable.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/otherReqs/OtherButNotFree.java
branches/mango/extensions/mango/local/franklocal/rules/rulebase port.rtf
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-09 19:56:06
|
Revision: 1264
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1264&view=rev
Author: frankrimlinger
Date: 2009-03-09 19:55:54 +0000 (Mon, 09 Mar 2009)
Log Message:
-----------
Adding syntax for universal and existential quantification. There is no plan to interpret such statements within mango, but they are necessary for forming sophisticated hypotheses and conjectures. The main issue is ensuring there is no free variable name-space collision. This has been on the to do list for years, and is the first new feature for mango. With universal quantification in place, the baseline find_negative_test can finally get a satisfactory treatment.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/Resources/IconIndex.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreKons.java
branches/mango/extensions/mango/Mango/src/mango/core/dfl/CoreDFLBuilder.java
branches/mango/extensions/mango/Mango/src/mango/core/dfl/CoreDFLCreator.java
branches/mango/extensions/mango/Mango/src/mango/core/dfl/CoreDFLReader.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/editing/CoreVariableRequirementCellEditor.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/model/HeapPointer.java
branches/mango/extensions/mango/jars/Resources.jar
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/Resources/How to create or modify icons (Autosaved)
branches/mango/extensions/mango/Mango/src/mango/Resources/Resources.jar
branches/mango/extensions/mango/Mango/src/mango/Resources/editableIcons/icon1008_UntypedVariable.icns
branches/mango/extensions/mango/Mango/src/mango/Resources/icons/icon1168.png
branches/mango/extensions/mango/Mango/src/mango/core/sym/UntypedVariable.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/GetFreeVariableName.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SyntacticEquals.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateFreeVars.java
branches/mango/extensions/mango/local/franklocal/rules/rulebase1.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/loops/-baseline.find_negative.find_negative_test([II)I#4:iload_i_Code_01/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/find_negative/find_negative_test([II)I/loops/-baseline.find_negative.find_negative_test([II)I#4:iload_i_Code_01/op0 is less than 'n'.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-03-09 16:07:22
|
Revision: 1263
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1263&view=rev
Author: pcmehlitz
Date: 2009-03-09 16:07:20 +0000 (Mon, 09 Mar 2009)
Log Message:
-----------
* missing AtomicInteger peer caused ULE - thanks John Kerich
* Search.forward() was calling JVM.isNewState() instead of Search.isNewState(), thus ignoring 'search.match_depth' - thanks Guowei Yang
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/search/Search.java
Added Paths:
-----------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicInteger.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-09 03:40:48
|
Revision: 1262
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1262&view=rev
Author: frankrimlinger
Date: 2009-03-09 03:40:22 +0000 (Mon, 09 Mar 2009)
Log Message:
-----------
Fixed some E-Z bugs, and generated the sessions for the while_with_conjunct baseline test. This completes the "classical" set of loop tests written by Robert Krug at UT Austin. At one time, the proof artifacts (e.g. rules) generated by these examples were actually admitted into the ACL2 logic and proven. Much has changed since that time, but I hope to pick up this thread again some day. Meanwhile, there are many more tests, and then all of the java.lang modelled by Mango has to be regenerated. So far, so good.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/source/agent/msg/SourceViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/action/MangoActionManager.java
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/<init>()V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/'x in loop at #3:iload_x' is greater than or equal to 5.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/'y in loop at #3:iload_x' is greater than or equal to 5.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/loops/-baseline.while_with_conjunct.conjunctive_while_loop(II)I#3:iload_x_Code_01/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/loops/-baseline.while_with_conjunct.conjunctive_while_loop(II)I#3:iload_x_Code_01/op0 is less than 5.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is greater than or equal to 5.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is less than 5.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/main(II)Z/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/main(II)Z/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/simple_loop(I)I/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/simple_loop(I)I/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/simple_loop(I)I/loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/simple_loop(I)I/loops/-baseline.while_with_conjunct.simple_loop(I)I#2:iload_x_Code_01/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/while_with_conjunct/simple_loop(I)I/loops/-baseline.while_with_conjunct.simple_loop(I)I#2:iload_x_Code_01/op0 is less than 5.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-09 01:09:15
|
Revision: 1261
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1261&view=rev
Author: frankrimlinger
Date: 2009-03-09 01:08:55 +0000 (Mon, 09 Mar 2009)
Log Message:
-----------
Fixed numerous E-Z bugs to get the source code view working again. Originally I did not plan to reinstate the source code view, as it will ultimately be replaced by whatever view is offered by the development platform for source code level debugging. However, it seems wise to remain platform neutral for as long as possible, so that in the end both Eclipse and NetBeans and platforms still undreamed of can all be supported.
Built the two_loops_in_a_row sessions.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/input/RuleBaseAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/input/SourceDirsAction.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/SetSourceDirectoryRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/PrintAbstractionsAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/window/CoreRuleBaseWindow.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/window/CoreRuleEditorWindow.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/window/CoreTierWindow.java
branches/mango/extensions/mango/Mango/src/mango/core/requirements/RequirementsManager.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java
branches/mango/extensions/mango/Mango/src/mango/graph/data/graphic/SourceLineData.java
branches/mango/extensions/mango/Mango/src/mango/merge/action/SelectCoreRuleBaseAction.java
branches/mango/extensions/mango/Mango/src/mango/rmi/file/MangoFilePacket.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/MangoScriptWindow.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/extensions/mango/Mango/src/mango/source/agent/msg/SourceViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/util/FileSystem.java
branches/mango/extensions/mango/Mango/src/mango/worker/Worker.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ClassModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/CallVertex.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/nested_loops/<init>()V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/<init>()V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/loops(I)I/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/loops(I)I/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#15:iload_j_Code_01/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#15:iload_j_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#7:iload_i_Code_01/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#7:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/main(I)Z/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/two_loops_in_a_row/main(I)Z/case.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-07 03:31:52
|
Revision: 1260
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1260&view=rev
Author: frankrimlinger
Date: 2009-03-07 03:31:44 +0000 (Sat, 07 Mar 2009)
Log Message:
-----------
nested_loops sessions built without problems. This is most reassuring. However, I did notice that when the worker threads are killed and staticReset occurs, the garbage collector does not jump at the chance to reclaim the putatively freed memory. In fact, if several sessions are run from the same mango app, memory just runs out if there isn't very much to begin with (<=2GB ram). For now, the solution is to just use a machine with lots of memory, but eventually must figure this out.
Modified Paths:
--------------
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/baseline/loop_with_if/<init>()V/case.zip
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/loops(I)I/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/loops(I)I/loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#10:iload_j_Code_01/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#10:iload_j_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#14:iload_i_Code_01/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#14:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/main(I)Z/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/nested_loops/main(I)Z/local variable 1 from ouput of -baseline.nested_loops.loops(I)I#14:iload_i_Code_01 is greater than or equal to 'x'.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-07 00:31:36
|
Revision: 1259
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1259&view=rev
Author: frankrimlinger
Date: 2009-03-07 00:31:27 +0000 (Sat, 07 Mar 2009)
Log Message:
-----------
Finished loop_with_if, could not reproduce linear arithmetic problem.
Modified Paths:
--------------
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-03-06 23:29:34
|
Revision: 1258
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1258&view=rev
Author: pcmehlitz
Date: 2009-03-06 23:29:20 +0000 (Fri, 06 Mar 2009)
Log Message:
-----------
* reverted the Source fix that checked for non-existing default vm.sourcedirs, and turned the log warning into an info. Come to think of it, there is no difference between non-existing hardwired and configured dirs, and it would be very misleading to depend on warnings that only cover the first case
* added a build-tools/bin/build-svn-snapshot bash script, o that we finally can have Sourceforge file snapshots on a more regular basis
* changed bin/jpf so that *.class files always have precedence over lib/*.jars (which are used in the binary release)
Modified Paths:
--------------
trunk/bin/jpf
trunk/src/gov/nasa/jpf/util/Source.java
Added Paths:
-----------
trunk/build-tools/bin/build-svn-snapshot
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-06 20:21:01
|
Revision: 1257
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1257&view=rev
Author: frankrimlinger
Date: 2009-03-06 20:20:51 +0000 (Fri, 06 Mar 2009)
Log Message:
-----------
Fixed E-Z bug. There appears to be a linear arithmetic issue in loop_with_if. See a.zip.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/InequationSym.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/loop_with_if/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/<init>()V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/length of theArray 'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/'i' does not equal 3.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/op0 is less than 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/main([I)Z/
branches/mango/extensions/mango/local/rkrug_input/.classpath
branches/mango/extensions/mango/local/rkrug_input/.project
branches/mango/extensions/mango/local/rkrug_input/bin/
branches/mango/extensions/mango/local/rkrug_input/bin/baseline/
branches/mango/extensions/mango/local/rkrug_input/bin/baseline/AxiomInLoop.class
branches/mango/extensions/mango/local/rkrug_input/bin/baseline/big_model_check_test.class
branches/mango/extensions/mango/local/rkrug_input/bin/baseline/find_negative.class
branches/mango/extensions/mango/local/rkrug_input/bin/baseline/if_with_two_loops.class
branches/mango/extensions/mango/local/rkrug_input/bin/baseline/itsAWrap.class
branches/mango/extensions/mango/local/rkrug_input/bin/baseline/loop_with_if.class
branches/mango/extensions/mango/local/rkrug_input/bin/baseline/nested_loops.class
branches/mango/extensions/mango/local/rkrug_input/bin/baseline/two_loops_in_a_row.class
branches/mango/extensions/mango/local/rkrug_input/bin/baseline/while_with_conjunct.class
branches/mango/extensions/mango/trick for double eclipse.rtf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-06 15:50:12
|
Revision: 1256
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1256&view=rev
Author: frankrimlinger
Date: 2009-03-06 15:50:11 +0000 (Fri, 06 Mar 2009)
Log Message:
-----------
generated sessions for if_with_two_loops with no new bugs detected. One would like to think the code is beginning to settle down.
Modified Paths:
--------------
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/<init>()V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/<init>()V/case.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/'x' is less than 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#10:iload_i_Code_01/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#10:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#19:iload_i_Code_01/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#19:iload_i_Code_01/'x' is greater than or equal to op0.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/main(I)Z/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/main(I)Z/'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/if_with_two_loops/main(I)Z/'x' is less than 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/<init>()V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/<init>()V/case.zip
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/main([I)Z/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-06 14:39:50
|
Revision: 1255
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1255&view=rev
Author: frankrimlinger
Date: 2009-03-06 14:39:31 +0000 (Fri, 06 Mar 2009)
Log Message:
-----------
Nothing like a good night's sleep to restore sanity. Removed the KeyListener, and just wrapped LogWindow.addText() in a SwingUtilities.invokelater(). Problem solved. If you *really* need instant logging, then just redirect to the console window. Hopefully this is the last of the concurrency bugs. Proceeding to build the baseline test sessions.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/window/LogWindow.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/AddTextCommand.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-06 05:35:13
|
Revision: 1254
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1254&view=rev
Author: frankrimlinger
Date: 2009-03-06 05:35:12 +0000 (Fri, 06 Mar 2009)
Log Message:
-----------
Fixed E-Z ConcurrentModificationException, which was just a iterator issue. Completed session for itsAWrap.main() and replayed successfully. Noticed that typing in the log window while the worker is sending text causes crashes. Now, the worker contributions are already serialized, so the burden is on the gui thread to play ball. To this end, added KeyListener interface to LogWindow and post the corresponding and handled KeyEvent.KEY_TYPED by posting in a GumboCommand for serialized insertion. I learned how to do this in the Sun Tutorial, "Adding a Key Listener". Pretty cool. Anyway, typing in the Log window is no longer crashing the app.
But this is just the tip of the iceberg. The big problem is mousedown, which crashes if the worker is pounding on the log window. But I need this in order to select and delete text for readability. SO, need a MouseListener, and need to handle mouse down with setCaret and mouse up with moveCaret, or somthing like that. This needs more thought.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/window/LogWindow.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleLevelSym.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/Mango/src/mango/workstation/msg/AddTextCommand.java
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/main([I)Z/a.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-03-06 02:22:11
|
Revision: 1253
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1253&view=rev
Author: pcmehlitz
Date: 2009-03-06 01:34:16 +0000 (Fri, 06 Mar 2009)
Log Message:
-----------
* only add the "src", "examples", "test" dirs as default source roots if they exist (we want to keep a visible warning in case we encounter a non-existing one, but binary distribs don't have those dirs)
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/Config.java
trunk/src/gov/nasa/jpf/util/Source.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-05 22:39:45
|
Revision: 1252
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1252&view=rev
Author: frankrimlinger
Date: 2009-03-05 22:39:36 +0000 (Thu, 05 Mar 2009)
Log Message:
-----------
Fixed the frame bug. Traced it all the way back to SymbolHash.assignParameters(), where num_arguments was passed by reference in C++ but by value in java. If this is the last time I get burned by the value versus reference issue, then I will be very lucky indeed. It is not easy to track down every single '&' that ever was.
Fixed some E-Z bugs.
Next bug: in a.zip for main(), ConcurrentModificationException in CloseCaseMsg,harvestInvariants. Don't jump to conclusions.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualInstantiationMsg.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildAbstractUcon.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/DoubleH.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/FloatH.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/IntegerH.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/LongH.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Number.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Invocation.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Invoking.java
branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/CellUpdateTrap.java
branches/mango/extensions/mango/ThreadSupport/src/model/Commander.java
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-05 05:03:23
|
Revision: 1251
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1251&view=rev
Author: frankrimlinger
Date: 2009-03-05 05:03:14 +0000 (Thu, 05 Mar 2009)
Log Message:
-----------
Reinstated messaging logic for enabling pop-up menus. Tested by popping up menus while script running. No memory corruption observed, so hopefully these threading issues are now all buttoned down. Now back to the frame bug.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/workstation/agent/ActionAgent.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/PopupMenuCommand.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-05 04:28:17
|
Revision: 1250
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1250&view=rev
Author: frankrimlinger
Date: 2009-03-05 04:28:04 +0000 (Thu, 05 Mar 2009)
Log Message:
-----------
Introduced GumboCommand. All messages sent to the gumbo router now extend GumboCommand, and a posted GumboCommand executes by passing itself to the gumbo router. This serializes all the calls to the gumbo router, eliminating the ConcurrentModification bug. Introduced the GUMBO priority for these messages, which is very high, to make the gui as responsive as possible. (This strategy may serve as a prototype for introducing jpf functionality.) Realized there is yet another timing issue. It turns out it was not a great idea for pop-up menu creation to short-circuit the command mechanism. The trouble is that decision to display or not display a given menu item is resolved by appealing to the mango model, and so just like in the gumbo case, the model gets trashed by competing threads. Fix by reintroducing the selection logic command. If the popup is sluggish when other stuff is running, oh well, there is no help for it.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java
branches/mango/extensions/mango/Mango/src/mango/graph/msg/GraphViewCreateCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/graph/msg/MultiGraph3DViewCreateCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/source/agent/msg/SourceViewCreateCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/ChangeTreeCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/MsgSendAspect.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeNodeAddCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeTabCreateCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeViewCreateCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/UpdateParityModelsMsg.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/SetAllActionsEnabledMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/SetEnabledActionsMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/GlobalViewWindow.java
branches/mango/extensions/mango/ThreadSupport/src/model/Priority.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/gumboModel/
branches/mango/extensions/mango/Mango/src/mango/gumboModel/EmbeddedJVMFactory.java
branches/mango/extensions/mango/Mango/src/mango/gumboModel/GraphModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/gumboModel/ListModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/gumboModel/MultiGraphModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/gumboModel/SourceModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/gumboModel/TreeModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/GumboCommand.java
Removed Paths:
-------------
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
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-04 21:36:03
|
Revision: 1249
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1249&view=rev
Author: frankrimlinger
Date: 2009-03-04 21:35:58 +0000 (Wed, 04 Mar 2009)
Log Message:
-----------
Tightened up ack logic to prevent a high priority thread from swapping in and running a command while a lower priority command was running. This fixes the "symbol hashing error". This was a serious problem and required extensive rehab of the ack system as well as a SystemBuilder tweak. Hopefully this issue is put to rest. Took advantage of the rehab to introduce AckConnector class to allow better script hiliting when a command uses sendUserRewrite() instead of the trap mechanism.
Tested by rebuilding and replaying itsAWrap loop and clear() and main() up to the frame bug. No more hashing weirdness, but script hiliting probably needs more work. Perhaps the Commander is introducing unnecessary latency?
Another timing issue: short-circuiting gumbo routing by directly calling MessageRouter.routMessage turns out to be a bad idea. The trouble is (probably) that both worker and the user (via the gui) pound on this from different threads, causing ConcurrentModificationExceptions. So you need to back off and use this the way it was designed.
Fix this, then finally back to frame bug.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/editor/PostAction.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenDFLEditorRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenDFLasAxiomRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenEncapsulationTemplateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenInterpretationRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/ReplayedMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ClearStatisticsAction.java
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/gui/tablemodel/MangoModelUtilities.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleKey.java
branches/mango/extensions/mango/Mango/src/mango/debugger/action/BreakPointTypeAction.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ClearBreakPointMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ContinueRewritingMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetBreakPointMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetBreakPointTypeMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetRuleKeyBreakPointMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleOffMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleOnMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleStepMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/StopRewritingMsg.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/DFLocator.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/Locator.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/workerID/WorkerID.java
branches/mango/extensions/mango/Mango/src/mango/graph/agent/GraphViewAgent.java
branches/mango/extensions/mango/Mango/src/mango/graph/msg/GraphViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/graph/msg/MultiGraph3DViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/CreateMethodStubMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureTranslateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceAutoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceConjectureLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceLocatorMsg.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/AddHypothesisLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisTranslateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ApplyCondMapMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CaptureMapMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseTranslateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseDefinitionMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CoalesceStandingHypothesesMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/DeleteUnusedParametersMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisLocatorMsg.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/msg/IncrementalUpdateMsg.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/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/ConsistentHypoTrap.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/HarvestParametersTrap.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/loop/msg/CloseLoopInstanceMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/model/MethodInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/msg/CloseMethodInstanceMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/trap/RebindTargetConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/MergeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/SubmitStandingHypothesisMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ContainsTestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/CreateParametersMsg.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/DebugInversionMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugLinearArithmeticMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowAssumptionMatchFailureMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowHitsMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowMatchMakerMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowMatchesMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowModuleMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowRewriteErrorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowRewriterAssumptionsMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/TranslateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/ContainsTestTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeCaseRewriteTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/MapToScopeTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/MergeTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/ReadOnlyCacheTrap.java
branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/extensions/mango/Mango/src/mango/source/agent/msg/SourceViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/TreeViewManager.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/FolderViewAgent.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/ChangeTreeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeNodeOpenRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeRuleViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeTabCreateCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/Mango.java
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/UnifyEvent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/CellUpdateTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/LinearArithmeticTrap.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/invariant/trap/BuildInvariantNamesConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/trap/BuildInvariantNamesTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/TrapConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTranslateTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTrapConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateRequestedTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateTrap.java
branches/mango/extensions/mango/Mango/src/mango/workstation/PopUpResourceManager.java
branches/mango/extensions/mango/Mango/src/mango/workstation/ViewBuilder.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/action/MangoActionManager.java
branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/PopUpMenuEnabler.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/ToggleUnblockingStateAction.java
branches/mango/extensions/mango/ThreadSupport/src/impl/ScriptTest.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
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/baseline/itsAWrap/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_i_Code_01/op0 is less than 10.zip
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/AckConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/EventLoopCmd.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/EventLoopTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/UniversalTerminator.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/AckCommand.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ActivationStateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/AddCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ClearStatisticsRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/DeleteCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/EnforceTierSettingsRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/InitSessionMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ModifyCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/PopUpMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/PostCoreRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/PostRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/PriorityScheduleRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/RedoLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/RedoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ReplaceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ReplaceRewriteLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ReplaceRewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/RewriteLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/RewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ScheduleRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/SetActiveCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ShowTypeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/TrapCommand.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/UnblockStateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/UndoLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/UndoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/UpdateStatisticsRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/WorkerCommand.java
Removed Paths:
-------------
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/msg/
branches/mango/extensions/mango/ThreadSupport/src/model/AckCommand.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-04 05:42:14
|
Revision: 1248
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1248&view=rev
Author: frankrimlinger
Date: 2009-03-04 05:42:13 +0000 (Wed, 04 Mar 2009)
Log Message:
-----------
still hunting out-of-order frames bug.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildAbstractUcon.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-03 16:46:01
|
Revision: 1247
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1247&view=rev
Author: frankrimlinger
Date: 2009-03-03 16:46:00 +0000 (Tue, 03 Mar 2009)
Log Message:
-----------
two bugs to fix: frame order is backwards on input to loop() instantiation, loading session before firing worker causes symbol hashing error.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualInstantiationMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleLevelSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hash.java
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.
|
