[Javapathfinder-svn] SF.net SVN: javapathfinder:[1831] branches/mango/Mango

[<fra...@us...>]

Revision: 1831
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1831&view=rev
Author:   frankrimlinger
Date:     2009-08-16 04:19:13 +0000 (Sun, 16 Aug 2009)

Log Message:
-----------
Fixed more typing/translation bugs.  Improvements in the handling of numbers have made the "relaxed number" concept completely unnecessary.  All vestiges of relaxation have been eliminated.

Next bug: conjecture in itsAWrap.main rewrites to 'f.  Oops... probably another typing bug.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/module/definition/msg/EliminateHypothesisRequestMsg.java
    branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithDiveCommutes.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Add.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Divide.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Floor.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Increment.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Multiply.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Negate.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Power.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Subtract.java
    branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateReturnUcon.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/PredicateReq.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hitem.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashLogicAndArithmetic.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/agent/StabilizeParameterAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/agent/TranslateModuleAgent.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/op0 is less than 10.zip

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase1.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/Array length of x is greater than or equal to 10.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_doubleRelax.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_floatRelax.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_intRelax.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_longRelax.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_relaxedNumber.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/DoubleRelaxReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/FloatRelaxReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/IntRelaxReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/LongRelaxReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/RelaxedNumberReq.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.