[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 23:18:16 CET 2012
Module: ppl/ppl
Branch: master
Commit: 9e69c60b10f80fe3babe7460589a80f2ca9368d3
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e69c60b10f80fe3babe7460589a80f2ca9368d3
Author: Roberto Bagnara <bagnara at 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=9e69c60b10f80fe3babe7460589a80f2ca9368d3
More information about the PPL-devel
mailing list