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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 7 19:08:46 2012 +0200

Substituted "alpha testing" with "beta testing".

---

interfaces/C/ppl_c_header.h | 2 +- .../Parma_Polyhedra_Library.java | 2 +- interfaces/OCaml/OCaml_interface.dox | 2 +- interfaces/Prolog/Prolog_interface_sysindep.dox | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/interfaces/C/ppl_c_header.h b/interfaces/C/ppl_c_header.h index 066ced4..aa8d02d 100644 --- a/interfaces/C/ppl_c_header.h +++ b/interfaces/C/ppl_c_header.h @@ -413,7 +413,7 @@ ppl_reset_timeout PPL_PROTO((void)); (CPU, operating system, compiler, etc.).

\warning - The weight mechanism is under alpha testing. In particular, + The weight mechanism is under beta testing. In particular, there is still no clear relation between the weight threshold and the actual computational complexity. As a consequence, client applications should be ready to reconsider the tuning of these diff --git a/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java b/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java index ca8295e..a843288 100644 --- a/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java +++ b/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java @@ -282,7 +282,7 @@ public class Parma_Polyhedra_Library { (CPU, operating system, compiler, etc.).

\warning - The weight mechanism is under alpha testing. In particular, + The weight mechanism is under beta testing. In particular, there is still no clear relation between the weight threshold and the actual computational complexity. As a consequence, client applications should be ready to reconsider the tuning of these diff --git a/interfaces/OCaml/OCaml_interface.dox b/interfaces/OCaml/OCaml_interface.dox index cc61254..757ce02 100644 --- a/interfaces/OCaml/OCaml_interface.dox +++ b/interfaces/OCaml/OCaml_interface.dox @@ -227,7 +227,7 @@ included with all instantiations of the OCaml interfaces. Its behavior will only depend on (some of the) computations performed in the PPL library and it will be otherwise independent from the computation environment (CPU, operating system, compiler, etc.). - The weight mechanism is under alpha testing: client applications + The weight mechanism is under beta testing: client applications should be ready to reconsider the tuning of these weight thresholds when upgrading to newer version of the PPL.

diff --git a/interfaces/Prolog/Prolog_interface_sysindep.dox b/interfaces/Prolog/Prolog_interface_sysindep.dox index 9d10d31..9ee52d8 100644 --- a/interfaces/Prolog/Prolog_interface_sysindep.dox +++ b/interfaces/Prolog/Prolog_interface_sysindep.dox @@ -430,7 +430,7 @@ that are included with all instantiations of the Prolog interfaces. Its behavior will only depend on (some of the) computations performed in the PPL library and it will be otherwise independent from the computation environment (CPU, operating system, compiler, etc.). - The weight mechanism is under alpha testing: client applications + The weight mechanism is under beta testing: client applications should be ready to reconsider the tuning of these weight thresholds when upgrading to newer version of the PPL.