Menu
▾
▴
javapathfinder-svn — source repository related messages (SVN)
You can subscribe to this list here.
| 2008 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(16) |
Jun
(42) |
Jul
(46) |
Aug
(48) |
Sep
(33) |
Oct
(26) |
Nov
(28) |
Dec
(38) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2009 |
Jan
(35) |
Feb
(80) |
Mar
(112) |
Apr
(108) |
May
(102) |
Jun
(126) |
Jul
(89) |
Aug
(82) |
Sep
(36) |
Oct
(7) |
Nov
(1) |
Dec
(4) |
| 2010 |
Jan
(87) |
Feb
|
Mar
(2) |
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: <ne...@us...> - 2010-04-30 20:10:02
|
Revision: 2019
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2019&view=rev
Author: nehas
Date: 2010-04-30 20:09:55 +0000 (Fri, 30 Apr 2010)
Log Message:
-----------
adding some of Steve's visualization of the guided test framework. It is to be moved to babelfish very soon.
Modified Paths:
--------------
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/jpf/GuidedListener.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/GuidedDFSearch.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/MetaHeuristic.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/setup/RunGuidedTest.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/visualize/StateGenListener.java
Added Paths:
-----------
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/StaticClass.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/visualize/PrintToXML.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/visualize/TrackTraceAndTrails.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-03-06 03:35:51
|
Revision: 2018
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2018&view=rev
Author: staats
Date: 2010-03-06 03:35:44 +0000 (Sat, 06 Mar 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
trunk/extensions/complexcoverage/launch/CompCov TestFun Measure Reduced.launch
trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MeasureTestSuiteByMCDCListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/GenerateSimpleConstraints.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile2.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-03-05 23:42:36
|
Revision: 2017
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2017&view=rev
Author: staats
Date: 2010-03-05 23:42:29 +0000 (Fri, 05 Mar 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
trunk/extensions/complexcoverage/launch/CompCov TestFun SimpleCoverage.launch
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MCDCCoveragePrinter.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-31 02:10:53
|
Revision: 2016
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2016&view=rev
Author: staats
Date: 2010-01-31 02:10:46 +0000 (Sun, 31 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinomialHeap.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-30 19:43:06
|
Revision: 2015
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2015&view=rev
Author: staats
Date: 2010-01-30 19:42:59 +0000 (Sat, 30 Jan 2010)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/complexcoverage/bin/test-gen-configs/asw-partition-config-8.txt
trunk/extensions/complexcoverage/bin/test-gen-configs/binheap-partition-config-8.txt
trunk/extensions/complexcoverage/bin/test-gen-configs/bintree-partition-config-8.txt
trunk/extensions/complexcoverage/bin/test-gen-configs/fibheap-partition-config-8.txt
trunk/extensions/complexcoverage/bin/test-gen-configs/treemap-partition-config-8.txt
trunk/extensions/complexcoverage/bin/test-gen-configs/wbs-partition-config-8.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-29 14:57:40
|
Revision: 2014
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2014&view=rev
Author: staats
Date: 2010-01-29 14:57:18 +0000 (Fri, 29 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/test-gen-configs/wbs-partition-config-64.txt
trunk/extensions/complexcoverage/bin/test-gen-configs/wbs-random-config-64.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-29 07:51:06
|
Revision: 2013
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2013&view=rev
Author: staats
Date: 2010-01-29 07:51:00 +0000 (Fri, 29 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/.classpath
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java
trunk/src/gov/nasa/jpf/report/Reporter.java
Added Paths:
-----------
trunk/extensions/complexcoverage/bin/test-gen-configs/wbs-partition-config-64.txt
trunk/extensions/complexcoverage/bin/test-gen-configs/wbs-random-config-64.txt
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/WBS_instrumented.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-28 06:54:44
|
Revision: 2012
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2012&view=rev
Author: staats
Date: 2010-01-28 06:54:37 +0000 (Thu, 28 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-27 22:34:04
|
Revision: 2011
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2011&view=rev
Author: staats
Date: 2010-01-27 22:33:58 +0000 (Wed, 27 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-27 22:33:27
|
Revision: 2010
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2010&view=rev
Author: staats
Date: 2010-01-27 22:33:20 +0000 (Wed, 27 Jan 2010)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/complexcoverage/bin/experiment-configs/asw-autopart-128.txt
trunk/extensions/complexcoverage/bin/experiment-configs/wbs-autopart-128.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-27 20:16:12
|
Revision: 2009
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2009&view=rev
Author: staats
Date: 2010-01-27 20:15:57 +0000 (Wed, 27 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/experiment-configs/wbs-single.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-27 20:14:36
|
Revision: 2008
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2008&view=rev
Author: staats
Date: 2010-01-27 20:14:19 +0000 (Wed, 27 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/experiment-configs/asw-autopart-64.txt
trunk/extensions/complexcoverage/bin/experiment-configs/asw-autopart-8.txt
trunk/extensions/complexcoverage/bin/experiment-configs/asw-single.txt
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWMainClass.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-27 14:47:51
|
Revision: 2007
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2007&view=rev
Author: staats
Date: 2010-01-27 14:47:45 +0000 (Wed, 27 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeap.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-27 07:08:13
|
Revision: 2006
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2006&view=rev
Author: staats
Date: 2010-01-27 07:08:07 +0000 (Wed, 27 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-27 07:01:11
|
Revision: 2005
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2005&view=rev
Author: staats
Date: 2010-01-27 07:01:05 +0000 (Wed, 27 Jan 2010)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FGS.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-27 06:58:46
|
Revision: 2004
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2004&view=rev
Author: staats
Date: 2010-01-27 06:58:40 +0000 (Wed, 27 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-27 06:11:29
|
Revision: 2003
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2003&view=rev
Author: staats
Date: 2010-01-27 06:11:23 +0000 (Wed, 27 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-27 06:08:39
|
Revision: 2002
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2002&view=rev
Author: staats
Date: 2010-01-27 06:08:33 +0000 (Wed, 27 Jan 2010)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/complexcoverage/bin/experiment-configs/binheap-autopart-128.txt
trunk/extensions/complexcoverage/bin/experiment-configs/fibheap-autopart-128.txt
trunk/extensions/complexcoverage/bin/experiment-configs/treemap-autopart-128.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-27 00:53:40
|
Revision: 2001
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2001&view=rev
Author: staats
Date: 2010-01-27 00:53:33 +0000 (Wed, 27 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/test-gen-configs/binheap-partition-config-64.txt
trunk/extensions/complexcoverage/bin/test-gen-configs/binheap-random-config-64.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-27 00:44:02
|
Revision: 2000
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=2000&view=rev
Author: staats
Date: 2010-01-27 00:43:45 +0000 (Wed, 27 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/experiment-configs/bintree-autopart-64.txt
trunk/extensions/complexcoverage/bin/experiment-configs/bintree-autopart-8.txt
trunk/extensions/complexcoverage/bin/experiment-configs/bintree-single.txt
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/WBS.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-26 19:39:47
|
Revision: 1999
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1999&view=rev
Author: staats
Date: 2010-01-26 19:39:33 +0000 (Tue, 26 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/test-gen-configs/binheap-partition-config-64.txt
trunk/extensions/complexcoverage/bin/test-gen-configs/binheap-random-config-64.txt
trunk/extensions/complexcoverage/bin/test-gen-configs/fibheap-partition-config-64.txt
trunk/extensions/complexcoverage/launch/CompCov BinomialHeap Symbolic.launch
trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/WBS.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-26 18:06:55
|
Revision: 1998
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1998&view=rev
Author: staats
Date: 2010-01-26 18:06:48 +0000 (Tue, 26 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/experiment-configs/wbs-autopart-64.txt
trunk/extensions/complexcoverage/bin/experiment-configs/wbs-autopart-8.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-26 18:00:59
|
Revision: 1997
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1997&view=rev
Author: staats
Date: 2010-01-26 18:00:53 +0000 (Tue, 26 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/GenerateSimpleConstraints.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/WBS.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-26 15:57:10
|
Revision: 1996
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1996&view=rev
Author: staats
Date: 2010-01-26 15:57:04 +0000 (Tue, 26 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/experiment-configs/bintree-autopart-64.txt
trunk/extensions/complexcoverage/bin/experiment-configs/bintree-autopart-8.txt
trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-26 15:43:28
|
Revision: 1995
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1995&view=rev
Author: staats
Date: 2010-01-26 15:43:20 +0000 (Tue, 26 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/WBS.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
