[PPL-devel] [GIT] ppl/ppl(pip): Extended copyright years.
Roberto Bagnara
bagnara at cs.unipr.it
Fri Jan 1 16:36:40 CET 2010
Module: ppl/ppl
Branch: pip
Commit: 2e58e4cde2d03f7e4a696291d0de764929a86652
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e58e4cde2d03f7e4a696291d0de764929a86652
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Jan 1 16:34:11 2010 +0100
Extended copyright years.
---
demos/ppl_pips/Makefile.am | 2 +-
demos/ppl_pips/examples/Makefile.am | 2 +-
demos/ppl_pips/ppl_pips.cc | 2 +-
devtools/bump_copyright_years | 2 +-
interfaces/C/tests/pip_test.c | 2 +-
src/PIP_Problem.cc | 2 +-
src/PIP_Problem.defs.hh | 2 +-
src/PIP_Problem.inlines.hh | 2 +-
src/PIP_Problem.templates.hh | 2 +-
src/PIP_Problem.types.hh | 2 +-
src/PIP_Tree.cc | 2 +-
src/PIP_Tree.defs.hh | 2 +-
src/PIP_Tree.inlines.hh | 2 +-
src/PIP_Tree.types.hh | 2 +-
tests/PIP_Problem/Makefile.am | 2 +-
tests/PIP_Problem/ascii_dump_load1.cc | 2 +-
tests/PIP_Problem/exceptions1.cc | 2 +-
tests/PIP_Problem/pipproblem1.cc | 2 +-
tests/PIP_Problem/pipproblem2.cc | 2 +-
19 files changed, 19 insertions(+), 19 deletions(-)
diff --git a/demos/ppl_pips/Makefile.am b/demos/ppl_pips/Makefile.am
index 02ff5fa..ceca842 100644
--- a/demos/ppl_pips/Makefile.am
+++ b/demos/ppl_pips/Makefile.am
@@ -1,5 +1,5 @@
# Automake source file for the Parma Polyhedra Library.
-# Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+# Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
#
# This file is part of the Parma Polyhedra Library (PPL).
#
diff --git a/demos/ppl_pips/examples/Makefile.am b/demos/ppl_pips/examples/Makefile.am
index 7926121..3f2777a 100644
--- a/demos/ppl_pips/examples/Makefile.am
+++ b/demos/ppl_pips/examples/Makefile.am
@@ -1,5 +1,5 @@
# Automake source file for the Parma Polyhedra Library.
-# Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+# Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
#
# This file is part of the Parma Polyhedra Library (PPL).
#
diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc
index c642ad7..d7d191c 100644
--- a/demos/ppl_pips/ppl_pips.cc
+++ b/demos/ppl_pips/ppl_pips.cc
@@ -1,5 +1,5 @@
/* A sort of clone of the cddlib test program `lcdd'.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/devtools/bump_copyright_years b/devtools/bump_copyright_years
index 92bd8fe..f02f3c7 100755
--- a/devtools/bump_copyright_years
+++ b/devtools/bump_copyright_years
@@ -2,7 +2,7 @@
temp_file=`mktemp /tmp/bump_copyright_years.XXXXXXXXXX` || exit 1
for k in `find . -type f`
do
- sed -e "s/Copyright (C) 2001-2009 Roberto Bagnara/Copyright (C) 2001-2010 Roberto Bagnara/g" <$k >$temp_file
+ sed -e "s/Copyright (C) 2001-2010 Roberto Bagnara/Copyright (C) 2001-2010 Roberto Bagnara/g" <$k >$temp_file
chmod --reference=$k $temp_file
mv -f $temp_file $k
done
diff --git a/interfaces/C/tests/pip_test.c b/interfaces/C/tests/pip_test.c
index 645e912..f2ff197 100644
--- a/interfaces/C/tests/pip_test.c
+++ b/interfaces/C/tests/pip_test.c
@@ -1,5 +1,5 @@
/* Test the use of the PPL PIP solver from C code.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc
index 4857949..4fc5607 100644
--- a/src/PIP_Problem.cc
+++ b/src/PIP_Problem.cc
@@ -1,5 +1,5 @@
/* PIP_Problem class implementation: non-inline functions.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Problem.defs.hh b/src/PIP_Problem.defs.hh
index e6768bb..e98c66a 100644
--- a/src/PIP_Problem.defs.hh
+++ b/src/PIP_Problem.defs.hh
@@ -1,5 +1,5 @@
/* PIP_Problem class declaration.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Problem.inlines.hh b/src/PIP_Problem.inlines.hh
index b2f3bc3..8ea5a32 100644
--- a/src/PIP_Problem.inlines.hh
+++ b/src/PIP_Problem.inlines.hh
@@ -1,5 +1,5 @@
/* PIP_Problem class implementation: inline functions.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Problem.templates.hh b/src/PIP_Problem.templates.hh
index fcfa076..3197e87 100644
--- a/src/PIP_Problem.templates.hh
+++ b/src/PIP_Problem.templates.hh
@@ -1,5 +1,5 @@
/* PIP_Problem class implementation: non-inline template functions.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Problem.types.hh b/src/PIP_Problem.types.hh
index c6033bb..e6c46e5 100644
--- a/src/PIP_Problem.types.hh
+++ b/src/PIP_Problem.types.hh
@@ -1,4 +1,4 @@
-/* Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+/* Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is free software; as a special exception the author gives
unlimited permission to copy and/or distribute it, with or without
diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc
index 19291ef..3969d50 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -1,5 +1,5 @@
/* PIP_Tree related class implementation: non-inline functions.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Tree.defs.hh b/src/PIP_Tree.defs.hh
index 9e03a09..9a028f1 100644
--- a/src/PIP_Tree.defs.hh
+++ b/src/PIP_Tree.defs.hh
@@ -1,5 +1,5 @@
/* PIP_Tree class declaration.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Tree.inlines.hh b/src/PIP_Tree.inlines.hh
index 0e0b8f8..d436da9 100644
--- a/src/PIP_Tree.inlines.hh
+++ b/src/PIP_Tree.inlines.hh
@@ -1,5 +1,5 @@
/* PIP_Tree related class implementation: inline functions.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/src/PIP_Tree.types.hh b/src/PIP_Tree.types.hh
index d21cf1b..682d95b 100644
--- a/src/PIP_Tree.types.hh
+++ b/src/PIP_Tree.types.hh
@@ -1,4 +1,4 @@
-/* Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+/* Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is free software; as a special exception the author gives
unlimited permission to copy and/or distribute it, with or without
diff --git a/tests/PIP_Problem/Makefile.am b/tests/PIP_Problem/Makefile.am
index 5ec9c04..19ea24e 100644
--- a/tests/PIP_Problem/Makefile.am
+++ b/tests/PIP_Problem/Makefile.am
@@ -1,5 +1,5 @@
# Automake source file for the Parma Polyhedra Library.
-# Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+# Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
#
# This file is part of the Parma Polyhedra Library (PPL).
#
diff --git a/tests/PIP_Problem/ascii_dump_load1.cc b/tests/PIP_Problem/ascii_dump_load1.cc
index 18e8235..3ff394b 100644
--- a/tests/PIP_Problem/ascii_dump_load1.cc
+++ b/tests/PIP_Problem/ascii_dump_load1.cc
@@ -1,5 +1,5 @@
/* Test PIP_Problem::ascii_dump() and PIP_Problem::ascii_load().
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/tests/PIP_Problem/exceptions1.cc b/tests/PIP_Problem/exceptions1.cc
index 6bbe11e..c227c1f 100644
--- a/tests/PIP_Problem/exceptions1.cc
+++ b/tests/PIP_Problem/exceptions1.cc
@@ -1,5 +1,5 @@
/* Test that the right exceptions are thrown in case of incorrect uses.
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc
index 01fc9fa..c6d0ae7 100644
--- a/tests/PIP_Problem/pipproblem1.cc
+++ b/tests/PIP_Problem/pipproblem1.cc
@@ -1,5 +1,5 @@
/* Test the PIP_Problem class
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
diff --git a/tests/PIP_Problem/pipproblem2.cc b/tests/PIP_Problem/pipproblem2.cc
index 590f672..d91696c 100644
--- a/tests/PIP_Problem/pipproblem2.cc
+++ b/tests/PIP_Problem/pipproblem2.cc
@@ -1,5 +1,5 @@
/* Test the PIP_Problem class
- Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
+ Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
This file is part of the Parma Polyhedra Library (PPL).
More information about the PPL-devel
mailing list