Module: ppl/ppl Branch: ppl-0_11-branch Commit: 75e1aefe7cedbec6e84bb77633efff70a2c9066b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75e1aefe7cedb...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 14 19:11:05 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 | 13 +++-- tests/PIP_Problem/.gitignore | 5 ++ tests/Partially_Reduced_Product/.gitignore | 48 +++++++++++++++++++- tests/Polyhedron/.gitignore | 11 +++++ 8 files changed, 81 insertions(+), 8 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..bda519e 100644 --- a/tests/Grid/.gitignore +++ b/tests/Grid/.gitignore @@ -10,6 +10,7 @@ affineimage1 affineimage2 affinepreimage1 affinepreimage2 +approximatepartition1 ascii_dump_load1.dat ascii_dump_load2.dat ascii_dump_load3.dat @@ -42,10 +43,13 @@ coveringbox1 coveringbox2 discrete1 disjoint1 +dropnonintegerpoints1 equals1 expandspacedim1 foldspacedims1 +frequency1 frombdshape1 +frombox1 fromgrid1 fromoctagonalshape1 frompolyhedron1 @@ -90,16 +94,15 @@ relations2 relations3 removespacedims1 removespacedims2 +simplifyusingcontext1 timeelapse1 topclosed1 topclosure1 unconstrain1 +upperbound1 +upperbound2 widening1 widening2 widening3 +wrap1 writecongruencesystem -approximatepartition1 -frombox1 -simplifyusingcontext1 -upperbound1 -upperbound2 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