[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated.
Roberto Bagnara
bagnara at cs.unipr.it
Mon Feb 14 19:11:19 CET 2011
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=75e1aefe7cedbec6e84bb77633efff70a2c9066b
Author: Roberto Bagnara <bagnara at 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
More information about the PPL-devel
mailing list