[Javapathfinder-devel] SF.net SVN: javapathfinder: [566] trunk/extensions/symbc/src/gov/nasa/jpf/ symbc/bytecode

[<pc...@us...>]

Revision: 566
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=566&view=rev
Author:   pcorina
Date:     2007-09-14 10:30:59 -0700 (Fri, 14 Sep 2007)

Log Message:
-----------
* Byte code package updated to use numeric package
* You should look at FADD and implement other bytecodes 
that implement arithmetic operations in a similar way -- this 
is for Suzette and for Hank :) 
* I did not have time to look at conditions so please 
ignore them for now.
* The INVOKE byte codes need to be modified to look at the 
type of the parameters -- this is for Suzette :)

Modified Paths:
--------------
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IADD.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IAND.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IDIV.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFEQ.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFGE.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFGT.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFLE.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFLT.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFNE.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPEQ.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPGE.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPGT.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPLE.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPLT.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPNE.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IINC.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IMUL.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INEG.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESPECIAL.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IOR.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IREM.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/ISUB.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IXOR.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/PCBooleanChoiceGenerator.java

Removed Paths:
-------------
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETSTATIC.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/PUTFIELD.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/PUTSTATIC.java


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