Thread: [Javapathfinder-svn] SF.net SVN: javapathfinder:[1771] trunk/extensions/complexcoverage (Page 2)

Status: Beta

Brought to you by: artimid, johnpenix, masoud_mansouri, pcdillinger, and 3 others

javapathfinder-svn

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1771] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-07-23 00:29:36

Revision: 1771
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1771&view=rev
Author:   staats
Date:     2009-07-23 00:29:32 +0000 (Thu, 23 Jul 2009)

Log Message:
-----------
Getting ready to run lots of experiments

Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/asw-concretize-config.txt
    trunk/extensions/complexcoverage/bin/asw-constrain-config.txt
    trunk/extensions/complexcoverage/bin/asw-trim-config.txt
    trunk/extensions/complexcoverage/bin/binheap-trim-config.txt
    trunk/extensions/complexcoverage/bin/bintree-trim-config.txt
    trunk/extensions/complexcoverage/bin/fibheap-trim-config.txt
    trunk/extensions/complexcoverage/bin/treemap-trim-config.txt
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/PathTrimSymbolicSearch.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/JPFManagerInterface.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFManager.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTracker.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/ReceiveRemoteOutput.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1772] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-07-23 07:29:35

Revision: 1772
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1772&view=rev
Author:   staats
Date:     2009-07-23 07:29:26 +0000 (Thu, 23 Jul 2009)

Log Message:
-----------
Running constrain experiments

Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/asw-concretize-config.txt
    trunk/extensions/complexcoverage/bin/asw-constrain-config.txt
    trunk/extensions/complexcoverage/bin/asw-random-config.txt
    trunk/extensions/complexcoverage/bin/asw-reorder-config.txt
    trunk/extensions/complexcoverage/bin/asw-trim-config.txt
    trunk/extensions/complexcoverage/bin/binheap-concretize-config.txt
    trunk/extensions/complexcoverage/bin/binheap-random-config.txt
    trunk/extensions/complexcoverage/bin/binheap-reorder-config.txt
    trunk/extensions/complexcoverage/bin/binheap-trim-config.txt
    trunk/extensions/complexcoverage/bin/bintree-concretize-config.txt
    trunk/extensions/complexcoverage/bin/bintree-random-config.txt
    trunk/extensions/complexcoverage/bin/bintree-reorder-config.txt
    trunk/extensions/complexcoverage/bin/bintree-trim-config.txt
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config.txt
    trunk/extensions/complexcoverage/bin/fibheap-random-config.txt
    trunk/extensions/complexcoverage/bin/fibheap-reorder-config.txt
    trunk/extensions/complexcoverage/bin/fibheap-trim-config.txt
    trunk/extensions/complexcoverage/bin/treemap-concretize-config.txt
    trunk/extensions/complexcoverage/bin/treemap-random-config.txt
    trunk/extensions/complexcoverage/bin/treemap-reorder-config.txt
    trunk/extensions/complexcoverage/bin/treemap-trim-config.txt
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/PathConstraintHeuristic.java-needsJava6JDK
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeap.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/binheap-constrain-config.txt
    trunk/extensions/complexcoverage/bin/bintree-constrain-config.txt
    trunk/extensions/complexcoverage/bin/fibheap-constrain-config.txt
    trunk/extensions/complexcoverage/bin/treemap-constrain-config.txt


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1779] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-07-24 23:47:23

Revision: 1779
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1779&view=rev
Author:   staats
Date:     2009-07-24 23:47:15 +0000 (Fri, 24 Jul 2009)

Log Message:
-----------
Large scale experiments

Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/binheap-random-config.txt
    trunk/extensions/complexcoverage/launch/CompCov Parallel Client.launch
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile MCDC.launch
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile SendOutput.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/asw-random-config-64.txt
    trunk/extensions/complexcoverage/bin/asw-reorder-config-64.txt
    trunk/extensions/complexcoverage/bin/asw-trim-config-64.txt
    trunk/extensions/complexcoverage/bin/binheap-random-config-64.txt
    trunk/extensions/complexcoverage/bin/binheap-reorder-config-64.txt
    trunk/extensions/complexcoverage/bin/binheap-trim-config-64.txt
    trunk/extensions/complexcoverage/bin/bintree-random-config-64.txt
    trunk/extensions/complexcoverage/bin/bintree-reorder-config-64.txt
    trunk/extensions/complexcoverage/bin/bintree-trim-config-64.txt
    trunk/extensions/complexcoverage/bin/fibheap-random-config-64.txt
    trunk/extensions/complexcoverage/bin/fibheap-reorder-config-64.txt
    trunk/extensions/complexcoverage/bin/fibheap-trim-config-64.txt
    trunk/extensions/complexcoverage/bin/treemap-random-config-64.txt
    trunk/extensions/complexcoverage/bin/treemap-reorder-config-64.txt
    trunk/extensions/complexcoverage/bin/treemap-trim-config-64.txt


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1780] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-07-25 02:14:58

Revision: 1780
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1780&view=rev
Author:   staats
Date:     2009-07-25 02:14:51 +0000 (Sat, 25 Jul 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/treemap-trim-config.txt
    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.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1792] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-07-30 19:45:44

Revision: 1792
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1792&view=rev
Author:   staats
Date:     2009-07-30 19:45:31 +0000 (Thu, 30 Jul 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
    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.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1794] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-07-31 17:02:41

Revision: 1794
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1794&view=rev
Author:   staats
Date:     2009-07-31 17:02:31 +0000 (Fri, 31 Jul 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Parallel Client.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/Debug.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1795] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-08-01 03:13:25

Revision: 1795
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1795&view=rev
Author:   staats
Date:     2009-08-01 03:13:18 +0000 (Sat, 01 Aug 2009)

Log Message:
-----------
Concretize configs

Modified Paths:
--------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ConcretizeVariables.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/asw-concretize-config-16-2.txt
    trunk/extensions/complexcoverage/bin/asw-concretize-config-2-16.txt
    trunk/extensions/complexcoverage/bin/asw-concretize-config-32-1.txt
    trunk/extensions/complexcoverage/bin/asw-concretize-config-4-8.txt
    trunk/extensions/complexcoverage/bin/asw-concretize-config-8-4.txt
    trunk/extensions/complexcoverage/bin/binheap-concretize-config-16-2.txt
    trunk/extensions/complexcoverage/bin/binheap-concretize-config-2-16.txt
    trunk/extensions/complexcoverage/bin/binheap-concretize-config-32-1.txt
    trunk/extensions/complexcoverage/bin/binheap-concretize-config-4-8.txt
    trunk/extensions/complexcoverage/bin/binheap-concretize-config-8-4.txt
    trunk/extensions/complexcoverage/bin/bintree-concretize-config-16-2.txt
    trunk/extensions/complexcoverage/bin/bintree-concretize-config-2-16.txt
    trunk/extensions/complexcoverage/bin/bintree-concretize-config-32-1.txt
    trunk/extensions/complexcoverage/bin/bintree-concretize-config-4-8.txt
    trunk/extensions/complexcoverage/bin/bintree-concretize-config-8-4.txt
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config-16-2.txt
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config-2-16.txt
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config-32-1.txt
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config-4-8.txt
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config-8-4.txt
    trunk/extensions/complexcoverage/bin/treemap-concretize-config-16-2.txt
    trunk/extensions/complexcoverage/bin/treemap-concretize-config-2-16.txt
    trunk/extensions/complexcoverage/bin/treemap-concretize-config-32-1.txt
    trunk/extensions/complexcoverage/bin/treemap-concretize-config-4-8.txt
    trunk/extensions/complexcoverage/bin/treemap-concretize-config-8-4.txt


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1796] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-08-02 04:14:17

Revision: 1796
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1796&view=rev
Author:   staats
Date:     2009-08-02 04:14:11 +0000 (Sun, 02 Aug 2009)

Log Message:
-----------
Fixed configs

Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/asw-concretize-config-16-2.txt
    trunk/extensions/complexcoverage/bin/asw-concretize-config-2-16.txt
    trunk/extensions/complexcoverage/bin/asw-concretize-config-32-1.txt
    trunk/extensions/complexcoverage/bin/asw-concretize-config-4-8.txt
    trunk/extensions/complexcoverage/bin/asw-concretize-config-8-4.txt
    trunk/extensions/complexcoverage/bin/asw-concretize-config.txt
    trunk/extensions/complexcoverage/bin/asw-trim-config-64.txt
    trunk/extensions/complexcoverage/bin/binheap-concretize-config-16-2.txt
    trunk/extensions/complexcoverage/bin/binheap-concretize-config-2-16.txt
    trunk/extensions/complexcoverage/bin/binheap-concretize-config-32-1.txt
    trunk/extensions/complexcoverage/bin/binheap-concretize-config-4-8.txt
    trunk/extensions/complexcoverage/bin/binheap-concretize-config-8-4.txt
    trunk/extensions/complexcoverage/bin/binheap-concretize-config.txt
    trunk/extensions/complexcoverage/bin/bintree-concretize-config-16-2.txt
    trunk/extensions/complexcoverage/bin/bintree-concretize-config-2-16.txt
    trunk/extensions/complexcoverage/bin/bintree-concretize-config-32-1.txt
    trunk/extensions/complexcoverage/bin/bintree-concretize-config-4-8.txt
    trunk/extensions/complexcoverage/bin/bintree-concretize-config-8-4.txt
    trunk/extensions/complexcoverage/bin/bintree-concretize-config.txt
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config-16-2.txt
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config-2-16.txt
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config-32-1.txt
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config-4-8.txt
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config-8-4.txt
    trunk/extensions/complexcoverage/bin/fibheap-concretize-config.txt
    trunk/extensions/complexcoverage/bin/launch-parallel-experiment.py
    trunk/extensions/complexcoverage/bin/treemap-concretize-config-16-2.txt
    trunk/extensions/complexcoverage/bin/treemap-concretize-config-2-16.txt
    trunk/extensions/complexcoverage/bin/treemap-concretize-config-32-1.txt
    trunk/extensions/complexcoverage/bin/treemap-concretize-config-4-8.txt
    trunk/extensions/complexcoverage/bin/treemap-concretize-config-8-4.txt
    trunk/extensions/complexcoverage/bin/treemap-concretize-config.txt
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/Debug.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1799] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-08-03 06:43:34

Revision: 1799
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1799&view=rev
Author:   staats
Date:     2009-08-03 06:43:27 +0000 (Mon, 03 Aug 2009)

Log Message:
-----------
Ready to rock, all experiments

Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov BinTree Symbolic.launch
    trunk/extensions/complexcoverage/launch/CompCov BinomialHeap Symbolic.launch
    trunk/extensions/complexcoverage/launch/CompCov FibHeap Symbolic.launch
    trunk/extensions/complexcoverage/launch/CompCov TreeMap Symbolic.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinTree.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinomialHeap.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeap.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/asw-constrain-config-16-2.txt
    trunk/extensions/complexcoverage/bin/asw-constrain-config-2-16.txt
    trunk/extensions/complexcoverage/bin/asw-constrain-config-32-1.txt
    trunk/extensions/complexcoverage/bin/asw-constrain-config-4-8.txt
    trunk/extensions/complexcoverage/bin/asw-constrain-config-8-4.txt
    trunk/extensions/complexcoverage/bin/binheap-constrain-config-16-2.txt
    trunk/extensions/complexcoverage/bin/binheap-constrain-config-2-16.txt
    trunk/extensions/complexcoverage/bin/binheap-constrain-config-32-1.txt
    trunk/extensions/complexcoverage/bin/binheap-constrain-config-4-8.txt
    trunk/extensions/complexcoverage/bin/binheap-constrain-config-8-4.txt
    trunk/extensions/complexcoverage/bin/bintree-constrain-config-16-2.txt
    trunk/extensions/complexcoverage/bin/bintree-constrain-config-18-2.txt
    trunk/extensions/complexcoverage/bin/bintree-constrain-config-2-16.txt
    trunk/extensions/complexcoverage/bin/bintree-constrain-config-27-1.txt
    trunk/extensions/complexcoverage/bin/bintree-constrain-config-32-1.txt
    trunk/extensions/complexcoverage/bin/bintree-constrain-config-4-8.txt
    trunk/extensions/complexcoverage/bin/bintree-constrain-config-8-4.txt
    trunk/extensions/complexcoverage/bin/fibheap-constrain-config-16-2.txt
    trunk/extensions/complexcoverage/bin/fibheap-constrain-config-2-16.txt
    trunk/extensions/complexcoverage/bin/fibheap-constrain-config-32-1.txt
    trunk/extensions/complexcoverage/bin/fibheap-constrain-config-4-8.txt
    trunk/extensions/complexcoverage/bin/fibheap-constrain-config-8-4.txt
    trunk/extensions/complexcoverage/bin/treemap-constrain-config-16-2.txt
    trunk/extensions/complexcoverage/bin/treemap-constrain-config-2-16.txt
    trunk/extensions/complexcoverage/bin/treemap-constrain-config-32-1.txt
    trunk/extensions/complexcoverage/bin/treemap-constrain-config-4-8.txt
    trunk/extensions/complexcoverage/bin/treemap-constrain-config-8-4.txt


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1926] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-12-30 18:31:03

Revision: 1926
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1926&view=rev
Author:   staats
Date:     2009-12-30 18:30:51 +0000 (Wed, 30 Dec 2009)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile MCDC.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Measure Reduced.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun SimpleCoverage.launch
    trunk/extensions/complexcoverage/launch/CompCov TestFun Symbolic.launch
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/GenerateSimpleConstraints.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/RecordChoiceListener.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1928] trunk/extensions/complexcoverage

From: <st...@us...> - 2009-12-31 22:26:19

Revision: 1928
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1928&view=rev
Author:   staats
Date:     2009-12-31 22:26:10 +0000 (Thu, 31 Dec 2009)

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/src/gov/nasa/jpf/complexcoverage/partitioning/RecordChoiceListener.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ArithmeticPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/BinaryConstraintPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ConstraintPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/LiteralPlaceholder.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1930] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-02 07:04:33

Revision: 1930
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1930&view=rev
Author:   staats
Date:     2010-01-02 07:04:26 +0000 (Sat, 02 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ArithmeticPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/BinaryConstraintPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ConstraintPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/LiteralPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/GenerateSimpleConstraints.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/RecordChoiceListener.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ConstraintConverter.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1932] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-04 15:40:14

Revision: 1932
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1932&view=rev
Author:   staats
Date:     2010-01-04 15:40:07 +0000 (Mon, 04 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ArithmeticPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/BinaryConstraintPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ConstraintPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/LiteralPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/GenerateSimpleConstraints.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.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1933] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-04 22:55:30

Revision: 1933
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1933&view=rev
Author:   staats
Date:     2010-01-04 22:55:24 +0000 (Mon, 04 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
    trunk/extensions/complexcoverage/launch/CompCov Parallel Client.launch
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager ASW MCDC.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/GenerateSimpleConstraints.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/RecordChoiceListener.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1934] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-05 17:09:45

Revision: 1934
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1934&view=rev
Author:   staats
Date:     2010-01-05 17:09:38 +0000 (Tue, 05 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/jpf-parallel-client
    trunk/extensions/complexcoverage/bin/jpf-parallel-server
    trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
    trunk/extensions/complexcoverage/launch/CompCov Parallel Client.launch
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager ASW MCDC.launch
    trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/testfile-config.txt


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1935] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-06 17:07:42

Revision: 1935
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1935&view=rev
Author:   staats
Date:     2010-01-06 17:07:36 +0000 (Wed, 06 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov FibHeap Symbolic.launch
    trunk/extensions/complexcoverage/launch/CompCov TreeMap Symbolic.launch
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1937] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-10 23:57:34

Revision: 1937
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1937&view=rev
Author:   staats
Date:     2010-01-10 23:57:27 +0000 (Sun, 10 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/launch-parallel-experiment.py
    trunk/extensions/complexcoverage/launch/CompCov BinTree Symbolic.launch
    trunk/extensions/complexcoverage/launch/CompCov BinomialHeap Symbolic.launch
    trunk/extensions/complexcoverage/launch/CompCov FibHeap Symbolic.launch
    trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWConcMainClass.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWMainClass.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/AlarmDetermination10.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Alt_Calc14.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Alt_Calc23.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Alt_Calc5.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/AltimeterError9.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/AltitudeAvg1.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinTree.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinomialHeap.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/DOICmd8.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Docking.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeap.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeapNode.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/PassBelowThreshold13.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/PowerOnConditions6.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/PowerSignalError7.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/RisinEdge11.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/WithinHysteresis12.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/launch/CompCov ASW Symbolic.launch


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1938] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-11 07:33:28

Revision: 1938
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1938&view=rev
Author:   staats
Date:     2010-01-11 07:33:21 +0000 (Mon, 11 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ArithmeticPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/BinaryConstraintPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ConstraintConverter.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ConstraintPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/LiteralPlaceholder.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/GenerateSimpleConstraints.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1939] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-12 01:30:03

Revision: 1939
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1939&view=rev
Author:   staats
Date:     2010-01-12 01:29:57 +0000 (Tue, 12 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/jpf-parallel-client
    trunk/extensions/complexcoverage/bin/jpf-parallel-server
    trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWMainClass.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinTree.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeap.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/asw-autopart-config.txt
    trunk/extensions/complexcoverage/bin/asw-single.txt
    trunk/extensions/complexcoverage/bin/bintree-autopart-config.txt
    trunk/extensions/complexcoverage/bin/bintree-single.txt
    trunk/extensions/complexcoverage/bin/fibheap-autopart-config.txt
    trunk/extensions/complexcoverage/bin/fibheap-single.txt
    trunk/extensions/complexcoverage/bin/treemap-autopart-config.txt
    trunk/extensions/complexcoverage/bin/treemap-single.txt


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1940] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-12 03:34:39

Revision: 1940
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1940&view=rev
Author:   staats
Date:     2010-01-12 03:34:32 +0000 (Tue, 12 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/GenerateSimpleConstraints.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/newresults.txt


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1941] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-12 13:37:57

Revision: 1941
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1941&view=rev
Author:   staats
Date:     2010-01-12 13:37:51 +0000 (Tue, 12 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/asw-autopart-config.txt
    trunk/extensions/complexcoverage/bin/asw-single.txt
    trunk/extensions/complexcoverage/bin/newresults.txt
    trunk/extensions/complexcoverage/bin/treemap-autopart-config.txt
    trunk/extensions/complexcoverage/launch/CompCov Generate Constraints.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/RemoteJPF.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/partitioning/GenerateSimpleConstraints.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWMainClass.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap.java


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1949] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-18 06:46:52

Revision: 1949
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1949&view=rev
Author:   staats
Date:     2010-01-18 06:46:46 +0000 (Mon, 18 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/bin/experiment-configs/binheap-autopart-64.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/binheap-autopart-8.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/binheap-single.txt
    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/bin/experiment-configs/fibheap-autopart-64.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/fibheap-autopart-8.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/fibheap-single.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/treemap-autopart-64.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/treemap-autopart-8.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/treemap-single.txt
    trunk/extensions/complexcoverage/bin/launch-parallel-experiment.py
    trunk/extensions/complexcoverage/launch/CompCov BinTree Symbolic.launch
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinTree.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinomialHeap.java
    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.

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1952] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-18 21:03:05

Revision: 1952
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1952&view=rev
Author:   staats
Date:     2010-01-18 21:02:56 +0000 (Mon, 18 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/experiment-configs/binheap-autopart-64.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/binheap-autopart-8.txt
    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/bin/experiment-configs/fibheap-autopart-64.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/fibheap-autopart-8.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/treemap-autopart-64.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/treemap-autopart-8.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/treemap-single.txt
    trunk/extensions/complexcoverage/bin/launch-parallel-experiment.py
    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/BinomialHeap.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/launch-parallel.sh


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1953] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-18 23:15:53

Revision: 1953
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1953&view=rev
Author:   staats
Date:     2010-01-18 23:15:47 +0000 (Mon, 18 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/experiment-configs/asw-autopart-8.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/asw-single.txt
    trunk/extensions/complexcoverage/bin/jpf-parallel-client
    trunk/extensions/complexcoverage/bin/launch-parallel-experiment.py
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinTree.java

Removed Paths:
-------------
    trunk/extensions/complexcoverage/bin/launch-parallel.sh


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

[Javapathfinder-svn] SF.net SVN: javapathfinder:[1960] trunk/extensions/complexcoverage

From: <st...@us...> - 2010-01-19 15:39:47

Revision: 1960
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1960&view=rev
Author:   staats
Date:     2010-01-19 15:39:41 +0000 (Tue, 19 Jan 2010)

Log Message:
-----------


Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/experiment-configs/bintree-single.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/treemap-single.txt
    trunk/extensions/complexcoverage/launch/CompCov TreeMap Symbolic.launch
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinTree.java


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

<< < 1 2 3 > >> (Page 2 of 3)