Menu
▾
▴
javapathfinder-devel
|
From: <pc...@us...> - 2007-06-25 18:26:15
|
Revision: 385
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=385&view=rev
Author: pcorina
Date: 2007-06-25 11:26:10 -0700 (Mon, 25 Jun 2007)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFLE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFLT.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-06-27 01:00:18
|
Revision: 397
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=397&view=rev
Author: sjp100
Date: 2007-06-26 18:00:01 -0700 (Tue, 26 Jun 2007)
Log Message:
-----------
Added debug statement
Modified Paths:
--------------
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/IINC.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-06-27 01:01:10
|
Revision: 398
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=398&view=rev
Author: sjp100
Date: 2007-06-26 18:00:59 -0700 (Tue, 26 Jun 2007)
Log Message:
-----------
Refactored to implement performance improvement introduced by corina into other comparison bytecodes
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFGE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFGT.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-06-28 00:02:18
|
Revision: 414
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=414&view=rev
Author: sjp100
Date: 2007-06-27 17:02:17 -0700 (Wed, 27 Jun 2007)
Log Message:
-----------
Commented out debugging to clean up now that they are tested
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IADD.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_ICMPGE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPGT.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-07-03 21:04:39
|
Revision: 427
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=427&view=rev
Author: sjp100
Date: 2007-07-03 14:04:38 -0700 (Tue, 03 Jul 2007)
Log Message:
-----------
Commented out debugging lines so that the path condition is only printed at the end of each path (by the Symbolic listener)
Modified Paths:
--------------
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/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/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/ISUB.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-07-17 22:47:57
|
Revision: 442
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=442&view=rev
Author: sjp100
Date: 2007-07-17 15:47:56 -0700 (Tue, 17 Jul 2007)
Log Message:
-----------
Fixed bug in the order in which the concrete values were popped (they were backwards with regard to the rest of the code)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPGT.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPLT.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-07-24 18:19:24
|
Revision: 454
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=454&view=rev
Author: sjp100
Date: 2007-07-24 11:19:11 -0700 (Tue, 24 Jul 2007)
Log Message:
-----------
Fixed a bug in the order in which the operands were popped off the stack and assigned to the variables.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPGE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPLE.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-08-09 05:07:28
|
Revision: 498
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=498&view=rev
Author: sjp100
Date: 2007-08-08 22:07:27 -0700 (Wed, 08 Aug 2007)
Log Message:
-----------
Added a check to make sure the field should be treated symbolically (based on the annotation)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
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: <sj...@us...> - 2007-08-09 16:12:36
|
Revision: 500
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=500&view=rev
Author: sjp100
Date: 2007-08-09 09:12:31 -0700 (Thu, 09 Aug 2007)
Log Message:
-----------
Added support for executing symbolically on fields (static and instance)
Modified Paths:
--------------
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.
|
|
From: <pc...@us...> - 2007-09-14 17:31:10
|
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.
|
|
From: <sj...@us...> - 2007-09-17 21:15:43
|
Revision: 570
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=570&view=rev
Author: sjp100
Date: 2007-09-17 12:58:48 -0700 (Mon, 17 Sep 2007)
Log Message:
-----------
Added support for symbolic execution of floating point bytecodes;
NOTE: not yet tested
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FDIV.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FMUL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FNEG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FREM.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FSUB.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-09-24 17:47:49
|
Revision: 576
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=576&view=rev
Author: sjp100
Date: 2007-09-24 10:47:38 -0700 (Mon, 24 Sep 2007)
Log Message:
-----------
Added support for checking types (int vs real) in invoke bytecodes
NOTE: not fully tested
Fixed a bug in FNEG where it tried to pop the stack twice
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FNEG.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
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-10-02 18:56:03
|
Revision: 592
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=592&view=rev
Author: sjp100
Date: 2007-10-02 11:55:51 -0700 (Tue, 02 Oct 2007)
Log Message:
-----------
initial attempt at an implementation; NOT FINAL
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPL.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-10-07 17:26:58
|
Revision: 601
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=601&view=rev
Author: sjp100
Date: 2007-10-07 10:26:46 -0700 (Sun, 07 Oct 2007)
Log Message:
-----------
refactored to use the new PCChoiceGenerator
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPL.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/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
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-10-07 19:18:44
|
Revision: 603
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=603&view=rev
Author: sjp100
Date: 2007-10-07 12:18:42 -0700 (Sun, 07 Oct 2007)
Log Message:
-----------
fixed to properly use PCChoiceGenerator constructor
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPL.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2007-10-16 23:55:28
|
Revision: 628
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=628&view=rev
Author: pcorina
Date: 2007-10-16 16:55:26 -0700 (Tue, 16 Oct 2007)
Log Message:
-----------
fixed handling of concrete parameters in invoke bytecodes
Modified Paths:
--------------
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
Removed Paths:
-------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/PC3WayChoiceGenerator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/PCBooleanChoiceGenerator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2007-10-18 00:22:46
|
Revision: 629
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=629&view=rev
Author: pcorina
Date: 2007-10-17 17:22:44 -0700 (Wed, 17 Oct 2007)
Log Message:
-----------
fixed (hopeflly) DCMPG and DCMPL
somebody should look carefully at FCMPG and FCMPL
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPL.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2007-10-18 00:33:47
|
Revision: 632
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=632&view=rev
Author: pcorina
Date: 2007-10-17 17:33:45 -0700 (Wed, 17 Oct 2007)
Log Message:
-----------
fixed FCMPG and FCMPL (please test)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPL.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-11-27 04:47:19
|
Revision: 660
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=660&view=rev
Author: sjp100
Date: 2007-11-26 20:47:03 -0800 (Mon, 26 Nov 2007)
Log Message:
-----------
fixed the places where the attribute value is pulled from the
stack frame (needed to use the long version)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LADD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LAND.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LCMP.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LDIV.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LMUL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LNEG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LOR.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LREM.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LSHL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LSHR.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LSUB.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LUSHR.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LXOR.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2007-12-06 00:05:33
|
Revision: 687
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=687&view=rev
Author: pcorina
Date: 2007-12-05 16:05:32 -0800 (Wed, 05 Dec 2007)
Log Message:
-----------
implemented last 2 remaining bytecodes L2D, L2F
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/L2D.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/L2F.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-01-08 17:47:28
|
Revision: 724
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=724&view=rev
Author: ubnepvpb
Date: 2008-01-08 09:47:26 -0800 (Tue, 08 Jan 2008)
Log Message:
-----------
Make symbolic variable names unique for each call to an INVOKExxx bytecode
Modified Paths:
--------------
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
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-01-16 02:30:09
|
Revision: 728
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=728&view=rev
Author: pcorina
Date: 2008-01-15 18:29:55 -0800 (Tue, 15 Jan 2008)
Log Message:
-----------
added patches created by Adam Kiezun (ak...@gm...)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/D2I.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/D2L.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DDIV.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DMUL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DREM.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DSUB.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/F2I.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/F2L.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FDIV.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FMUL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FNEG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FREM.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FSUB.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2D.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2F.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/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/L2D.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/L2F.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LCMP.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LMUL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LSHL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LSHR.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LUSHR.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-02-21 00:40:01
|
Revision: 753
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=753&view=rev
Author: ubnepvpb
Date: 2008-02-20 16:39:58 -0800 (Wed, 20 Feb 2008)
Log Message:
-----------
For boolean fields annotated with @Symbolic:
use
new SymbolicIntgeger(name, 0, 1)
instead of
new SymbolicIntgeger(name)
Modified Paths:
--------------
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
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-02-21 19:20:28
|
Revision: 755
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=755&view=rev
Author: ubnepvpb
Date: 2008-02-21 11:20:13 -0800 (Thu, 21 Feb 2008)
Log Message:
-----------
Put common code from symbc/.../INVOKExxx into BytecodeUtils: isMethodSymbolic()
Modified Paths:
--------------
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
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-03-12 19:16:04
|
Revision: 778
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=778&view=rev
Author: pcorina
Date: 2008-03-12 12:15:58 -0700 (Wed, 12 Mar 2008)
Log Message:
-----------
Fixed problem with choices comming from super in INVOKE classes.
Modified Paths:
--------------
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
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
×
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.
Thanks for helping keep SourceForge clean.
X