Module: ppl/ppl Branch: master Commit: 8f37574794416e4c97d012e8a51be42fe3b310aa URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f37574794416...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Oct 10 08:39:04 2011 +0200
Better terminology and identifiers concerning time units. (Thanks to Anthony Foiani.)
---
Watchdog/src/Time.cc | 2 +- Watchdog/src/Time.defs.hh | 10 +++++----- Watchdog/src/Time.inlines.hh | 19 +++++++++---------- Watchdog/src/Watchdog.cc | 6 +++--- Watchdog/src/Watchdog.defs.hh | 10 +++++----- Watchdog/src/Watchdog.inlines.hh | 20 ++++++++++---------- Watchdog/tests/watchdog1.cc | 6 +++--- demos/ppl_lpsol/ppl_lpsol.c | 10 +++++----- interfaces/C/ppl_c_header.h | 14 +++++++------- interfaces/C/ppl_c_implementation_common.cc | 6 +++--- interfaces/C/tests/watchdog1.c | 5 ++--- interfaces/Java/jni/ppl_java_globals.cc | 10 +++++----- .../Parma_Polyhedra_Library.java | 14 +++++++------- .../Java/tests/Parma_Polyhedra_Library_test2.java | 8 ++++---- interfaces/OCaml/OCaml_interface.dox | 8 ++++---- interfaces/Prolog/Prolog_interface.dox | 6 +++--- interfaces/Prolog/ppl_prolog_common.cc | 9 ++++----- interfaces/Prolog/ppl_prolog_common.defs.hh | 2 +- interfaces/Prolog/ppl_prolog_sysindep_dox | 4 ++-- interfaces/Prolog/tests/pl_check.pl | 6 +++--- tests/Polyhedron/watchdog1.cc | 5 ++--- utils/timings.cc | 18 +++++++++--------- 22 files changed, 97 insertions(+), 101 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8f3757479...