[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