Menu
▾
▴
[Javapathfinder-svn] SF.net SVN: javapathfinder:[1270] branches/mango/extensions/mango
|
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.
|
