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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Apr 11 15:31:41 2012 +0200

Modified signature of function set_deterministic_timeout().

---

interfaces/C/ppl_c_header.h | 23 +++++++++++++------ interfaces/C/ppl_c_implementation_common.cc | 7 ++++- interfaces/C/tests/weightwatch1.c | 4 +- interfaces/Java/jni/ppl_java_globals.cc | 14 +++++++---- .../Parma_Polyhedra_Library.java | 23 ++++++++++++++----- .../Java/tests/Parma_Polyhedra_Library_test2.java | 2 +- interfaces/OCaml/ppl_ocaml_common.cc | 12 +++++++--- interfaces/OCaml/ppl_ocaml_globals.ml | 2 +- interfaces/OCaml/ppl_ocaml_globals.mli | 2 +- interfaces/OCaml/tests/test1.ml | 4 +- interfaces/Prolog/Prolog_interface_sysindep.dox | 10 ++++++-- ...erface_generator_prolog_procedure_generators.m4 | 2 +- interfaces/Prolog/ppl_prolog_common.cc | 15 ++++++++---- interfaces/Prolog/ppl_prolog_common.defs.hh | 3 +- src/Threshold_Watcher.inlines.hh | 5 +++- src/globals.defs.hh | 14 ++++++++++++ src/globals.inlines.hh | 9 +++++++ 17 files changed, 109 insertions(+), 42 deletions(-)

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