Module: ppl/ppl Branch: pip Commit: 2e58e4cde2d03f7e4a696291d0de764929a86652 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e58e4cde2d03...

Author: Roberto Bagnara bagnara@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@cs.unipr.it +# Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it +# Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it + Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it + Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it + Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it + Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it + Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it + Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it +/* Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it + Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it + Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it + Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it +/* Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it +# Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it + Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it + Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it + Copyright (C) 2001-2010 Roberto Bagnara bagnara@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@cs.unipr.it + Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it

This file is part of the Parma Polyhedra Library (PPL).