[PPL-devel] [GIT] ppl/ppl(master): Updated.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 41c580634b7e90d73fa8d7629fb353d9bf103faa
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41c580634b7e90d73fa8d7629fb353d9bf103faa

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 14 16:56:35 2011 +0100

Updated.

---

 Watchdog/tests/.gitignore                          |    2 +-
 interfaces/C/tests/.gitignore                      |    3 +
 interfaces/Java/parma_polyhedra_library/.gitignore |    1 +
 interfaces/Prolog/GNU/.gitignore                   |    6 +++
 tests/Grid/.gitignore                              |    3 +
 tests/PIP_Problem/.gitignore                       |    5 ++
 tests/Partially_Reduced_Product/.gitignore         |   48 +++++++++++++++++++-
 tests/Polyhedron/.gitignore                        |   11 +++++
 tests/Sparse_Matrix/.gitignore                     |    2 +
 9 files changed, 78 insertions(+), 3 deletions(-)

diff --git a/Watchdog/tests/.gitignore b/Watchdog/tests/.gitignore
index e2464cd..a8f4dc8 100644
--- a/Watchdog/tests/.gitignore
+++ b/Watchdog/tests/.gitignore
@@ -1 +1 @@
-simple1
+watchdog1
diff --git a/interfaces/C/tests/.gitignore b/interfaces/C/tests/.gitignore
index 77d1bf7..111b565 100644
--- a/interfaces/C/tests/.gitignore
+++ b/interfaces/C/tests/.gitignore
@@ -1 +1,4 @@
 formatted_output
+pip_test
+watchdog1
+weightwatch1
diff --git a/interfaces/Java/parma_polyhedra_library/.gitignore b/interfaces/Java/parma_polyhedra_library/.gitignore
index 911439a..a463a5a 100644
--- a/interfaces/Java/parma_polyhedra_library/.gitignore
+++ b/interfaces/Java/parma_polyhedra_library/.gitignore
@@ -17,4 +17,5 @@ Pointset_Powerset_C_Polyhedron_Iterator.java
 Pointset_Powerset_NNC_Polyhedron.java
 Pointset_Powerset_NNC_Polyhedron_Iterator.java
 Polyhedron.java
+Termination.java
 parma_polyhedra_library_*.h
diff --git a/interfaces/Prolog/GNU/.gitignore b/interfaces/Prolog/GNU/.gitignore
index 0da092d..f72a790 100644
--- a/interfaces/Prolog/GNU/.gitignore
+++ b/interfaces/Prolog/GNU/.gitignore
@@ -6,5 +6,11 @@ gp_clpq2
 obtained
 obtained2
 obtained3
+obtained_clpq
+obtained_clpq2
+obtained_pchk
+obtained_pgt
 ppl_gprolog
 ppl_gprolog.pl
+script_pchk
+script_pgt
diff --git a/tests/Grid/.gitignore b/tests/Grid/.gitignore
index fac9ecf..9206ae5 100644
--- a/tests/Grid/.gitignore
+++ b/tests/Grid/.gitignore
@@ -42,9 +42,11 @@ coveringbox1
 coveringbox2
 discrete1
 disjoint1
+dropnonintegerpoints1
 equals1
 expandspacedim1
 foldspacedims1
+frequency1
 frombdshape1
 fromgrid1
 fromoctagonalshape1
@@ -97,6 +99,7 @@ unconstrain1
 widening1
 widening2
 widening3
+wrap1
 writecongruencesystem
 approximatepartition1
 frombox1
diff --git a/tests/PIP_Problem/.gitignore b/tests/PIP_Problem/.gitignore
index b331d16..f8d9fc4 100644
--- a/tests/PIP_Problem/.gitignore
+++ b/tests/PIP_Problem/.gitignore
@@ -1 +1,6 @@
+ascii_dump_load1
+ascii_dump_load1.dat
+exceptions1
 pipproblem1
+pipproblem2
+pipproblem3
diff --git a/tests/Partially_Reduced_Product/.gitignore b/tests/Partially_Reduced_Product/.gitignore
index dda0c1f..75078a9 100644
--- a/tests/Partially_Reduced_Product/.gitignore
+++ b/tests/Partially_Reduced_Product/.gitignore
@@ -1,12 +1,56 @@
+addcongruences1
+affineimage1
+ascii_dump_load1.dat
+asciidumpload1
+bounded1
+boundedaffineimage1
+bounds1
+concatenate1
+congruences1
+congruencesproduct1
+constraints1
+constraintsproduct1
+contains1
+difference1
+dimension1
 directproduct1
 directproduct2
 directproduct3
 directproduct4
 directproduct5
 directproduct6
+discrete1
+disjoint1
+dropsomenonintegerpoints1
+equals1
+frombdshape1
+frombox1
+fromgrid1
+fromoctagonalshape1
+frompolyhedron1
+fromproduct1
+generalizedaffineimage1
+intersection1
+isempty1
+isuniverse1
+maxmin1
 partiallyreducedproduct1
 partiallyreducedproduct2
 partiallyreducedproduct3
 partiallyreducedproduct4
-ascii_dump_load1.dat
-asciidumpload1
+refinewithcongruences1
+refinewithconstraints1
+relations1
+reverse_congruences1
+reverse_congruencesproduct1
+reverse_constraints1
+reverse_constraintsproduct1
+reverse_directproduct1
+reverse_shapepreservingproduct1
+shapepreservingproduct1
+smashproduct1
+spacedims1
+timeelapse1
+topclosed1
+topclosure1
+upperbound1
diff --git a/tests/Polyhedron/.gitignore b/tests/Polyhedron/.gitignore
index 8d3c40b..49585e4 100644
--- a/tests/Polyhedron/.gitignore
+++ b/tests/Polyhedron/.gitignore
@@ -41,8 +41,12 @@ constraints1
 contains1
 contains2
 containsintegerpoint1
+densematrix1
+densematrix1.dat
 disjoint1
 disjoint2
+dropsomenonintegerpoints1
+dropsomenonintegerpoints2
 dualhypercubes
 empty1
 equals1
@@ -53,6 +57,7 @@ expandspacedim1
 expandspacedim2
 foldspacedims1
 foldspacedims2
+frequency1
 frombdshape1
 frombox1
 frombox2
@@ -117,6 +122,7 @@ nnc_constraints1
 nnc_contains1
 nnc_containsintegerpoint1
 nnc_disjoint1
+nnc_dropsomenonintegerpoints1
 nnc_empty1
 nnc_equals1
 nnc_exceptions1
@@ -157,6 +163,7 @@ nnc_timeelapse1
 nnc_unconstrain1
 nnc_universe1
 nnc_wrap1
+nnc_wrap2
 nnc_writepolyhedron1
 nncminimize1
 nncminimize2
@@ -181,6 +188,8 @@ removespacedims1
 removespacedims2
 simplifyusingcontext1
 smm1
+termination1
+termination2
 timeelapse1
 timeelapse2
 topclosed1
@@ -190,7 +199,9 @@ universe1
 universe2
 variablesset1
 watchdog1
+weightwatch1
 wrap1
+wrap2
 writeconsys1
 writegensys1
 writepolyhedron1
diff --git a/tests/Sparse_Matrix/.gitignore b/tests/Sparse_Matrix/.gitignore
new file mode 100644
index 0000000..d64a759
--- /dev/null
+++ b/tests/Sparse_Matrix/.gitignore
@@ -0,0 +1,2 @@
+sparsematrix1
+sparserow1