[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added missing patterns.
Roberto Bagnara
bagnara at cs.unipr.it
Sun Apr 26 20:35:56 CEST 2009
Module: ppl/ppl
Branch: bounded_arithmetic
Commit: fae84063e55727d064d478e61dbfb0d315eaee60
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fae84063e55727d064d478e61dbfb0d315eaee60
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 26 20:35:03 2009 +0200
Added missing patterns.
---
interfaces/C/.gitignore | 5 +++--
tests/Polyhedron/.gitignore | 12 +++++++-----
2 files changed, 10 insertions(+), 7 deletions(-)
diff --git a/interfaces/C/.gitignore b/interfaces/C/.gitignore
index ff759d3..10604d8 100644
--- a/interfaces/C/.gitignore
+++ b/interfaces/C/.gitignore
@@ -1,10 +1,11 @@
*.la
+cxxoutput
ppl_c.cc
ppl_c.h
-ppl_c_version.h
ppl_c_[A-Z]*.cc
ppl_c_[A-Z]*.hh
+ppl_c_cc_blob
ppl_c_domains.h
ppl_c_implementation_domains.cc.stamp
ppl_c_implementation_domains.hh
-cxxoutput
+ppl_c_version.h
diff --git a/tests/Polyhedron/.gitignore b/tests/Polyhedron/.gitignore
index 8fa7846..8d3c40b 100644
--- a/tests/Polyhedron/.gitignore
+++ b/tests/Polyhedron/.gitignore
@@ -22,6 +22,7 @@ ascii_dump_load2.dat
ascii_dump_load3
ascii_dump_load3.dat
bgp99extrapolation1
+bgp99extrapolation2
bhrz03widening1
bhrz03widening2
bhrz03widening3
@@ -69,10 +70,10 @@ hybrid
intersection1
limitedbhrz03extrapolation1
limitedh79extrapolation1
+linearexpression1
linearpartition1
linearsystem1
linearsystem1.dat
-linearexpression1
mapspacedims1
matrix1
matrix1.dat
@@ -145,6 +146,7 @@ nnc_onepoint
nnc_permute
nnc_polydifference1
nnc_polyhull1
+nnc_polyhullifexact1
nnc_randphull1
nnc_relations1
nnc_relations2
@@ -154,6 +156,7 @@ nnc_smm1
nnc_timeelapse1
nnc_unconstrain1
nnc_universe1
+nnc_wrap1
nnc_writepolyhedron1
nncminimize1
nncminimize2
@@ -164,6 +167,8 @@ polydifference1
polydifference2
polyhull1
polyhull2
+polyhullifexact1
+polyhullifexact2
randphull1
refinewithcongruence1
refinewithcongruences1
@@ -185,6 +190,7 @@ universe1
universe2
variablesset1
watchdog1
+wrap1
writeconsys1
writegensys1
writepolyhedron1
@@ -192,7 +198,3 @@ writepolyhedron2
writerelation1
writevariable1
writevariable1.dat
-bgp99extrapolation2
-nnc_polyhullifexact1
-polyhullifexact1
-polyhullifexact2
More information about the PPL-devel
mailing list