Module: ppl/ppl Branch: master Commit: 8df2fd42dd3c1fac0bd9d19b08c617d536c62545 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8df2fd42dd3c1...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 09:38:52 2012 +0100
Updated.
---
src/version.cc | 24 +++++++++++++----------- 1 files changed, 13 insertions(+), 11 deletions(-)
diff --git a/src/version.cc b/src/version.cc index 8a82688..fbfc395 100644 --- a/src/version.cc +++ b/src/version.cc @@ -33,6 +33,7 @@ const char version_string[] = PPL_PACKAGE_VERSION; const char banner_string[] = "This is "PPL_PACKAGE_NAME" (PPL) version "PPL_PACKAGE_VERSION".\n" "Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it\n" +"Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)%5Cn" "\n" "The PPL is free software; see the source for copying conditions.\n" "There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A\n" @@ -57,21 +58,22 @@ const char banner_string[] = "see the Parma Polyhedra Library site: http://bugseng.com/products/ppl/ .\n" "\n" "Contributors:\n" -"Roberto Bagnara, Patricia M. Hill, Enea Zaffanella, Elisa Ricci,\n" -"Abramo Bagnara, Andrea Cimino, Katy Dobson, Elena Mazzi,\n" -"Matthew Mundell, Barbara Quartieri, Enric Rodriguez Carbonell,\n" -"Alessandro Zaccagnini,\n" -"Irene Bacchi, Danilo Bonardi, Sara Bonini, Giordano Fracasso,\n" -"Maximiliano Marchesi, David Merchat, Andrea Pescetti, Angela Stazzone,\n" -"Fabio Trabucchi, Claudio Trento, Tatiana Zolo.\n" +"Roberto Bagnara, Patricia M. Hill, Enea Zaffanella, Abramo Bagnara,\n" +"Elisa Ricci, Andrea Cimino, Marco Poletti, Alessandro Zaccagnini,\n" +"Roberto Amadini, Irene Bacchi, Fabio Biselli, Fabio Bossi,\n" +"Danilo Bonardi, Sara Bonini, Katy Dobson, Giordano Fracasso,\n" +"Francois Galea, Maximiliano Marchesi, Elena Mazzi, David Merchat,\n" +"Matthew Mundell, Andrea Pescetti, Barbara Quartieri,\n" +"Enric Rodriguez Carbonell, Angela Stazzone, Fabio Trabucchi,\n" +"Claudio Trento, Tatiana Zolo.\n" "\n" "Special thanks to:\n" "Lucia Alessandrini, Frederic Besson, Tevfik Bultan, Manuel Carro,\n" "Marco Comini, Goran Frehse, Denis Gopan, Martin Guy, Bruno Haible,\n" -"Bertrand Jeannet, Herve Le Verge, Francesco Logozzo, Costantino Medori,\n" -"Fred Mesnard, Ken Mixter, Jose Morales, Sebastian Pop, Thomas Reps,\n" -"Mooly Sagiv, Sriram Sankaranarayanan, Axel Simon, Fausto Spoto,\n" -"Basile Starynkevitch, Pedro Vasconcelos, Ralf Wildenhues."; +"Bertrand Jeannet, Herve Le Verge, Francesco Logozzo, Kenneth MacKenzie,\n" +"Costantino Medori, Fred Mesnard, Ken Mixter, Jose Morales, Sebastian Pop,\n" +"Thomas Reps, Mooly Sagiv, Sriram Sankaranarayanan, Axel Simon,\n" +"Fausto Spoto, Basile Starynkevitch, Pedro Vasconcelos, Ralf Wildenhues.";
} // namespace