Menu
▾
▴
javapathfinder-svn
|
From: <sj...@us...> - 2008-06-15 20:55:17
|
Revision: 864
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=864&view=rev
Author: sjp100
Date: 2008-06-15 13:14:43 -0700 (Sun, 15 Jun 2008)
Log Message:
-----------
added support for cvc3 - not fully tested or functional
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/dp/DPFactory.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/dp/NativeInterface.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsGeneral.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemCVC3.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-06-26 23:28:57
|
Revision: 884
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=884&view=rev
Author: pcorina
Date: 2008-06-26 16:28:57 -0700 (Thu, 26 Jun 2008)
Log Message:
-----------
added helper methods: makeSymbolic
moved Debug and associated JPF_ class here (it was in test before)
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-06-27 00:00:19
|
Revision: 885
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=885&view=rev
Author: pcorina
Date: 2008-06-26 17:00:18 -0700 (Thu, 26 Jun 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-07-02 01:52:06
|
Revision: 905
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=905&view=rev
Author: pcorina
Date: 2008-07-01 18:52:00 -0700 (Tue, 01 Jul 2008)
Log Message:
-----------
added initial support for "generalized symbolic execution": handles input data structures through lazy initialization
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicInstructionFactory.java
Added 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/heap/
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/HeapChoiceGenerator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/HeapNode.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/SymbolicInputHeap.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-07-03 00:34:49
|
Revision: 908
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=908&view=rev
Author: pcorina
Date: 2008-07-02 17:34:48 -0700 (Wed, 02 Jul 2008)
Log Message:
-----------
for Mithun
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SeqListenerSkeleton.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-07-09 20:35:47
|
Revision: 916
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=916&view=rev
Author: sjp100
Date: 2008-07-09 13:35:36 -0700 (Wed, 09 Jul 2008)
Log Message:
-----------
minor documentation fixes
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/Symbolic.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2B.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2C.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2L.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2S.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-07-09 20:37:13
|
Revision: 917
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=917&view=rev
Author: sjp100
Date: 2008-07-09 13:37:13 -0700 (Wed, 09 Jul 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/HeapNode.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-07-11 21:31:41
|
Revision: 924
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=924&view=rev
Author: sjp100
Date: 2008-07-11 14:31:29 -0700 (Fri, 11 Jul 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/HeapNode.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/SymbolicInputHeap.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