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

Author: Roberto Bagnara bagnara@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