Menu
▾
▴
javapathfinder-devel
|
From: <sj...@us...> - 2007-07-03 21:03:53
|
Revision: 426
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=426&view=rev
Author: sjp100
Date: 2007-07-03 14:03:41 -0700 (Tue, 03 Jul 2007)
Log Message:
-----------
Fixed state matching (to remain off) when backtracking through the symbolic method;
added support to print the solved path condition only at the end of each path
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.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 22:54:31
|
Revision: 429
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=429&view=rev
Author: sjp100
Date: 2007-07-03 15:54:30 -0700 (Tue, 03 Jul 2007)
Log Message:
-----------
added check for boolean choice generator before trying to print the path condition
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-07-05 22:28:14
|
Revision: 431
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=431&view=rev
Author: sjp100
Date: 2007-07-05 15:28:01 -0700 (Thu, 05 Jul 2007)
Log Message:
-----------
Added a small optimization to avoid trying to match the invoked method with the list of methods to
be executed symbolically
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.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 21:13:48
|
Revision: 441
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=441&view=rev
Author: sjp100
Date: 2007-07-17 14:11:30 -0700 (Tue, 17 Jul 2007)
Log Message:
-----------
Added executeInstruction method to print pc when an assertion is thrown (trapping the return in instructionExecuted does not accomplish this when an assertion is thrown)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2007-07-18 18:16:06
|
Revision: 444
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=444&view=rev
Author: pcorina
Date: 2007-07-18 11:16:04 -0700 (Wed, 18 Jul 2007)
Log Message:
-----------
updated printing for demo example
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2007-07-18 20:37:15
|
Revision: 445
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=445&view=rev
Author: pcorina
Date: 2007-07-18 13:37:14 -0700 (Wed, 18 Jul 2007)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-07-23 16:57:26
|
Revision: 450
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=450&view=rev
Author: sjp100
Date: 2007-07-23 09:57:14 -0700 (Mon, 23 Jul 2007)
Log Message:
-----------
Added support to collect a method summary that prints at the end of the search; removed the hardcoded summary report
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-07-23 20:49:56
|
Revision: 451
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=451&view=rev
Author: sjp100
Date: 2007-07-23 13:49:55 -0700 (Mon, 23 Jul 2007)
Log Message:
-----------
Cleaned up the code; no new features
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-07-23 22:21:07
|
Revision: 453
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=453&view=rev
Author: sjp100
Date: 2007-07-23 15:21:06 -0700 (Mon, 23 Jul 2007)
Log Message:
-----------
small change to writeTable to make it easier to parse the output file
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2007-08-01 00:20:36
|
Revision: 463
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=463&view=rev
Author: ubnepvpb
Date: 2007-07-31 17:20:33 -0700 (Tue, 31 Jul 2007)
Log Message:
-----------
Fix the numbering of "SYM_" symbolic variables.
Modify the printing of constraints so that
SYM_2[1] > CONST_0
prints as
z[1] > 0
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-08-02 18:11:25
|
Revision: 468
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=468&view=rev
Author: sjp100
Date: 2007-08-02 11:11:13 -0700 (Thu, 02 Aug 2007)
Log Message:
-----------
Added a check to make sure that during symbolic execution of a method, another method is not also executed symbolically; throws an exception
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-08-02 18:57:12
|
Revision: 469
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=469&view=rev
Author: sjp100
Date: 2007-08-02 11:57:10 -0700 (Thu, 02 Aug 2007)
Log Message:
-----------
Fixed a bug in matching the symbolic method specification in the properties to the actual method name (they were only being matched on parameters); added a check to inform the users when no path conditions exist rather than throwing an exception ;-)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-08-02 20:45:46
|
Revision: 470
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=470&view=rev
Author: sjp100
Date: 2007-08-02 13:45:40 -0700 (Thu, 02 Aug 2007)
Log Message:
-----------
Fixed another bug (this is actually the one Corina found) having to do with specification of symbolic and concrete parameters
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-08-06 20:23:01
|
Revision: 479
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=479&view=rev
Author: sjp100
Date: 2007-08-06 13:23:00 -0700 (Mon, 06 Aug 2007)
Log Message:
-----------
changes to support symbolic execution of methods with no arguments
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.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 18:36:29
|
Revision: 501
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=501&view=rev
Author: sjp100
Date: 2007-08-09 11:36:28 -0700 (Thu, 09 Aug 2007)
Log Message:
-----------
Added support for including return values (if they are integer)in the method summary
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.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:01:28
|
Revision: 602
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=602&view=rev
Author: sjp100
Date: 2007-10-07 12:01:16 -0700 (Sun, 07 Oct 2007)
Log Message:
-----------
refactored to use the new version of the PCChoiceGenerator
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2007-12-04 02:24:57
|
Revision: 676
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=676&view=rev
Author: pcorina
Date: 2007-12-03 18:24:56 -0800 (Mon, 03 Dec 2007)
Log Message:
-----------
added a TODO list at the beginning of the file
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-12-05 19:01:47
|
Revision: 683
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=683&view=rev
Author: sjp100
Date: 2007-12-05 11:01:46 -0800 (Wed, 05 Dec 2007)
Log Message:
-----------
added support for long and doubles in the method summary
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2007-12-07 16:02:42
|
Revision: 695
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=695&view=rev
Author: sjp100
Date: 2007-12-07 08:02:30 -0800 (Fri, 07 Dec 2007)
Log Message:
-----------
Updated to support longs; not fully tested
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-01-18 21:21:40
|
Revision: 731
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=731&view=rev
Author: sjp100
Date: 2008-01-18 13:21:32 -0800 (Fri, 18 Jan 2008)
Log Message:
-----------
fixed listener to work with new naming scheme for symbolic
and concrete values (properly gets them from the stack frame)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-01-18 21:23:37
|
Revision: 732
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=732&view=rev
Author: sjp100
Date: 2008-01-18 13:23:36 -0800 (Fri, 18 Jan 2008)
Log Message:
-----------
removed debug statements
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-27 01:35:00
|
Revision: 768
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=768&view=rev
Author: pcorina
Date: 2008-02-26 17:34:57 -0800 (Tue, 26 Feb 2008)
Log Message:
-----------
added HTML output for method summaries
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-15 22:02:52
|
Revision: 816
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=816&view=rev
Author: pcorina
Date: 2008-04-15 15:02:48 -0700 (Tue, 15 Apr 2008)
Log Message:
-----------
fixed printing of booleans (0 --> false)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-18 01:30:37
|
Revision: 830
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=830&view=rev
Author: pcorina
Date: 2008-04-17 18:30:23 -0700 (Thu, 17 Apr 2008)
Log Message:
-----------
summary printing is broken
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-21 22:22:21
|
Revision: 831
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=831&view=rev
Author: pcorina
Date: 2008-04-21 15:22:17 -0700 (Mon, 21 Apr 2008)
Log Message:
-----------
fixed errors in listener (summary listing was working properly only for ints/floats,
but not for longs/doubles). listener needs a complete re-write (not to use string
representations everywhere).
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.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