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

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

Revision: 1430
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1430&view=rev
Author:   frankrimlinger
Date:     2009-04-21 22:27:44 +0000 (Tue, 21 Apr 2009)

Log Message:
-----------
Initial port of all bytecodes to javapathfinder-mango-bridge/mango.symbc.bytecode.  This includes all the bytecodes of gov.nasa.jpf.symbc.bytecode, with the set completed from the base package gov.nasa.jpf.jvm.bytecode.  These bytecodes will now be stripped to the bare minimum required to traverse the forward control-flow diagram from an arbitrary starting point.

Successful opportunistic test of ability to stay in sync with jpf-trunk.  Sourcecode updates get picked up automatically via sourcode link, and the new jars automaton.jar and string.jar require just slightly more effort, packaging in a jar plugin, loading into jpf-mango target folder, reloading the workbench target, and updating the plugin manifest and product.  I've got the drill down now.

Modified Paths:
--------------
    branches/mango/Mango/mangoUserHome/frank/input/SymbolicExecutionTest/symbolicExecution/SimpleTest.java
    branches/mango/MangoJPF/.classpath
    branches/mango/MangoJPF/META-INF/MANIFEST.MF
    branches/mango/MangoJPF/META-INF/MangoJPF.product
    branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
    branches/mango/MangoJPF/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.java
    branches/mango/MangoJPF/Mango/src/mango/workstation/Workstation.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/MangoInstructionFactory.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/D2I.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/D2L.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DADD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DCMPG.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DCMPL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DDIV.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DMUL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DNEG.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DREM.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DSUB.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/F2D.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/F2I.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/F2L.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FADD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FCMPG.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FCMPL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FDIV.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FMUL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FNEG.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FREM.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FSUB.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/GETFIELD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/GETSTATIC.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/I2B.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/I2C.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/I2D.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/I2F.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/I2L.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/I2S.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IADD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IAND.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IDIV.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFEQ.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFGE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFGT.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFLE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFLT.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFNE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFNONNULL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IFNULL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ICMPEQ.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ICMPGE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ICMPGT.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ICMPLE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ICMPLT.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ICMPNE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IINC.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IMUL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INEG.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IOR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IREM.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ISUB.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IXOR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/L2D.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/L2F.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/L2I.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LADD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LAND.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LCMP.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LDIV.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LMUL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LNEG.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LOR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LREM.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LSHL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LSHR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LSUB.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LUSHR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LXOR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/NEW.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/SwitchInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/TABLESWITCH.java

Added Paths:
-----------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/JPF_MIRROR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mainArgFile
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/MangoTargetLauncher.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/AALOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/AASTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ACONST_NULL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ALOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ANEWARRAY.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ARETURN.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ARRAYLENGTH.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ASTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ATHROW.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ArrayInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ArrayLoadInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ArrayStoreInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/BALOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/BASTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/BIPUSH.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/BytecodeUtils.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/CALOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/CASTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/CHECKCAST.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/D2F.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DALOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DASTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DCONST.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DLOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DRETURN.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DSTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DUP.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DUP2.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DUP2_X1.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DUP2_X2.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DUP_X1.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/DUP_X2.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FALOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FASTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FCONST.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FLOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FRETURN.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/FSTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/GOTO.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/GOTO_W.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IALOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IASTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ICONST.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ACMPEQ.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IF_ACMPNE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ILOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INSTANCEOF.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKECG.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKECLINIT.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKEINTERFACE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKESPECIAL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKESTATIC.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKEVIRTUAL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IRETURN.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ISHL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ISHR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ISTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IUSHR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/IfInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/JSR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/JSR_W.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LALOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LASTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LCONST.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LDC.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LDC2_W.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LDC_W.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LLOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LRETURN.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LSTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LocalVariableInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LockInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LongArrayLoadInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/LongArrayStoreInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/MONITORENTER.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/MONITOREXIT.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/MULTIANEWARRAY.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/NEWARRAY.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/NOP.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/POP.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/POP2.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/PUTFIELD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/PUTSTATIC.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/RET.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/RETURN.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/RUNSTART.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ReturnInstruction.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/SALOAD.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/SASTORE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/SIPUSH.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/SWAP.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/VirtualInvocation.java
    branches/mango/target_jars/plugins/javapathfinder_trunk_extensions_symbc_lib_update1_1.0.0.jar

Removed Paths:
-------------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/JPF_MIRROR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mainArgFile
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/MangoTargetLauncher.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/D2F.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKESPECIAL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKESTATIC.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/INVOKEVIRTUAL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/SymbolicStringHandler.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mainArgFile
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/MangoInstructionFactory.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/MangoTargetLauncher.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/BytecodeUtils.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/D2F.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/D2I.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/D2L.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DADD.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DCMPG.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DCMPL.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DDIV.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DMUL.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DNEG.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DREM.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/DSUB.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/F2D.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/F2I.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/F2L.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FADD.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FCMPG.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FCMPL.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FDIV.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FMUL.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FNEG.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FREM.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/FSUB.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/GETFIELD.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/GETSTATIC.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/I2B.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/I2C.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/I2D.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/I2F.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/I2L.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/I2S.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IADD.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IAND.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IDIV.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFEQ.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFGE.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFGT.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFLE.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFLT.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFNE.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFNONNULL.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IFNULL.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IF_ICMPEQ.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IF_ICMPGE.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IF_ICMPGT.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IF_ICMPLE.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IF_ICMPLT.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IF_ICMPNE.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IINC.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IMUL.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/INEG.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/INVOKESPECIAL.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/INVOKESTATIC.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/INVOKEVIRTUAL.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IOR.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IREM.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/ISUB.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/IXOR.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/L2D.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/L2F.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/L2I.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LADD.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LAND.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LCMP.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LDIV.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LMUL.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LNEG.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LOOKUPSWITCH.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LOR.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LREM.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LSHL.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LSHR.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LSUB.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LUSHR.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/LXOR.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/NEW.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/SwitchInstruction.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/SymbolicStringHandler.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/bytecode/TABLESWITCH.java


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