[PPL-devel] [GIT] ppl/ppl(master): The Parma Watchdog Library has been merged into the Parma Polyhedra Library .
Roberto Bagnara
bagnara at cs.unipr.it
Mon Feb 20 22:51:10 CET 2012
Module: ppl/ppl
Branch: master
Commit: ed39879f090cbad40861608fa63488c071c2f99a
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed39879f090cbad40861608fa63488c071c2f99a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 20 22:49:56 2012 +0100
The Parma Watchdog Library has been merged into the Parma Polyhedra Library.
---
Makefile.am | 4 +-
NEWS | 3 +
Watchdog/.gitignore | 3 -
Watchdog/BUGS | 2 -
Watchdog/COPYING | 674 --
Watchdog/CREDITS | 12 -
Watchdog/ChangeLog | 758 --
Watchdog/ChangeLog_2001-2008 | 2162 -----
Watchdog/INSTALL | 365 -
Watchdog/Makefile.am | 63 -
Watchdog/NEWS | 97 -
Watchdog/README | 153 -
Watchdog/compile | 310 -
Watchdog/config.guess | 1523 ---
Watchdog/config.rpath | 666 --
Watchdog/config.sub | 1771 ----
Watchdog/configure.ac | 434 -
Watchdog/depcomp | 688 --
Watchdog/doc/.gitignore | 13 -
Watchdog/doc/Makefile.am | 300 -
Watchdog/doc/README.doc | 141 -
Watchdog/doc/devref.doxyconf-html.in | 287 -
Watchdog/doc/devref.doxyconf-latex.in | 287 -
Watchdog/doc/devref.tex | 121 -
Watchdog/doc/fdl.dox | 407 -
Watchdog/doc/fdl.tex | 454 -
Watchdog/doc/fdl.txt | 397 -
Watchdog/doc/gpl.dox | 686 --
Watchdog/doc/gpl.tex | 728 --
Watchdog/doc/gpl.txt | 674 --
Watchdog/doc/pwl.sty | 179 -
Watchdog/doc/user.doxyconf-html.in | 255 -
Watchdog/doc/user.doxyconf-latex.in | 255 -
Watchdog/doc/user.tex | 121 -
Watchdog/install-sh | 527 --
Watchdog/ltmain.sh | 9655 --------------------
Watchdog/m4/Makefile.am | 38 -
Watchdog/m4/lib-ld.m4 | 110 -
Watchdog/m4/lib-link.m4 | 764 --
Watchdog/m4/libtool.m4 | 7982 ----------------
Watchdog/m4/ltoptions.m4 | 384 -
Watchdog/m4/ltsugar.m4 | 123 -
Watchdog/m4/ltversion.m4 | 23 -
Watchdog/m4/lt~obsolete.m4 | 98 -
Watchdog/missing | 331 -
Watchdog/mkinstalldirs | 162 -
Watchdog/pwl-config.sed | 24 -
Watchdog/src/.gitignore | 2 -
Watchdog/src/Makefile.am | 158 -
Watchdog/src/Watchdog.types.hh | 22 -
Watchdog/src/pwl_header.hh | 53 -
Watchdog/tests/.gitignore | 1 -
Watchdog/tests/pwl_test.cc | 194 -
Watchdog/tests/pwl_test.hh | 207 -
Watchdog/tests/valgrind_suppressions | 18 -
Watchdog/utils/.gitignore | 1 -
Watchdog/utils/Makefile.am | 46 -
Watchdog/utils/build_header.in | 103 -
configure.ac | 35 +-
doc/devref.doxyconf-html.in | 31 +
doc/devref.doxyconf-latex.in | 31 +
interfaces/C/Makefile.am | 9 -
interfaces/C/tests/Makefile.am | 46 +-
interfaces/C/tests/watchdog1.c | 4 +-
interfaces/Java/jni/Makefile.am | 9 -
interfaces/Java/tests/Makefile.am | 6 -
interfaces/OCaml/Makefile.am | 11 +-
interfaces/OCaml/tests/Makefile.am | 22 +-
interfaces/Prolog/Ciao/Makefile.am | 15 -
interfaces/Prolog/GNU/Makefile.am | 21 +-
interfaces/Prolog/SICStus/Makefile.am | 30 +-
interfaces/Prolog/SWI/Makefile.am | 21 +-
interfaces/Prolog/XSB/Makefile.am | 18 +-
interfaces/Prolog/YAP/Makefile.am | 15 -
ppl-config.sed | 1 +
{Watchdog/src => src}/Doubly_Linked_Object.defs.hh | 14 +-
.../src => src}/Doubly_Linked_Object.inlines.hh | 24 +-
.../src => src}/Doubly_Linked_Object.types.hh | 18 +-
{Watchdog/src => src}/EList.defs.hh | 16 +-
{Watchdog/src => src}/EList.inlines.hh | 24 +-
{Watchdog/src => src}/EList.types.hh | 18 +-
{Watchdog/src => src}/EList_Iterator.defs.hh | 26 +-
{Watchdog/src => src}/EList_Iterator.inlines.hh | 24 +-
{Watchdog/src => src}/EList_Iterator.types.hh | 18 +-
{Watchdog/src => src}/Handler.defs.hh | 20 +-
{Watchdog/src => src}/Handler.inlines.hh | 24 +-
{Watchdog/src => src}/Handler.types.hh | 18 +-
src/Init.cc | 12 +
src/Makefile.am | 36 +-
{Watchdog/src => src}/Pending_Element.defs.hh | 15 +-
{Watchdog/src => src}/Pending_Element.inlines.hh | 24 +-
{Watchdog/src => src}/Pending_Element.types.hh | 18 +-
{Watchdog/src => src}/Pending_List.defs.hh | 14 +-
{Watchdog/src => src}/Pending_List.inlines.hh | 24 +-
{Watchdog/src => src}/Pending_List.templates.hh | 24 +-
{Watchdog/src => src}/Pending_List.types.hh | 18 +-
{Watchdog/src => src}/Threshold_Watcher.cc | 8 +-
{Watchdog/src => src}/Threshold_Watcher.defs.hh | 30 +-
{Watchdog/src => src}/Threshold_Watcher.inlines.hh | 23 +-
.../src => src}/Threshold_Watcher.templates.hh | 18 +-
{Watchdog/src => src}/Threshold_Watcher.types.hh | 10 +-
{Watchdog/src => src}/Time.cc | 12 +-
{Watchdog/src => src}/Time.defs.hh | 26 +-
{Watchdog/src => src}/Time.inlines.hh | 24 +-
{Watchdog/src => src}/Time.types.hh | 18 +-
{Watchdog/src => src}/Watchdog.cc | 69 +-
{Watchdog/src => src}/Watchdog.defs.hh | 80 +-
{Watchdog/src => src}/Watchdog.inlines.hh | 51 +-
.../src/Time.types.hh => src/Watchdog.types.hh | 12 +-
src/ppl_header.hh | 4 +
tests/Ask_Tell/Makefile.am | 2 -
tests/Box/Makefile.am | 22 +-
tests/CO_Tree/Makefile.am | 1 -
tests/Concrete_Expression/Makefile.am | 3 -
tests/MIP_Problem/Makefile.am | 21 +-
tests/PIP_Problem/Makefile.am | 4 -
tests/Polyhedron/Makefile.am | 66 +-
tests/Polyhedron/watchdog1.cc | 7 +-
tests/Polyhedron/weightwatch1.cc | 3 +-
tests/Sparse_Matrix/Makefile.am | 1 -
{Watchdog/tests => tests/Watchdog}/Makefile.am | 36 +-
{Watchdog/tests => tests/Watchdog}/watchdog1.cc | 16 +-
122 files changed, 642 insertions(+), 36698 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ed39879f090cbad40861608fa63488c071c2f99a
More information about the PPL-devel
mailing list