April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/w3ppl(master): Elena graduated!
by Roberto Bagnara 29 Apr '09

29 Apr '09

Module: ppl/w3ppl Branch: master Commit: a5c387377f97026f13296197d7d824d54aa2f3b2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=a5c387377f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 29 15:35:55 2009 +0200 Elena graduated! --- htdocs/news.raw | 16 ++++++++++++++++ htdocs/ppl.raw | 18 +++++++++++++++++- 2 files changed, 33 insertions(+), 1 deletions(-) diff --git a/htdocs/news.raw b/htdocs/news.raw index f126193..0ff0ead 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -10,6 +10,22 @@ of the Parma Polyhedra Library. <TABLE> <TR> + <TD VALIGN=TOP><TT>Apr 27, 2009</TT></TD> + <TD> + Elena graduated! + + Elena Mazzi got her Laurea degree in Mathematics with a + dissertation on correct widening operators for weakly-relational + numerical abstractions. The widening operators and algorithms + described and proved correct in her thesis are the ones used in + the <CODE>BD_Shape</CODE> and <CODE>Octagonal_Shape</CODE> classes + of the PPL. + + Congratulations, Dottoressa Mazzi! + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Apr 18, 2009</TT></TD> <TD> PPL 0.10.2 has been released diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 112bb12..60fa6dd 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -48,6 +48,22 @@ version 3</A> or any later version). <TABLE> <TR> + <TD VALIGN=TOP><TT>Apr 27, 2009</TT></TD> + <TD> + Elena graduated! + + Elena Mazzi got her Laurea degree in Mathematics with a + dissertation on correct widening operators for weakly-relational + numerical abstractions. The widening operators and algorithms + described and proved correct in her thesis are the ones used in + the <CODE>BD_Shape</CODE> and <CODE>Octagonal_Shape</CODE> classes + of the PPL. + + Congratulations, Dottoressa Mazzi! + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Apr 18, 2009</TT></TD> <TD> PPL 0.10.2 has been released @@ -61,7 +77,7 @@ version 3</A> or any later version). <TR> <TD VALIGN=TOP><TT>Apr 14, 2009</TT></TD> <TD> - PPL 0.10.1 has been released + PPL 0.10.1 has been released This release includes several important improvements to PPL 0.10, among which is better portability (including the support for

1 0

[GIT] ppl/w3ppl(master): Added LogozzoF08.
by Roberto Bagnara 29 Apr '09

29 Apr '09

Module: ppl/w3ppl Branch: master Commit: ae536143110073384893e6ec360a3a84aa30028b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=ae53614311… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 29 15:26:37 2009 +0200 Added LogozzoF08. --- htdocs/Documentation/ppl_citations.bib | 32 ++++++++++++++++++++++++++++++++ 1 files changed, 32 insertions(+), 0 deletions(-) diff --git a/htdocs/Documentation/ppl_citations.bib b/htdocs/Documentation/ppl_citations.bib index 3ec2cb5..37eb18f 100644 --- a/htdocs/Documentation/ppl_citations.bib +++ b/htdocs/Documentation/ppl_citations.bib @@ -1668,6 +1668,38 @@ Polyhedra." } +@Inproceedings{LogozzoF08, + Author = "F. Logozzo and M. F{\"a}hndrich", + Title = "Pentagons: A Weakly Relational Abstract Domain for the + Efficient Validation of Array Accesses", + Booktitle = "Proceedings of the 2008 ACM Symposium on Applied Computing + (SAC 2008)", + Address = "Fortaleza, Cear\'a, Brazil", + Aditor = "R. L. Wainwright and H. Haddad", + Year = 2008, + Pages = "184--188", + Publisher = "ACM Press", + ISBN = "978-1-59593-753-7", + Abstract = "We introduce Pentagons (\textsf{Pntg}), a weakly + relational numerical abstract domain useful for the + validation of array accesses in byte-code and + intermediate languages (IL). This abstract domain + captures properties of the form of + $x \in [a. b] \wedge x < y$. It is more precise than the + well known Interval domain, but it is less precise than + the Octagon domain. The goal of \textsf{Pntg} is to be + a lightweight numerical domain useful for adaptive + static analysis, where \textsf{Pntg} is used to quickly + prove the safety of most array accesses, restricting the + use of more precise (but also more expensive) domains to + only a small fraction of the code. We implemented the + \textsf{Pntg} abstract domain in \texttt{Clousot}, a + generic abstract interpreter for .NET assemblies. Using + it, we were able to validate 83\% of array accesses in + the core runtime library \texttt{mscorlib.dll} in less + than 8 minutes." +} + @Inproceedings{MakhloufK06, Author = "I. B. Makhlouf and S. Kowalewski", Title = "An Evaluation of Two Recent Reachability Analysis Tools

1 0

[GIT] ppl/ppl(products): New commits
by Roberto Bagnara 29 Apr '09

29 Apr '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9d2424b6b4… Merge: 71893349245baa11c7fa1dd9b0a793606b4bce4c 827e54079b1ec6528dd5d185c8d8d0694c891587 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 29 14:44:49 2009 +0200 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=827e54079b1e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 28 09:36:30 2009 +0200 Fixed a typo causing improper cleaning of Java interface files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c74abbd831d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 27 19:06:12 2009 +0200 Use LT_PREREQ to ensure a recent-enough version of Libtool is used. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb1f4a6bc8f7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 27 14:16:31 2009 +0200 Fixed a few residual issue in Java interface method ID caching. Factored away common code in helper functions build_cxx_*_system. Inlined a few helper functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79dac5cc0b03… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Apr 25 16:34:17 2009 +0200 Started caching jclass objects using JNI global references. Cached other method IDs and optimized helper function build_linear_expression by introducing a new constructor for Linear_Expression_Times. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=252f8ae1ac62… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 25 14:49:22 2009 +0200 Use the macros OCAMLC, OCAMLOPT and OCAMLLIB. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9037c88e5adb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 25 14:48:38 2009 +0200 One obsolete item removed. Other items partially scheduled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b72ef21ddc5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 25 14:07:17 2009 +0200 DO_TEST_F now produces a more sensible output. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9e719ff0f06… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 25 09:19:18 2009 +0200 Use the macros OCAMLC, OCAMLOPT and OCAMLDOC instead of hardcoded names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df0492a0d797… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 25 08:34:02 2009 +0200 Use the ocaml-autoconf macros for configuration of the OCaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=661fc6e75fa6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 24 21:51:31 2009 +0200 Improved jni helper functions set_coefficient, set_generator, set_by_reference. Cached anther few Java method IDs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81e816d83312… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 24 19:57:52 2009 +0200 In Java, avoid useless repeated copies in Coefficient and Linear_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56f8b01231e0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 24 12:10:04 2009 +0200 Caching other Java field/method IDs. Also corrected a latent bug in helper function j_long_to_j_long_class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abce61709cfc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 24 09:56:40 2009 +0200 Started caching Java field/method IDs for jni callbacks. Improved the translation from Java Coefficient to PPL Coefficient objects by providing the former with a toString method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1c68544454e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 23 20:45:46 2009 +0200 Corrected Java Generator private method void set(Generator). We were not correctly setting the divisor for the generator. Also got rid of unused jni method set_grid_generator(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de88902aff57… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 23 19:59:49 2009 +0200 Got rid of (unnecessarily involved) method is_null. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a391d71c0cd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 23 18:25:04 2009 +0200 Prefer passing jobject, jint and jlong by value. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c165032ea5b1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Apr 23 16:36:00 2009 +0200 Added missing checks. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ececf3c3476d… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Apr 23 12:23:41 2009 +0200 Avoid use of anonymous enum. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2071de104d8f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 23 07:16:52 2009 +0100 Avoid unused variable warning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20168eb89529… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 22 21:22:19 2009 +0200 Warnings avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4086134c0c52… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Apr 22 07:50:17 2009 +0100 Tests 11 fails with checked-int32 coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f4c56724b1b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 21:53:44 2009 +0200 Use of PPL_ARM_CAN_CONTROL_FPU made safer. When the PPL has been configured with CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1", the library initialization procedure checks that the FPU can indeed be controlled and fails if that is not the case. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec293cdd3d5b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 21:44:41 2009 +0200 Formatting improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d50a679f90cf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 21:33:32 2009 +0200 Made the checks for HAVE_FENV_H systems more robust. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd10d9cbc128… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 21 09:08:45 2009 +0200 Corrected silly typo in compile-time check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b5167c49d1e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 08:21:15 2009 +0200 Typos fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac1770aa59f1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 08:07:47 2009 +0200 Typos fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c817701410d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 22:35:51 2009 +0200 Mentioned the speed improvements committed today. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e21f9ce03b4f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 22:25:50 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1038f1af5ecb… Merge: d0e5a4edbf54e3a14ba44b27d34ab24f101cb118 6d7e265c238bcc62cff25ded4f134882114d91d7 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 22:18:24 2009 +0200 Merge branch 'deprecated_0_11_removal' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0e5a4edbf54… Merge: 0dbad6c0854d82ebeed8d0ab04bd915f3699a005 45e1e7e6e2f671988a8b6d6f4e1acc054f0d5653 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 22:10:48 2009 +0200 Merge branch 'ppl-0_10-branch' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0dbad6c0854d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 22:06:33 2009 +0200 Bit_Row iterators reimplemented more efficiently. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13ef1bd74112… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 20 14:01:46 2009 +0200 The exact integer upper bound methods for shapes are now under Git control. The methods are named integer_upper_bound_assign_if_exact; they can only be instantiated if the template parameter T is an integer datatype. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2956e3e5df70… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Apr 20 16:48:58 2009 +0200 Added assert to check for possible overflow. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88284403410a… Merge: 12dc53fb2a829b9ae88c49c5a5dd796df4cc8ced f4152242e68e80d38a8ed790fdfd23116c79b1f3 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 16:24:53 2009 +0200 Merge branch 'master' of ssh://bagnara@git.cs.unipr.it/git/ppl/ppl. Resolved conflicts: src/Bit_Row.inlines.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12dc53fb2a82… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 16:15:22 2009 +0200 Improved set_union(const Bit_Row&, const Bit_Row&, Bit_Row&). Used the new Bit_Row set-union constructor wherever possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4152242e68e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Apr 20 15:21:57 2009 +0200 Size has to be specified in bits. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03552e3fe433… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 14:43:58 2009 +0200 New constructor Bit_Row::Bit_Row(const Bit_Row& y, const Bit_Row& z). Constructs an object containing the set-union of y and z. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ead61e70bbce… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 13:50:09 2009 +0200 Further improved subset_or_equal(const Bit_Row&, const Bit_Row&, bool&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73047e08667e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 12:18:05 2009 +0200 Avoid useless allocations by only adding recycled rows to Bit_Matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5959eedc504b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 10:49:44 2009 +0200 Significantly speeded up the construction of `new_satrow'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33cd6b46113c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 20 10:37:36 2009 +0200 Improved subset_or_equal(const Bit_Row&, const Bit_Row&, bool&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d7e265c238b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun Apr 19 20:42:46 2009 +0100 Removed tests for the deprecated *and_minimize() predicates. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee3078871418… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Apr 18 22:19:12 2009 +0100 Removed deprecated methods *and_minimize(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c6f088f403e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 18 15:11:52 2009 +0200 Mark package ppl-yap as obsoleting ppl-yap-static. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45e1e7e6e2f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 18 07:03:20 2009 +0200 Update version. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03010d53fc62… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 18 07:03:20 2009 +0200 Mark ChangeLog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16e540d9a5fb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 18 07:03:19 2009 +0200 Mark ChangeLog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=089cc703e60f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 20:46:19 2009 +0200 No longer use ppl_Polyhedron_add_constraints_and_minimize/2. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca295d6ed7b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 19:12:46 2009 +0200 More changes related to the removal of the *_and_minimize() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a9b293e53d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 18:47:18 2009 +0200 Tests adapted to check the "non-and_minimize" versions. Several comments and one bug fixed in the process. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6fcfd54c39f… Merge: 51a19a2a50729a16573d6577717d39432ffce921 205889d57ad9e727b202b560a69bab47a871e8a4 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 15:02:35 2009 +0200 Merge branch 'master' into deprecated_0_11_removal. Resolved conflicts: NEWS URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d9dccfb3562… Merge: 083f3ea586048ba416ce6bea34a9d702d1d57989 205889d57ad9e727b202b560a69bab47a871e8a4 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 12:55:06 2009 +0200 Merge branch 'master' into ppl-0_10-branch. Resolved conflicts: ChangeLog Watchdog/ChangeLog configure.ac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=205889d57ad9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 19:53:32 2009 +0200 Changed `__s390x' to `__s390x__' in conditional exclusion of this test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5cac12e98cc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 13:28:34 2009 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74c1907444a1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 13:15:49 2009 +0200 Updated for PPL 0.10.2. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bd0dba00f78… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 12:10:11 2009 +0200 Version numbers fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a5a53ecbeb4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 12:02:03 2009 +0200 Updated for PPL 0.10.2. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=196f2de7fe79… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 11:15:41 2009 +0200 Added targets to have `make -n dist' work as expected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8a9cfe7cf1e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 10:57:35 2009 +0200 Usage string fixed: ppl_lcdd accepts at most one input file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c7c849dc49… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 08:37:12 2009 +0200 Added rules so that `make -n' and `make -n check' work. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d77b6ad1c7dd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 07:47:21 2009 +0200 Updated BHZ09b. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4302923d1a3d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 15 22:56:56 2009 +0200 Test program tests/Polyhedron/memory1 disabled on the zSeries s390x platform. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4df86f705b1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 15 22:30:20 2009 +0200 Updated for PPL 0.10.2. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18ff016b92d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 15 22:21:41 2009 +0200 Libtool -version-info updated for PPL 0.10.2. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5596eca02f2d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 15 16:03:44 2009 +0200 Accommodate version 4.3.0 of GMP. Starting from GMP version 4.3.0 (released a few hours after PPL 0.10.1), the gmp_version variable always contains three parts. In previous versions the patchlevel was omitted if it was 0. This change broke our GMP detection procedure. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51a19a2a5072… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 22:13:49 2009 +0200 Initiated the removal of the methods deprecated in PPL 0.10. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23cb7dad8cf9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 14:09:48 2009 +0200 Improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0a1463d9ba4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 14 14:03:33 2009 +0200 Updated to refer to git and to mention possible names of TeX config files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=083f3ea58604… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 07:08:18 2009 +0200 Update version. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a84a159282d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 07:08:18 2009 +0200 Mark ChangeLog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b33daac43d3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 07:08:18 2009 +0200 Mark ChangeLog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53fa697c6edf… Merge: 291c4d184c4ba91cb54e6e40d74b884290db99ca d3f29a9c56e680f46428916490d4ec2c00210c66 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 13 16:43:09 2009 +0200 Merge branch 'master' into ppl-0_10-branch URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3f29a9c56e6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 13 16:41:28 2009 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c4abf8f114e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 13 13:10:55 2009 +0000 Disabled test10() on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=291c4d184c4b… Merge: 1c505504340feee5bab77299170ee9f3c802f9f6 64d70efe40c253409d12f0159eadb4b95a1f105f Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 12 10:43:10 2009 +0200 Merge branch 'master' into ppl-0_10-branch URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64d70efe40c2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 12 10:39:55 2009 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ac6a88a25b7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 12 09:31:41 2009 +0200 Bibliography updated. The generated bibliography required manual intervention in a few places, also because of a couple of Doxygen bugs and limitations (see http://bugzilla.gnome.org/show_bug.cgi?id=578739 and http://bugzilla.gnome.org/show_bug.cgi?id=578740). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1687ed375515… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 19:20:17 2009 +0200 Added missing patterns. Removed obsolete ones. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb0352029706… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 19:11:57 2009 +0200 Added missing patterns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4313732d680… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 18:14:12 2009 +0200 Updated for PPL 0.10.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c505504340f… Merge: 5594ca8902abf172edcb6ac835491d47a0b8837a 8707f62b598769d6802282c5f762b63b607ed109 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 08:40:14 2009 +0200 Merge branch 'master' into ppl-0_10-branch URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8707f62b5987… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 08:37:36 2009 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f636cea7494… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 08:25:21 2009 +0200 Fixed reference to CLPQ_TESTS. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5594ca8902ab… Merge: 34817d8d83a0046ed7f4966da3ab3a391b930342 8e9f007fa2a5491ee1810e83fc24a6daa2829516 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 10 22:40:15 2009 +0200 Merge branch 'master' into ppl-0_10-branch URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e9f007fa2a5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 10 22:32:54 2009 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=753671e93149… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 10 22:24:18 2009 +0200 Only use fmaf(), fma() and fmal() if they are fast. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c75c07f7c12f… Author: Roberto Bagnara <roberto(a)freebsd.homenet.telecomitalia.it> Date: Fri Apr 10 21:33:33 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6a0450ea6bd… Author: Roberto Bagnara <roberto(a)freebsd.homenet.telecomitalia.it> Date: Fri Apr 10 21:31:37 2009 +0200 Do not use fma(), fmaf() and fmal() on FreeBSD. fma() does not respect rounding, fmaf() and fmal() may have the same problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a786a3fa3e3f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 21:41:10 2009 +0200 Mentioned the AIDA 2007 project. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e4bc90a2bca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 21:23:41 2009 +0200 Acknowledge the contribution of HiPEAC. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11e028c0bff9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 20:59:40 2009 +0200 Acknowledge the contribution of INRIA. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96604f4f9f42… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 19:10:05 2009 +0200 Acknowledge the contribution of AMD. Fixed mistaked of previous commit. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7b0e03047aa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 18:28:11 2009 +0200 Acknowledge the contribution of Kenneth MacKenzie. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f285e07cce… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 7 06:04:44 2009 +0000 Disabled test07() on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34817d8d83a0… Merge: 2a99071b3d238884e1120d34c994684671a6221f 52d769bff2e50c45330bdca9a955e33c9526337e Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 22:02:39 2009 +0200 Merge branch 'master' into ppl-0_10-branch. Conflicts (resolved): ChangeLog TODO Watchdog/ChangeLog configure.ac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52d769bff2e5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 20:21:25 2009 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b99a2467787d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 19:59:56 2009 +0200 Machinery to generate ChangeLog adapted to Git. This is still highly unsatisfactory, as it requires manual intervention. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ddc68784afe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 18:55:14 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a81262c763e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Apr 6 15:17:16 2009 +0200 Avoid differences generated by locale. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2da0f6fec26… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 15:11:47 2009 +0200 Set LC_COLLATE=C in addition to LANG=C. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d38cfbdcfa92… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 3 10:21:01 2009 +0000 Disabled test04() on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3446585afd62… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 5 18:54:13 2009 +0200 Disabled a couple of tests on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd8f56859bb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 4 08:17:57 2009 +0200 Updated for PWL 0.7. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb648ef680b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 4 08:17:31 2009 +0200 Updated for PPL 0.10.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59aa0521574a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 4 08:05:10 2009 +0200 More NEWS items added. Tentative release date set to April 14, 2009. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e00dfb7f0c56… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 3 16:28:37 2009 +0200 Do not use the same object to play different roles in the same method call. In calls to methods Box::difference_assign and Box::concatenate_assign we were binding the very same Box object both to the (modifiable) implicit argument *this and to the (const) explicit argument y. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec81d249f91b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 3 16:09:25 2009 +0200 Fixed a missing initialization bug in Box::concatenate_assign. Also improved methods add_space_dimensions*: instead of adding new uninitialized intervals and later initialize them, we now directly add properly initialized intervals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4127a9caaaa6… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Apr 3 10:34:38 2009 +0100 Avoid warning of unused variable space_dim. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db1ced1c1d7a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 3 05:20:30 2009 +0000 Work around a bug affecting some versions of <stdio.h>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6faf694d166b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 2 22:11:02 2009 +0200 Added missing uses of AC_REQUIRE; removed a spurious one. Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b959163da9e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 2 18:37:45 2009 +0200 Use @mlgmp_dir@ instead of +gmp for the -I option of ocamldoc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab09fc64171c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Apr 2 16:34:17 2009 +0200 Fixed parallel make. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=237c520ccf6e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 2 14:42:01 2009 +0200 Added a couple of items. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50fce16879df… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 2 13:36:06 2009 +0200 We no longer have FIXME's for 0.10.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=111862b03b71… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 2 13:31:29 2009 +0200 Another FIXME postponed to 0.11. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=116032035534… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 2 13:23:20 2009 +0200 A couple of FIXME postponed to 0.11. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c7a8ef09f6d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 1 22:32:00 2009 +0200 Code duplication and useless bitwise manipulation avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bd4e05f5300… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 1 21:13:44 2009 +0200 FIXME resolved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91794cd12b1f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 1 16:57:30 2009 +0000 Disabled test19() on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c37da7974406… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Apr 1 16:27:16 2009 +0200 Adapted test Box/ascii_dump_load1.cc and FIXME removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be841361f1f4… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Apr 1 14:15:57 2009 +0100 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f73f6b6af1de… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Apr 1 13:27:14 2009 +0100 Revised the implementation for Box<ITV>::limited_cc76_extrapolation_assign() so as to use the limiting constraint system to limit the widened box. The FIXME(0.10.1) there is now removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e0d0b4b32c0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Apr 1 14:23:34 2009 +0200 Test adapted and fixme removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e74285860c8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Apr 1 09:31:06 2009 +0100 Changes to deal with //FIXME(0.10.1): the following is a bug! in src/Pointset_Powerset.templates.hh As Grids are non-convex, the constructor for a powerset of nnc polyhedra from a powerset of grids has been implemented separately from the generic case. A test added to show that there was a bug which is now fixed. The "//FIXME(0.10.1): ..." has been removed but a new FIXME added indicating this code will break if other non-convex or non-linear domains are added URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0da4a56d738… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 1 10:41:21 2009 +0200 Updated for PPL 0.10.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fd5be627f29… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 1 10:40:10 2009 +0200 New items for PPL 0.11 added. Other items scheduled for PPL 0.11. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1826e6cd378e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 20:18:44 2009 +0200 Made ascii_load more restrictive. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=432d03e6ab06… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 31 20:30:09 2009 +0200 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ac85b56ba1b… Merge: ccc5ce00a303af09a7e37d120695a2c1cbb37834 21f7acf730e5ebf68eca6bcf9034b19098375b67 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 31 17:38:30 2009 +0000 Merge branch 'master' of ssh://bagnara@git.cs.unipr.it/git/ppl/ppl URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccc5ce00a303… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 31 17:37:40 2009 +0000 Disabled one more test on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21f7acf730e5… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 17:35:39 2009 +0200 Postponed FIXME. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=337302a6e28f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 17:02:11 2009 +0200 Removed FIXME and documented the default value. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53bc728c443c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 16:52:25 2009 +0200 Added TODO item. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=265df2a955aa… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 16:48:05 2009 +0200 Postponed FIXME. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3eb98fc9cdf… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 10:24:49 2009 +0200 Fixed run_tests make. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=707506c9498a… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 31 11:13:57 2009 +0100 Removed two FIXME(0.10.1)s which have been checked and for which nothing needs to be done. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aaa333e2ecda… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 31 06:36:04 2009 +0000 Disabled some tests on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ef13f200169… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 22:20:12 2009 +0200 Version number bumped. The name of the program is Autoconf. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40af6c2c6af4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 23:01:54 2009 +0200 Register OCaml interface exceptions; added a few tests. The interface exceptions should be registered both in the .ml and .mli files. Added a test for the invalid argument exception (negative space dimension) and for the set/reset timeout functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=861f99ed4620… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 21:29:52 2009 +0200 Added one item for PPL 0.11. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd82590da6f2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 18:56:44 2009 +0000 Disable test19() on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f2eadcbe1e8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 19:15:03 2009 +0200 Fixed *_CPPFLAGS variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2824c7f7c277… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 19:14:25 2009 +0200 Include "ppl_c_test.h" instead of "ppl_c.h". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57e7cee40f6e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 19:13:50 2009 +0200 Include "ppl_c.h". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b87c02d3875… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 19:13:12 2009 +0200 Avoid redefining NDEBUG. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9677eb06b871… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 18:47:53 2009 +0200 Register PPL_timeout_exception in the OCaml interface. Avoid flood of warnings by directly thowing CAML exceptions in CATCH_ALL. Still debugging the handling of timeouts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=675e168d438c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 15:18:23 2009 +0200 Removed the tag "(0.10.1)" from a FIXME unrelated to with PPL 0.10.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41f6b3361c37… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 15:16:35 2009 +0200 Obsolete FIXME removed: methods Box::refine_* were fixed long ago. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82eb7cc49693… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 15:14:28 2009 +0200 Decided that it is not worth renaming PPL_OUTPUT_TEMPLATE_DEFINITIONS. Calling it PPL_OUTPUT_1_PARAM_TEMPLATE_DEFINITIONS would not buy us anything: FIXMEs removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a4ca18a8947… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 16:01:01 2009 +0200 Let OCaml tests also link with the pwl library, if configured. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f90f27056289… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 14:51:32 2009 +0200 Warn about the GCC bug affecting exception handling on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e2ef0782734… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 14:25:36 2009 +0200 Consider switching to MLGMPIDL for the OCaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c73b9bb132e8… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 13:36:40 2009 +0200 Added wrap_string to java interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bcea883ad54… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 13:21:27 2009 +0200 Reverted bogus commits. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16ac5d178e70… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 13:15:23 2009 +0200 Added file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4fe353e3680… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 13:11:35 2009 +0200 Added file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c437b899162… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 12:32:15 2009 +0200 Added test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3bdb6dc94f2… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 12:27:48 2009 +0200 Added java. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc52a4d4a0c7… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 12:15:51 2009 +0200 Fix2. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2535ee2f997f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 12:15:22 2009 +0200 Fix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=295220a25d62… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 12:12:07 2009 +0200 Added wrap_string. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb9b33148f43… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 13:05:32 2009 +0200 Helper OCaml interface function renamed for consistency. value_to_unsigned_native --> value_to_unsigned (to be consistent with similar functions in the Java and Prolog interfaces). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bf7b9a5ca28… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 12:26:28 2009 +0200 Moved TODO items to their place. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67042a165fa0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 12:16:24 2009 +0200 Added timeout functions to the OCaml interface. Also removed duplicate CATCH_ALL macro definitions in the Prolog and OCaml interfaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35c225d666eb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 12:14:05 2009 +0200 Improvements to the OCaml and Prolog interface documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2d08794ca7d… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 10:52:47 2009 +0200 Fixed restore of parallelized tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2991d105382c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 09:59:17 2009 +0200 Revert "Restore parallelized tests." This reverts commit b163fee3b048fe3dd07be912850ec042f4d24b2d. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b163fee3b048… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 09:41:10 2009 +0200 Restore parallelized tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=099390e253a3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 09:22:58 2009 +0200 Minor improvement to documentation. In the documentation block for \defgroup, do not use \brief if there does not also exist a detailed documentation section (otherwise, doxygen will insert a spurious "More..." link pointing to the same page). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b17d00bfc0b4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 09:16:28 2009 +0200 Avoid spurious vertical space in the documentation. When adding a member group using doxygen commmand \name and the multiline style special comments, also add a \brief command if there is no detailed documentation for the group. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fee0c077d5a0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 29 22:46:25 2009 +0200 Added string wrapping helper function to OCaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbd1c20c6192… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 18:37:57 2009 +0200 Moved changelogs and PostScript and PDF versions of the GPL to the `docs' subpackages. This saves considerable space on the live media. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ff53b922226… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 14:49:19 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f90de71c331… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 14:48:31 2009 +0200 Temporary workaround to force linking with C++. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9f5ad39c726… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 29 11:46:51 2009 +0200 Improved the OCaml interfacing of PPL dimensions and coefficients. Added new helper functions: - value_to_unsigned_native<U_Int> - ppl_dimension_to_value - value_to_ppl_dimension - mpz_ptr_val and mpz_class_val - build_ppl_Variable. Prefer using Val_emptylist to Val_int(0). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc202a760bf0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 08:48:27 2009 +0000 Disable these tests on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0c346c0b189… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 10:16:38 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4e36692e7ce… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 09:29:37 2009 +0200 Try to accommodate more non-GNU implementations of `getopt()'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87fec489bde3… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 17:22:28 2009 +0100 Remove unimplemented and unused functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0183484758f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 20:33:52 2009 +0100 Try to accommodate non-GNU implementations of `getopt()'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=766fb040b2dc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 19:06:01 2009 +0100 Some systems do not have <strings.h>. On such systems ffs(3) may be defined in <string.h>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3549a048f066… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 17:41:03 2009 +0100 Done item removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d19855b90ca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 17:39:32 2009 +0100 Change logs updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d25a5069b820… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 16:55:39 2009 +0100 Improved the semantics of the --enable-watchdog configure option. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=949180cf4e6f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 16:00:01 2009 +0100 Removed useless functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69a3679c7b12… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 16:07:29 2009 +0100 Fixed and reactivated test05(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00bcfa7ddc99… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 15:50:52 2009 +0100 Parameterized test05(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cce78cf176b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 15:49:04 2009 +0100 Fixed indentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9ca69f6866… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 15:41:29 2009 +0100 These efficiency related FIXME's are not scheduled for 0.10.1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2630163750d7… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 15:37:39 2009 +0100 Documented ROUND_NOT_NEEDED FIXME. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b98bfa9b31c0… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 13:59:39 2009 +0100 Documented rational sqrt precision and implemented a more precise variant for numbers < 1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f162e13b13fe… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 14:51:46 2009 +0100 Avoid unrequested call to mpz_divisible_p. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3171fbf3b9f5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 14:26:13 2009 +0100 Uuse the PPL_CXX_*_BINARY_FORMAT macros. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1d76485b200… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 12:03:26 2009 +0100 Disabled failing test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b00d3c837935… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 11:44:33 2009 +0100 Avoid abuse of mpz_divexact. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7378097108a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 08:11:24 2009 +0100 Tweak for MinGW. Force the use of the C++ compiler for linking. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19e1f7c6bb2e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 08:10:18 2009 +0100 Include <stdlib.h> instead of <malloc.h>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab28235b8955… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 07:46:21 2009 +0100 Allow testing under MinGW. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3bfcc98175a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 07:45:04 2009 +0100 Detect MinGW, defining the HOST_OS_MINGW Automake conditional. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af7c591b491f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 22:13:55 2009 +0100 The `ppl_lpsol' program can now be built and checked with cross-compilation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddb928b1b124… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 21:52:40 2009 +0100 Minor code readability improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1335e6212c7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 21:06:22 2009 +0100 Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0316d45f420… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 27 19:50:25 2009 +0100 A couple of minor corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c54369ebf2a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Mar 27 18:54:57 2009 +0100 Fixed parameter name. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94987fdd7ee4… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Mar 27 18:51:30 2009 +0100 Moved ppl_io_wrap_string documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16d6cc4da3ab… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 18:35:09 2009 +0100 Man pages updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6903cbf2427c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 18:34:15 2009 +0100 The `ppl_lcdd' program can now be built and checked with cross-compilation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bbd3ca34d38… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Mar 27 17:22:08 2009 +0100 Get rid of pretty_printing stuff. A string wrapping function is made available. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa1972cb6abf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 11:28:07 2009 +0100 Change logs covering the changes made in the CVS repository in 2009. They will be replaced by up-to-date change logs obtained from git. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=503eeb479230… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 11:24:48 2009 +0100 Renamed and frozen: the ChangeLog-2001-2008 should never be changed again. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=586008d48662… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 11:12:06 2009 +0100 Updated to 2008-12-31. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3002c4b2dc9… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Mar 27 08:56:44 2009 +0100 Fixed make check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9c0ee2e5e9d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 09:25:46 2009 +0100 Missing else branch added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=099b4c25383b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 08:41:52 2009 +0100 ascii_load() methods now perform more stringent checks on the input. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c010978f5fdf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 08:40:58 2009 +0100 Spurious spaces removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e10cf3cc88c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 07:30:04 2009 +0100 Spurious spaces removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=484c87d20600… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 07:27:54 2009 +0100 Fixed the formatting of do-while loops. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4779b8e17b6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 26 17:53:33 2009 +0100 Added several missing functions to the OCaml interface. Minor corrections to the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=778dfb88238c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 26 14:08:01 2009 +0100 Fixed several garbage collecting issues in the OCaml interface. - Helper functions returning OCaml value types that have not been registered yet with the garbage collector are now named unregistered_value_p_*; - Added appropriate calls to CAMLlocal* macros where appropriate; - Use the safe Store_field(a, b, c) instead of the unsafe Field(a, b) = c. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30b4d085cb44… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Mar 26 12:37:31 2009 +0100 Tests have to be done unconditionally. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10dc3fd3600d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 26 12:31:24 2009 +0000 Report on two bugs fixed in the OCaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aadc083b812f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 26 10:44:57 2009 +0000 Fixed a bug where the tokens for widening were not being updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c7a1579dbd0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 26 08:25:02 2009 +0100 Support systems that do not define `siginfo_t'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7252a07fd2e3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 26 08:15:46 2009 +0100 Added checks for the availability of `siginfo_t'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=639591e6c8d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 26 07:33:27 2009 +0100 We can infer the possibility to control the CPU even when cross-compiling. This happens (at least) on i386 and sparc (provided we have <ieeefp.h>). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66947e998961… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Mar 25 22:51:48 2009 +0100 Better parameters for formatted output. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c4848cee2d85… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 22:02:21 2009 +0100 Properly use PPL_FPMATH_MAY_USE_387 and PPL_FPMATH_MAY_USE_SSE. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8777ff8bbf8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 22:01:12 2009 +0100 Depend on PPL_CAN_CONTROL_FPU. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=927cd666b49d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 21:17:32 2009 +0100 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3ec0c11d9d4… Merge: b5d7b09c10aea7c95b9d2693986e2e4e549d3a12 9b4763ae59534ca77dcc7ff1067f9f78c9a20c5a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 21:06:14 2009 +0100 Merge branch 'master' of ssh://bagnara@git.cs.unipr.it/git/ppl/ppl URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5d7b09c10ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 21:06:01 2009 +0100 Do not enable the Prolog interfaces by default in the release tarballs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b4763ae5953… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 16:49:03 2009 +0000 Disable more tests that fail on the Alpha due to a GCC bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a1cc339eb31… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 25 16:52:54 2009 +0100 Implemented Octagonal_Shape::simplify_using_context_assign(). The efficiency of the method needs improving. Added a few tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a73972ad2e6… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 25 14:09:14 2009 +0000 TODO item - Check the configuration dependent documentation for Prolog, done and removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd3d1d46d8b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 25 12:43:32 2009 +0000 Where the result type is unit, the type returned by C++ must be a CAMLprim value type and not a void. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f1769386d0c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 21:56:05 2009 +0000 Exception handling is broken in GCC on the Alpha: commented out some tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=afbc4e301440… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 20:39:18 2009 +0100 Reduced DIMENSION to 100. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17dae899576e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 19:19:34 2009 +0100 Improved the actions of AC_RUN_IFELSE when cross-compiling. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b11a1675a7e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 24 19:13:41 2009 +0100 Fixed file names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7edf860af05… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 24 16:42:03 2009 +0100 Mention the bug corrected for method Octagonal_Shape<T>::affine_image(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d073548700ce… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 24 12:07:23 2009 +0100 Fixed comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be1e8179983e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 24 12:00:37 2009 +0100 Fixed indentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d81e9642493f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 24 11:10:57 2009 +0100 Corrected bug affecting method Octagonal_Shape::affine_image(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52d75eceb14d… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 24 11:09:17 2009 +0100 Cleaned C streams implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d1163ad3ea3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 24 11:01:04 2009 +0100 Test test17() shows a bug in method Octagonal_Shape::affine_image(). The bug is triggered when the affine image is of the form var -> var + n and the octagonal shape has constraints relating var with another space dimension having index smaller than var. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61f6bc80eab3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 10:10:06 2009 +0100 Explained the `--disable-ppl_lcdd' and `--disable-ppl_lcdd' configure options. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fd46630c12… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 09:28:03 2009 +0100 There are no GNU Prolog packages available on ia64: disable the GNU Prolog interface also on those platforms (besides ppc64, s390 and s390x). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0af6517d2c26… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 09:20:38 2009 +0100 Synchronized with the Fedora repository. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62138fd38306… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 07:19:25 2009 +0100 Added some more infrastructure. Variables renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09c6fe37dac8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 22:29:56 2009 +0100 Build restored. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bace9caed4ba… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 22:16:56 2009 +0100 Added repeated char for left and right margin. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d810281e8e84… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 21:23:30 2009 +0100 Some fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b0fdf18dcd8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 21:09:10 2009 +0100 Done some cleaning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52f81f97569a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 20:54:14 2009 +0100 Started the installation of the new formatted output machinery. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f3b8841034… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 19:52:37 2009 +0100 Better name. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b1464817aa9… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 19:42:46 2009 +0100 Bug fix: ostringstream.str() returns a temporary. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a0fee1d5a9a… Author: Enea Zaffanella <zaffanella(a)spartacus.cs.unipr.it> Date: Mon Mar 23 19:34:06 2009 +0100 Added a test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ec4555a8ed0… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 18:47:11 2009 +0100 Separated wrap before from wrap after. Bug fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53abf6dadb12… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 18:39:21 2009 +0100 Readability improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a076d885da5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 18:30:42 2009 +0100 Fixed a bug (that is inconsequential for the current code base). We were using `m % 2 == 1' instead of `m % 2 != 0', with `m' a signed number that could be negative. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2930f4ba276a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 15:34:44 2009 +0100 Added ppl_io_ostream_buffer_clear function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfdb1368ab60… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 15:30:14 2009 +0100 Added write functions for native types. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2689413bfc1a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 15:07:06 2009 +0100 Added filtered streams. Implemented format filter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0630b87d1f3… Author: Enea Zaffanella <zaffanella(a)spartacus.cs.unipr.it> Date: Mon Mar 23 14:42:19 2009 +0100 Add dependencies between HTML manuals for parallel builds. The distributed built HTML manuals logically depend on the built tag file, which is not distributed; hence a direct dependency cannot be added (it would break a `make distcheck' check). As a workaround, they now depend on the core HTML manual, which is built _and_ distributed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0236c7c508e7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 14:20:57 2009 +0100 Obsolete FIXME removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca5e2908ccb9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 14:19:49 2009 +0100 Little formatting improvement. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2b5e3f20ae7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 23 08:21:36 2009 +0100 Use consistent parameter names in helper function wrap. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f006fdff891… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 22:35:35 2009 +0100 Updated to reflect the new way `ppl_lpsol' is invoked. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d567481d9369… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 22:01:47 2009 +0100 Tightened the machinery used to generate the configuration headers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19f0a1a2a915… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 19:05:01 2009 +0100 Added a test for operator-(var, expr) and operator-(expr, var). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27265c8661e2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 19:38:01 2009 +0100 Improved functions and methods to build linear expressions. Avoid complex inline functions and methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1491112a5977… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 17:47:33 2009 +0100 Three FIXMEs related to Linear_Expression resolved. The three operators are now friend of Linear_Expression: hence they can use the sizing constructors and limit the use of short-lived temporaries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=019b1eb83a88… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 13:54:28 2009 +0100 Dealt with a FIXME related to variable names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb448212741b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 12:21:32 2009 +0100 FIXME resolved. Fixed a bug in Linear_Expression(Variable v, Variable w). The bug would cause a wrong result to be computed when v == w. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6e39bd54c85… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 11:27:36 2009 +0100 Mention the bug fixed with Commit: 6a6734db48e2ca605dfc27ce5f1a923eb867ed25 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a6734db48e2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 11:08:55 2009 +0100 Corrected a bug in the interfacing of drop_disjunct for Java, Ocaml and Prolog. Also corrected a wrong test in the automatically generated test suite for the OCaml interface: we were trying to decrement an iterator pointing to the start of the sequence of disjuncts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=364ccfa621c7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 21 12:21:34 2009 +0100 Reworded misleading comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db916e5a5641… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 10:33:41 2009 +0100 Test program renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2ff0ac21371… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 10:14:27 2009 +0100 Rewritted test01(). Added test02(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e49e1cd77e70… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 09:28:36 2009 +0100 New machinery to create ppl-config.h and pwl-config.h. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=471e611fbf18… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 21 21:55:46 2009 +0100 Destructor of abstract class Write_Function has to be virtual. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9d0b1a6a924… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 21 21:35:36 2009 +0100 Added the new pretty print functionality to Java, OCaml and Prolog interfaces. The predicate takes 3 arguments for specifying preferred wrapping behavior. For Prolog, new predicate is called ppl_CLASS_pretty_print_to_atom/5 and put the result in the last argument as an atom. For Java, method takes a Writer as the first argument. For Caml, function ppl_CLASS_pretty_print returns a caml string. While at it, also added missing ascii_dump method to Caml and Java interfaces, as well as for the MIP_Problem Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aca3e12a7959… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 21:36:38 2009 +0100 Added a new helper function for the wrapping of lines. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34bdedf29027… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 19:58:52 2009 +0100 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a4e6716e622… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 19:58:13 2009 +0100 The C interface now provides functions of the form int ppl_io_asprint_Polyhedron(char** strp, P x) where `P' is any opaque pointer to a const PPL object. These functions print `x' to a malloc-allocated string, a pointer to which is returned via `strp'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f62fe5b7218… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 15:28:10 2009 +0100 Selected the items that should be done for 0.10.1: postponed the others. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4280bc6f3e28… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 15:26:09 2009 +0100 Two non-urgent FIXMEs better documented. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8764c47130fd… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 21 12:17:48 2009 +0100 Added callback based streambufs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23ddce212614… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 21 12:07:27 2009 +0100 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f1a2c86b6d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 11:39:25 2009 +0100 Minimum Autoconf version brought back to 2.61. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea6344b733e9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 21 10:05:00 2009 +0100 Added files pretty_print.*. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97b46d107afc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 21 09:56:18 2009 +0100 pretty_print.* contain helper datatypes and functions for pretty printing. Template functions pretty_print and c_pretty_print provide wrapped output using a Write_Function object to write to destination. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b8cc466f361… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 10:26:08 2009 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7fb1df3a61d5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 09:00:57 2009 +0100 Got rid of AX_PREFIX_CONFIG_H. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4052950058d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 20 16:14:01 2009 +0100 Pattern `*~' added. Patterns sorted. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbad48d8d997… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 20 16:11:18 2009 +0100 Avoid using obsolete Autoconf macros. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b1eb0199360… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 20 15:32:51 2009 +0100 AC_RUN_IFELSE invocations now have a safe action for cross-compiling. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6dd8e30b3647… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Feb 22 15:37:50 2009 +0100 Replaced .cvsignore with .gitignore. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5d5b381ec4e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Feb 21 13:58:22 2009 +0000 Added missing files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b77133c28702… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Feb 21 13:54:36 2009 +0000 Added other patterns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=949294d552a5… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Feb 21 10:47:15 2009 +0000 Added common ignored patterns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f830bec2d505… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Feb 21 10:30:17 2009 +0000 Commented out dangerous entries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e439fffcec2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 18 22:30:26 2009 +0000 Install the documentation according to the Fedora packaging conventions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e5a55a3340b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 18 22:28:59 2009 +0000 Put under CVS control. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=706f7f1cef45… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 18 19:42:34 2009 +0000 Implemented a better workaround for the bug affecting PPL 0.10 on big-endian architectures. There are no GNU Prolog packages available on s390 and s390: disable the GNU Prolog interface also on those platforms (besides ppc64). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=641441b76887… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 17 06:19:31 2009 +0000 Avoid using GNU Make extensions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fed9132c7d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 17 06:19:13 2009 +0000 Two FIXMEs resolved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c43db798115a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 16 21:57:54 2009 +0000 Include "ppl_header.hh" instead of "ppl.hh": this greatly facilitates debugging of test programs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f061cbab4d2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 14:52:22 2009 +0000 In ppl_include_files.hh only list the include files that are not included by any other include file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=882375404c40… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 14:14:06 2009 +0000 Added missing inclusions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b87265aa362… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 13:32:28 2009 +0000 Include "compiler.hh" in fpu.defs.hh, not in fpu-ia32.inlines.hh. As a general rule, do not include general-purpose include files in files that are only conditionally included. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aab8b052bb21… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 13:28:22 2009 +0000 Added missing control operator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=783b14fc7223… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 13:13:12 2009 +0000 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=159d03ea1bdb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 13:11:58 2009 +0000 Include "Partially_Reduced_Product.templates.hh". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b824633d270… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 10:40:16 2009 +0000 Check for the availability of `fgrep' or its Posix replacement `grep -F'. Always use $(FGREP) or $(EGREP) in makefiles. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ae9df8ed4e5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 07:54:15 2009 +0000 Added guards against multiple inclusion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae2a9df47342… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 4 07:47:59 2009 +0000 Work around the bug affecting the library on big-endian architectures. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bfa601ac003… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 3 19:34:04 2009 +0000 Work around the bug affecting PPL 0.10 on big-endian architectures. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8328febe7a98… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Feb 2 08:28:25 2009 +0000 Improved the code for handling 0-dim empty polyhedra for Grid::simplify_using_context_assign(). Added a further test for the 0-dim polyhedra. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3669508cfb41… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 2 08:27:54 2009 +0000 Corrected a bug in methods add(_recycled)_generator(s) and simplify_using_context_assign whereby an assertion could have failed under very specific conditions (zero-dim empty polyhedron with a computed inconsistent constraint system becoming a zero-dim universe polyhedron). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4ac1b669def… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 2 08:24:18 2009 +0000 New tests show an assertion failure when adding the vector space origin to an empty zero-dim space polyhedron, thereby turning it into a zero-dim universe polyhedron. The assertion only fails if the inconsistent constraint system of the empty polyhedron was previously generated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f93c9139b52f… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Feb 2 08:01:02 2009 +0000 Added three further tests to cover all 0-dim cases. Reordered tests so that all the 0-dim tests are consecutive (11-15). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c3efdf6ebfe… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Feb 2 07:39:07 2009 +0000 Added test that has an assertion failure for 0-dim empty polyhedra. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aee22f375657… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Sun Feb 1 21:14:09 2009 +0000 Tests for simplify_using_context_assign() for Grids. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb110a1a68b0… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Sun Feb 1 21:09:39 2009 +0000 Added code for simplify_using_context_assign() for Grids. Some other bugs in the comments fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=956f46586d28… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Jan 30 11:24:28 2009 +0000 The parallel build problem should now be solved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d329e7a8cc0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 28 13:00:25 2009 +0000 Added test file for method Box::simplify_using_cntext_assign(). Tests test01() and test02() marked as failing, since they depend on method Interval::empty_intersection_assign(), currently provided with a dummy implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d030f674726a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 28 12:56:51 2009 +0000 Drafted an implementation for Box::simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f353ebfefb7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 28 12:56:09 2009 +0000 Added dummy implementation for method empty_intersection_assign(); corrected partial implementation of method simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c09c0551c019… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 28 09:11:38 2009 +0000 Added specification for new Interval method template <typename From> typename Enable_If<Is_Interval<From>::value, void>::type empty_intersection_assign(const From& y); to be used in the implementation of Box::simplify_using_context_assign. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8745ccc5672b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 27 20:25:27 2009 +0000 Partially work around a bug of AX_PREFIX_CONFIG_H whereby WORDS_BIGENDIAN is not prefixed. Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fb4e80b6ed0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 27 13:54:31 2009 +0000 Drafted a partial implementation for simplify_using_context_assign(); it assumes that the interval is toplogically closed and with no restrictions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2af70878b426… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 27 11:46:22 2009 +0000 Added one urgent item. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbd07c9594c1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 26 15:12:06 2009 +0000 Test 01 overflows when using 8bit coefficients and assertions are turned on. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97b5b3a040c8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 26 11:26:15 2009 +0000 Switch to new implementation of poly_hull_assign_if_exact(), based on the results stated in BagnaraHZ09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a91464e27d53… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 10:56:21 2009 +0000 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c285d01a7c0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 10:55:55 2009 +0000 Support more versions of GLPK. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23daa5e63ae6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 10:25:04 2009 +0000 Fixed copy-and-paste mistake. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=368f5e5a779c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 26 09:42:52 2009 +0000 Added tests corresponding to examples in BHZ09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41e4380ed5d9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 26 09:42:12 2009 +0000 Added a new test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23c4d6c2ef92… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 26 09:39:41 2009 +0000 Added implementation of the BHZ09 exact upper bound test for NNC polyhedra; Factored out those parts that are common to the C polyhedron case. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a34b20c8f191… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 26 09:36:59 2009 +0000 Added declarations for two non-public methods (one for the C and another for the NNC case) implementing exact upper bound tests using BHZ09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9452111b9ab9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 24 16:22:16 2009 +0000 Wording improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=453bbf448145… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 24 14:09:38 2009 +0000 The configuration script now explicitly checks that a recent enough version of GNU M4 is available if at least one non-C++ interface is enabled (in previous versions this check was not performed and building the library could fail in a mysterious way). That version is then used in all makefiles. (Thanks to Tobias Grosser.) Improved configure.ac in various places. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e948648ff85… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 23 21:13:13 2009 +0000 New configuration option `--with-mlgmp=DIR' allows to specify the installation directory of the ML GMP package. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92391be07dce… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 23 12:30:54 2009 +0000 Added missing const qualifier. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f3a2ba15b37… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 21 08:36:24 2009 +0000 Corrected so as to behave correctly when using parallel builds: the build of <file>.cmx also generates <file>.o, which is a dependency for the generation of *.a. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a8de4425a1c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 20 17:56:57 2009 +0000 Fixed glpk_message_interceptor() (thanks to Kenneth MacKenzie). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b902dcf40be… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 20 17:27:04 2009 +0000 Added test on (higher dimensional) hypercubes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90bdc1b020ed… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 20 17:21:54 2009 +0000 The code fo rthe detection of non-redundant octagonal constraints factored out of the strong reduction assign method into the new private method non_redundant_matrix_entries(), so that it can be reused in other contexts. In particular, now we also use it in the implementation of upper_bound_assign_if_exact(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3012c5edf500… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 20 17:14:20 2009 +0000 Declared a new (private) method that is meant to identify the non-redundant octagonal constraints without actually computing a strongly reduced matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=018e1ebb3a93… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 20 09:00:37 2009 +0000 Added a test on hypercubes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=684d5503b916… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 20 08:59:23 2009 +0000 Method BHZ09_upper_bound_assign_if_exact() improved by exploiting shortest path reduction so as to avoid checks on redundant constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=293651a6e9a3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 19 13:40:05 2009 +0000 Added another test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27903c163857… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 18 13:18:59 2009 +0000 Added one important item for next release. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4b293a80d63… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 18 11:55:29 2009 +0000 Tests 1, 3, 4, 9 and 10 now succeeds. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9fe1178beab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 18 11:54:08 2009 +0000 Drafted an implementation of Octagonal_Shape::upper_bound_assign_if_exact() based on the corresponding theorem in BagnaraHZ09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55ab00a9233d… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Jan 16 11:04:05 2009 +0000 test10() revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cc7e7301c5d… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Jan 16 10:42:30 2009 +0000 Added a test file for the upper_bound_if_exact() method - copied (with obvious edits) from the BD_Shape test directory. As the current implementation just returns false, tests that would be expected to succeed have the "_F" tag. An additional test10 is an example showing that more conditions are needed for octagonal shapes compared to the bd shapes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2f39280550… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 13 08:52:01 2009 +0000 Test test09 no longer fails. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02827b581804… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 13 08:49:01 2009 +0000 Corrected implementation of BHZ09_upper_bound_assign_if_exact(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9315eeb744a2… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Jan 12 08:50:12 2009 +0000 Added a test showing a bug in the new algorithm. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff468cf155a3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Jan 8 14:47:33 2009 +0000 Drafted an implementation for BHZ09_upper_bound_assign_if_exact(); the public method upper_bound_assign_if_exact() is now based on this new (private) method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=882cab5d7059… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 31 22:35:09 2008 +0000 Copyright years extended. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b15d3791b1b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 29 13:36:40 2008 +0000 New test added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=804bb845cbca… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Dec 23 18:30:32 2008 +0000 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28a729865709… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Dec 23 11:22:32 2008 +0000 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72f7ce8f8ca4… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Dec 23 10:41:49 2008 +0000 Added missing const_cast. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7eaa505adee1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Dec 22 11:14:57 2008 +0000 Added declarations for methods lower_approximation_difference_assign() and simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=303bc83da918… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Dec 22 09:55:15 2008 +0000 Simplified (and hopefully fixed) can_be_exactly_joined logics. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=880f96e5c4bb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Dec 22 09:36:59 2008 +0000 Method upper_bound_assign_if_exact() corrected and its efficiency improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd3dc869c021… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Dec 22 09:31:30 2008 +0000 Adapted to test the method on the Box domain. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=026a0d1500a1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 21 15:04:14 2008 +0000 New implementation of method Box::upper_bound_assign_if_exact(const Box&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b44244a649d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Dec 18 10:39:05 2008 +0000 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15cac1db9665… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Dec 18 08:55:59 2008 +0000 Added several missing try { ... } CATCH_ALL blocks. Now all interfaced functions should be able to translate any C++ exception into a Java exception. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6293d32d8f15… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Dec 18 08:53:57 2008 +0000 The CATCH_ALL macro should not end with a semicolon. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3de56c1ce356… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Dec 18 08:52:05 2008 +0000 Added a newline for readability. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0032423eb64c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 17:10:56 2008 +0000 Corrected a typo in the naming of a parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1afb630744c1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 16:21:13 2008 +0000 Added test for method BD_Shape<T>::simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=590756fe3a59… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 16:20:16 2008 +0000 Drafted an implementation for simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b81d68c1a25a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 12:01:36 2008 +0000 Method BFT00_poly_hull_assign_if_exact() is only correct for closed polyhedra: added an assertion and adapted comments. Added draft implementation for new method BHZ09_poly_hull_assign_if_exact(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd3612d6b352… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 11:54:20 2008 +0000 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9afcd1ae6acc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 11:53:46 2008 +0000 Corrected the specification of method BFT00__poly_hull_assign_if_exact: the method is only correct for closed polyhedra. Added declaration for another (protected) method that will be based on an alternative algorithm (named BHZ09_poly_hull_assign_if_exact). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8dff6ceac56… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 11:49:44 2008 +0000 Added a naive, inefficient implementation for method set_until. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a99071b3d23… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 4 09:35:14 2008 +0000 Update version. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3df008290d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 4 09:34:23 2008 +0000 Mark ChangeLog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3349ad56bcc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 4 09:27:25 2008 +0000 Use ASCII only. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8475cfb5ba2e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 4 08:30:58 2008 +0000 This commit was generated by cvs to git conversion to create branch 'ppl-0_10-branch'.

1 0

[GIT] ppl/ppl(bounded_arithmetic): In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_IMPOSSIBLE'.
by Roberto Bagnara 28 Apr '09

28 Apr '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 6431f35e4360c7c8385635f1e262c2f984cf07b1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6431f35e4360… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 28 19:19:04 2009 +0200 In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_IMPOSSIBLE'. --- src/Polyhedron_public.cc | 11 ++++- tests/Polyhedron/wrap1.cc | 115 +++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 125 insertions(+), 1 deletions(-) diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index 2bd274d..dc10b87 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -3761,9 +3761,18 @@ PPL::Polyhedron::wrap_assign(const Variables_Set& vars, //std::cout << "un = " << un << std::endl; // Special case: this variable does not need wrapping. - if (un == 0 && ln == 0) + if (ln == 0 && un == 0) continue; + // If overflow is impossible, try not to add useless constraints. + if (o == OVERFLOW_IMPOSSIBLE) { + if (ln < 0) + full_range_bounds.insert(min_value <= x); + if (un > 0) + full_range_bounds.insert(x <= max_value); + continue; + } + if (o == OVERFLOW_UNDEFINED || un - ln > k_threshold) goto set_full_range; diff --git a/tests/Polyhedron/wrap1.cc b/tests/Polyhedron/wrap1.cc index f03be15..d182ca1 100644 --- a/tests/Polyhedron/wrap1.cc +++ b/tests/Polyhedron/wrap1.cc @@ -144,6 +144,117 @@ test04() { return ok; } +bool +test05() { + Variable x(0); + Variable y(1); + C_Polyhedron ph(2); + ph.add_constraint(x + 1024 == 8*y); + ph.add_constraint(-64 <= x); + ph.add_constraint(x <= 448); + + print_constraints(ph, "*** ph ***"); + + Variables_Set vars(x, y); + + ph.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_IMPOSSIBLE); + + C_Polyhedron known_result(2); + known_result.add_constraint(x >= 0); + known_result.add_constraint(x <= 255); + known_result.add_constraint(x + 1024 == 8*y); + + bool ok = (ph == known_result); + + print_constraints(ph, "*** ph.wrap_assign(...) ***"); + + return ok; +} + +bool +test06() { + Variable x(0); + Variable y(1); + C_Polyhedron ph(2); + ph.add_constraint(x + 1024 == 8*y); + ph.add_constraint(-64 <= x); + ph.add_constraint(x <= 448); + + print_constraints(ph, "*** ph ***"); + + Variables_Set vars(x, y); + + Constraint_System cs; + cs.insert(x <= y); + + ph.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_IMPOSSIBLE, &cs); + + C_Polyhedron known_result(2); + known_result.add_constraint(x >= 0); + known_result.add_constraint(7*x <= 1024); + known_result.add_constraint(x + 1024 == 8*y); + + bool ok = (ph == known_result); + + print_constraints(ph, "*** ph.wrap_assign(...) ***"); + + return ok; +} + +bool +test07() { + Variable x(0); + Variable y(1); + C_Polyhedron ph(2); + ph.add_constraint(x + 1024 == 8*y); + + print_constraints(ph, "*** ph ***"); + + Variables_Set vars(x, y); + + ph.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS); + + C_Polyhedron known_result(2); + known_result.add_constraint(x >= 0); + known_result.add_constraint(x <= 255); + known_result.add_constraint(y >= 0); + known_result.add_constraint(y <= 255); + + bool ok = (ph == known_result); + + print_constraints(ph, "*** ph.wrap_assign(...) ***"); + + return ok; +} + +bool +test08() { + Variable x(0); + Variable y(1); + C_Polyhedron ph(2); + ph.add_constraint(x + 1024 == 8*y); + + print_constraints(ph, "*** ph ***"); + + Variables_Set vars(x, y); + + Constraint_System cs; + cs.insert(x <= y); + + ph.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS, &cs); + + C_Polyhedron known_result(2); + known_result.add_constraint(x >= 0); + known_result.add_constraint(y <= 255); + known_result.add_constraint(x <= y); + + bool ok = (ph == known_result); + + print_constraints(ph, "*** ph.wrap_assign(...) ***"); + + return ok; +} + } // namespace BEGIN_MAIN @@ -151,4 +262,8 @@ BEGIN_MAIN DO_TEST(test02); DO_TEST(test03); DO_TEST(test04); + DO_TEST(test05); + DO_TEST(test06); + DO_TEST(test07); + DO_TEST(test08); END_MAIN

1 0

[GIT] ppl/ppl(master): Fixed a typo causing improper cleaning of Java interface files.
by Enea Zaffanella 28 Apr '09

28 Apr '09

Module: ppl/ppl Branch: master Commit: 827e54079b1ec6528dd5d185c8d8d0694c891587 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=827e54079b1e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 28 09:36:30 2009 +0200 Fixed a typo causing improper cleaning of Java interface files. --- .../Java/parma_polyhedra_library/Makefile.am | 5 ++--- 1 files changed, 2 insertions(+), 3 deletions(-) diff --git a/interfaces/Java/parma_polyhedra_library/Makefile.am b/interfaces/Java/parma_polyhedra_library/Makefile.am index c44fc85..efe1e18 100644 --- a/interfaces/Java/parma_polyhedra_library/Makefile.am +++ b/interfaces/Java/parma_polyhedra_library/Makefile.am @@ -74,7 +74,7 @@ parma_polyhedra_library_Congruence.h \ parma_polyhedra_library_Congruence_System.h \ parma_polyhedra_library_Constraint.h \ parma_polyhedra_library_Constraint_System.h \ -parma_polyhedra_library.Degenerate_Element.h \ +parma_polyhedra_library_Degenerate_Element.h \ parma_polyhedra_library_Generator.h \ parma_polyhedra_library_Generator_System.h \ parma_polyhedra_library_Generator_Type.h \ @@ -202,12 +202,11 @@ java_cxx_headers.stamp \ source_generation.stamp \ By_Reference.class \ Coefficient.class \ -Congruence.class \ Complexity_Class.class \ +Congruence.class \ Congruence_System.class \ Constraint.class \ Constraint_System.class \ -Constraint_System.class \ Control_Parameter_Name.class \ Control_Parameter_Value.class \ Degenerate_Element.class \

1 0

[GIT] ppl/ppl(bounded_arithmetic): In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_UNDEFINED'.
by Roberto Bagnara 27 Apr '09

27 Apr '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 0d65c2598c4350a19883cd8e06ae0d3a3a73336a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d65c2598c43… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 27 22:27:06 2009 +0200 In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_UNDEFINED'. --- src/Polyhedron_public.cc | 2 +- tests/Polyhedron/wrap1.cc | 61 +++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 62 insertions(+), 1 deletions(-) diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index 9111f31..2bd274d 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -3764,7 +3764,7 @@ PPL::Polyhedron::wrap_assign(const Variables_Set& vars, if (un == 0 && ln == 0) continue; - if (un - ln > k_threshold) + if (o == OVERFLOW_UNDEFINED || un - ln > k_threshold) goto set_full_range; Polyhedron hull(topology(), space_dimension(), EMPTY); diff --git a/tests/Polyhedron/wrap1.cc b/tests/Polyhedron/wrap1.cc index f997c1a..f03be15 100644 --- a/tests/Polyhedron/wrap1.cc +++ b/tests/Polyhedron/wrap1.cc @@ -85,9 +85,70 @@ test02() { return ok; } +bool +test03() { + Variable x(0); + Variable y(1); + C_Polyhedron ph(2); + ph.add_constraint(x + 1024 == 8*y); + ph.add_constraint(-64 <= x); + ph.add_constraint(x <= 448); + + print_constraints(ph, "*** ph ***"); + + Variables_Set vars(x, y); + + ph.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_UNDEFINED); + + C_Polyhedron known_result(2); + known_result.add_constraint(x >= 0); + known_result.add_constraint(x <= 255); + known_result.add_constraint(y >= 120); + known_result.add_constraint(y <= 184); + + bool ok = (ph == known_result); + + print_constraints(ph, "*** ph.wrap_assign(...) ***"); + + return ok; +} + +bool +test04() { + Variable x(0); + Variable y(1); + C_Polyhedron ph(2); + ph.add_constraint(x + 1024 == 8*y); + ph.add_constraint(-64 <= x); + ph.add_constraint(x <= 448); + + print_constraints(ph, "*** ph ***"); + + Variables_Set vars(x, y); + + Constraint_System cs; + cs.insert(x <= y); + + ph.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_UNDEFINED, &cs); + + C_Polyhedron known_result(2); + known_result.add_constraint(x >= 0); + known_result.add_constraint(y >= 120); + known_result.add_constraint(y <= 184); + known_result.add_constraint(x <= y); + + bool ok = (ph == known_result); + + print_constraints(ph, "*** ph.wrap_assign(...) ***"); + + return ok; +} + } // namespace BEGIN_MAIN DO_TEST(test01); DO_TEST(test02); + DO_TEST(test03); + DO_TEST(test04); END_MAIN

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added a new parameter `pcs' to Polyhedron::wrap_assign().
by Roberto Bagnara 27 Apr '09

27 Apr '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 4917f7ba9b6d92f7e1556ed4d8fa89b060d71055 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4917f7ba9b6d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 27 22:13:20 2009 +0200 Added a new parameter `pcs' to Polyhedron::wrap_assign(). Other parameters reordered. The tests now check for the expected result. --- src/Polyhedron.defs.hh | 21 +++++++++++++++------ src/Polyhedron_public.cc | 36 ++++++++++++++++++++++++------------ tests/Polyhedron/wrap1.cc | 43 +++++++++++++++++++++++++++++++++++++------ 3 files changed, 76 insertions(+), 24 deletions(-) diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh index 0c8f1e9..545150c 100644 --- a/src/Polyhedron.defs.hh +++ b/src/Polyhedron.defs.hh @@ -1443,15 +1443,23 @@ public: The overflow behavior of the bounded integer type corresponding to all the dimensions to be wrapped. - \param wrap_individually - <CODE>true</CODE> if the dimensions should be wrapped individually - (something that results in greater efficiency to the detriment of - precision). + \param pcs + Possibly null pointer to a constraint system. When non-null, + the pointed-to constraint system is assumed to represent the + guard with respect to which wrapping is performed. Passing + a constraint system in this way can be more precise then + adding the constraints in <CODE>*pcs</CODE> to the result + of the wrapping operation. \param k_threshold A precision parameter of the \ref Wrap_Operator "wrapping operator": higher values result in possibly improved precision. + \param wrap_individually + <CODE>true</CODE> if the dimensions should be wrapped individually + (something that results in greater efficiency to the detriment of + precision). + \exception std::invalid_argument Thrown if \p *this is dimension-incompatible with one of the Variable objects contained in \p vars. @@ -1460,8 +1468,9 @@ public: Bounded_Integer_Type_Width w, Bounded_Integer_Type_Signedness s, Bounded_Integer_Type_Overflow o, - bool wrap_individually = true, - unsigned k_threshold = 16); + const Constraint_System* pcs = 0, + unsigned k_threshold = 16, + bool wrap_individually = true); //! Assigns to \p *this its topological closure. void topological_closure_assign(); diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index bd21fa4..9111f31 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -3681,8 +3681,9 @@ PPL::Polyhedron::wrap_assign(const Variables_Set& vars, Bounded_Integer_Type_Width w, Bounded_Integer_Type_Signedness s, Bounded_Integer_Type_Overflow o, - bool wrap_individually, - unsigned k_threshold) { + const Constraint_System* pcs, + unsigned k_threshold, + bool wrap_individually) { // Wrapping no variable is a no-op. if (vars.empty()) return; @@ -3696,10 +3697,10 @@ PPL::Polyhedron::wrap_assign(const Variables_Set& vars, if (is_empty()) return; - // Bound low and bound high assignment. + // Set `min_value' and `max_value' to the minimum and maximum values + // a variable of width `w' and signedness `s' can take. PPL_DIRTY_TEMP_COEFFICIENT(min_value); PPL_DIRTY_TEMP_COEFFICIENT(max_value); - if (s == UNSIGNED) { min_value = 0; mul_2exp_assign(max_value, Coefficient_one(), w); @@ -3716,8 +3717,8 @@ PPL::Polyhedron::wrap_assign(const Variables_Set& vars, //std::cout << "max_value = " << max_value << std::endl; if (wrap_individually) { - // We use this to delay conversions when this does not negatively - // affect precision. + // We use `full_range_bounds' to delay conversions whenever + // this delay does not negatively affect precision. Constraint_System full_range_bounds; PPL_DIRTY_TEMP_COEFFICIENT(ln); @@ -3755,20 +3756,29 @@ PPL::Polyhedron::wrap_assign(const Variables_Set& vars, un -= min_value; div_2exp_assign_r(ln, ln, w, ROUND_DOWN); div_2exp_assign_r(un, un, w, ROUND_DOWN); - if (un - ln > k_threshold) - goto set_full_range; //std::cout << "ln = " << ln << std::endl; //std::cout << "un = " << un << std::endl; + // Special case: this variable does not need wrapping. + if (un == 0 && ln == 0) + continue; + + if (un - ln > k_threshold) + goto set_full_range; + Polyhedron hull(topology(), space_dimension(), EMPTY); for ( ; ln <= un; ++ln) { Polyhedron p(*this); //std::cout << "p: " << p << std::endl; - mul_2exp_assign(ld, ln, w); - //std::cout << "ld = " << ld << std::endl; - p.affine_image(x, x - ld, 1); - //std::cout << "affine_image: " << p << std::endl; + if (ln != 0) { + mul_2exp_assign(ld, ln, w); + //std::cout << "ld = " << ld << std::endl; + p.affine_image(x, x - ld, 1); + //std::cout << "affine_image: " << p << std::endl; + } + if (pcs != 0) + p.add_constraints(*pcs); p.add_constraint(min_value <= x); p.add_constraint(x <= max_value); hull.poly_hull_assign(p); @@ -3776,6 +3786,8 @@ PPL::Polyhedron::wrap_assign(const Variables_Set& vars, } swap(hull); } + if (pcs != 0) + add_constraints(*pcs); add_constraints(full_range_bounds); } else diff --git a/tests/Polyhedron/wrap1.cc b/tests/Polyhedron/wrap1.cc index 97298f3..f997c1a 100644 --- a/tests/Polyhedron/wrap1.cc +++ b/tests/Polyhedron/wrap1.cc @@ -28,7 +28,7 @@ bool test01() { Variable x(0); Variable y(1); - C_Polyhedron ph(2, UNIVERSE); + C_Polyhedron ph(2); ph.add_constraint(x + 1024 == 8*y); ph.add_constraint(-64 <= x); ph.add_constraint(x <= 448); @@ -37,19 +37,50 @@ test01() { Variables_Set vars(x, y); - ph.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS, true, 10); + ph.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS); - print_constraints(ph.minimized_constraints(), "*** ph.wrap_assign(...) ***"); + C_Polyhedron known_result(2); + known_result.add_constraint(x >= 0); + known_result.add_constraint(x <= 255); + known_result.add_constraint(x + 24*y >= 3072); + known_result.add_constraint(193*x + 504*y <= 129792); + known_result.add_constraint(x - 8*y >= -1280); + known_result.add_constraint(x - 8*y <= -768); - bool ok = true; + bool ok = (ph == known_result); + + print_constraints(ph, "*** ph.wrap_assign(...) ***"); return ok; } bool test02() { - // FIXME: to be written. - bool ok = true; + Variable x(0); + Variable y(1); + C_Polyhedron ph(2); + ph.add_constraint(x + 1024 == 8*y); + ph.add_constraint(-64 <= x); + ph.add_constraint(x <= 448); + + print_constraints(ph, "*** ph ***"); + + Variables_Set vars(x, y); + + Constraint_System cs; + cs.insert(x <= y); + + ph.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS, &cs); + + C_Polyhedron known_result(2); + known_result.add_constraint(x >= 0); + known_result.add_constraint(x <= y); + known_result.add_constraint(x - 8*y >= -1280); + known_result.add_constraint(x - 8*y <= -1024); + + bool ok = (ph == known_result); + + print_constraints(ph, "*** ph.wrap_assign(...) ***"); return ok; }

1 0

[GIT] ppl/ppl(master): Use LT_PREREQ to ensure a recent-enough version of Libtool is used.
by Roberto Bagnara 27 Apr '09

27 Apr '09

Module: ppl/ppl Branch: master Commit: 6c74abbd831d16868fabb6b90d1b57578e164cda URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c74abbd831d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 27 19:06:12 2009 +0200 Use LT_PREREQ to ensure a recent-enough version of Libtool is used. --- configure.ac | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/configure.ac b/configure.ac index ddcf68c..cefc30a 100644 --- a/configure.ac +++ b/configure.ac @@ -1367,6 +1367,7 @@ esac AM_CONDITIONAL(THOROUGH_MAKE_CHECK, test x"$enableval" = xthorough) # Libtool. +LT_PREREQ([1.5.24]) LT_INIT([dlopen]) AM_CONDITIONAL(ENABLE_SHARED, test x"$enable_shared" = xyes) AM_CONDITIONAL(ENABLE_STATIC, test x"$enable_static" = xyes)

1 0

[GIT] ppl/ppl(master): Fixed a few residual issue in Java interface method ID caching.
by Enea Zaffanella 27 Apr '09

27 Apr '09

Module: ppl/ppl Branch: master Commit: bb1f4a6bc8f719a28b9a26bf817f064c348a2d36 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb1f4a6bc8f7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 27 14:16:31 2009 +0200 Fixed a few residual issue in Java interface method ID caching. Factored away common code in helper functions build_cxx_*_system. Inlined a few helper functions. --- interfaces/Java/jni/ppl_java_common.cc | 258 +++--------------------- interfaces/Java/jni/ppl_java_common.defs.hh | 56 ++++-- interfaces/Java/jni/ppl_java_common.inlines.hh | 127 ++++++++++++- interfaces/Java/jni/ppl_java_globals.cc | 61 ++++--- 4 files changed, 233 insertions(+), 269 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=bb1f4a6b…

1 0

Re: [PPL-devel] Problems with ppl-0.10.2 and g++ 4.4.0 on Open Solaris (x86_64)
by Marc Glisse 27 Apr '09

27 Apr '09

(sorry for the broken thread, I haven't subscribed to the list) > apparently, some of the header files in your system are broken. > For example, here is line 69 in src/Pointset_Powerset.defs.hh: > > typedef Powerset<CS> Base; > > I bet that you have an header file containing something like > > #define CS 15 > > Can you please check that? He does, in sys/regset.h. And so does linux (actually glibc) on x86(_64) in sys/reg.h (but CS is either 13 or 17 there). The only difference is that the libstdc++ headers end up accidentally including it on solaris and not on linux. It sucks, but I guess it would be nice to occasionally build PPL and run the testsuite on linux on a PC with CPPFLAGS='-include sys/reg.h'. -- Marc Glisse

2 2