Module: ppl/ppl Branch: bounded_arithmetic Commit: fae84063e55727d064d478e61dbfb0d315eaee60 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fae84063e5572...

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