Module: ppl/ppl Branch: master Commit: 9e69c60b10f80fe3babe7460589a80f2ca9368d3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e69c60b10f80...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 20 23:17:33 2012 +0100

The Parma Watchdog Library has been merged into the Parma Polyhedra Library.

---

interfaces/C/ppl_c_implementation_common.cc | 40 ++-------------------- interfaces/C/ppl_c_implementation_common.defs.hh | 3 -- interfaces/Java/jni/ppl_java_common.cc | 10 +----- interfaces/Java/jni/ppl_java_common.defs.hh | 10 +---- interfaces/Java/jni/ppl_java_globals.cc | 30 +---------------- interfaces/OCaml/ppl_ocaml_common.cc | 38 ++------------------- interfaces/OCaml/ppl_ocaml_common.defs.hh | 3 -- interfaces/Prolog/ppl_prolog_common.cc | 37 +++----------------- interfaces/Prolog/ppl_prolog_common.defs.hh | 3 -- tests/Box/refinewithconstraints2.cc | 4 +- tests/MIP_Problem/mipproblem2.cc | 2 +- 11 files changed, 18 insertions(+), 162 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9e69c60b1...