[GIT] ppl/ppl(products): New commits

29 Apr 2009


      URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9d2424b6b45...
Merge: 71893349245baa11c7fa1dd9b0a793606b4bce4c 827e54079b1ec6528dd5d185c8d8d0694c891587
Author: Roberto Bagnara bagnara@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=827e54079b1ec...
Author: Enea Zaffanella zaffanella@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=6c74abbd831d1...
Author: Roberto Bagnara bagnara@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=bb1f4a6bc8f71...
Author: Enea Zaffanella zaffanella@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=79dac5cc0b03d...
Author: Enea Zaffanella zaffanella@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=252f8ae1ac62d...
Author: Roberto Bagnara bagnara@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=9037c88e5adb8...
Author: Roberto Bagnara bagnara@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=5b72ef21ddc5a...
Author: Roberto Bagnara bagnara@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=d9e719ff0f062...
Author: Roberto Bagnara bagnara@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=df0492a0d7973...
Author: Roberto Bagnara bagnara@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=661fc6e75fa6a...
Author: Enea Zaffanella zaffanella@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=81e816d83312c...
Author: Enea Zaffanella zaffanella@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=56f8b01231e0a...
Author: Enea Zaffanella zaffanella@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=abce61709cfc9...
Author: Enea Zaffanella zaffanella@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=b1c68544454e4...
Author: Enea Zaffanella zaffanella@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=de88902aff578...
Author: Enea Zaffanella zaffanella@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=9a391d71c0cd0...
Author: Enea Zaffanella zaffanella@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=c165032ea5b17...
Author: Abramo Bagnara abramo.bagnara@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=ececf3c3476d1...
Author: Abramo Bagnara abramo.bagnara@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=2071de104d8f1...
Author: Patricia Hill p.m.hill@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=20168eb89529f...
Author: Roberto Bagnara bagnara@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=4086134c0c521...
Author: Patricia Hill p.m.hill@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=7f4c56724b1b8...
Author: Roberto Bagnara bagnara@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=ec293cdd3d5b3...
Author: Roberto Bagnara bagnara@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=d50a679f90cf1...
Author: Roberto Bagnara bagnara@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=cd10d9cbc1286...
Author: Enea Zaffanella zaffanella@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=8b5167c49d1ea...
Author: Roberto Bagnara bagnara@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=ac1770aa59f14...
Author: Roberto Bagnara bagnara@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=c817701410d06...
Author: Roberto Bagnara bagnara@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=e21f9ce03b4f3...
Author: Roberto Bagnara bagnara@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=1038f1af5ecbe...
Merge: d0e5a4edbf54e3a14ba44b27d34ab24f101cb118 6d7e265c238bcc62cff25ded4f134882114d91d7
Author: Roberto Bagnara bagnara@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=d0e5a4edbf54e...
Merge: 0dbad6c0854d82ebeed8d0ab04bd915f3699a005 45e1e7e6e2f671988a8b6d6f4e1acc054f0d5653
Author: Roberto Bagnara bagnara@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=0dbad6c0854d8...
Author: Roberto Bagnara bagnara@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=13ef1bd74112c...
Author: Enea Zaffanella zaffanella@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=2956e3e5df709...
Author: Abramo Bagnara abramo.bagnara@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=88284403410ad...
Merge: 12dc53fb2a829b9ae88c49c5a5dd796df4cc8ced f4152242e68e80d38a8ed790fdfd23116c79b1f3
Author: Roberto Bagnara bagnara@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=12dc53fb2a829...
Author: Roberto Bagnara bagnara@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=f4152242e68e8...
Author: Abramo Bagnara abramo.bagnara@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=03552e3fe4336...
Author: Roberto Bagnara bagnara@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=ead61e70bbce2...
Author: Roberto Bagnara bagnara@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=73047e08667eb...
Author: Roberto Bagnara bagnara@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=5959eedc504b6...
Author: Roberto Bagnara bagnara@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=33cd6b46113c1...
Author: Roberto Bagnara bagnara@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=6d7e265c238bc...
Author: Patricia Hill p.m.hill@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=ee3078871418f...
Author: Patricia Hill p.m.hill@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=7c6f088f403eb...
Author: Roberto Bagnara bagnara@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=45e1e7e6e2f67...
Author: Roberto Bagnara bagnara@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=03010d53fc628...
Author: Roberto Bagnara bagnara@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=16e540d9a5fbd...
Author: Roberto Bagnara bagnara@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=089cc703e60fc...
Author: Roberto Bagnara bagnara@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=ca295d6ed7b39...
Author: Roberto Bagnara bagnara@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=3a9b293e53d06...
Author: Roberto Bagnara bagnara@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=d6fcfd54c39f8...
Merge: 51a19a2a50729a16573d6577717d39432ffce921 205889d57ad9e727b202b560a69bab47a871e8a4
Author: Roberto Bagnara bagnara@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=5d9dccfb35624...
Merge: 083f3ea586048ba416ce6bea34a9d702d1d57989 205889d57ad9e727b202b560a69bab47a871e8a4
Author: Roberto Bagnara bagnara@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=205889d57ad9e...
Author: Roberto Bagnara bagnara@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=b5cac12e98ccf...
Author: Roberto Bagnara bagnara@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=74c1907444a19...
Author: Roberto Bagnara bagnara@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=1bd0dba00f786...
Author: Roberto Bagnara bagnara@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=8a5a53ecbeb4e...
Author: Roberto Bagnara bagnara@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=196f2de7fe79d...
Author: Roberto Bagnara bagnara@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=d8a9cfe7cf1e6...
Author: Roberto Bagnara bagnara@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=d5c7c849dc491...
Author: Roberto Bagnara bagnara@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=d77b6ad1c7dda...
Author: Roberto Bagnara bagnara@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=4302923d1a3d4...
Author: Roberto Bagnara bagnara@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=f4df86f705b15...
Author: Roberto Bagnara bagnara@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=18ff016b92d15...
Author: Roberto Bagnara bagnara@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=5596eca02f2de...
Author: Roberto Bagnara bagnara@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=51a19a2a50729...
Author: Roberto Bagnara bagnara@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=23cb7dad8cf9d...
Author: Roberto Bagnara bagnara@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=b0a1463d9ba42...
Author: Enea Zaffanella zaffanella@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=083f3ea586048...
Author: Roberto Bagnara bagnara@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=9a84a159282df...
Author: Roberto Bagnara bagnara@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=7b33daac43d36...
Author: Roberto Bagnara bagnara@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=53fa697c6edf5...
Merge: 291c4d184c4ba91cb54e6e40d74b884290db99ca d3f29a9c56e680f46428916490d4ec2c00210c66
Author: Roberto Bagnara bagnara@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=d3f29a9c56e68...
Author: Roberto Bagnara bagnara@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=4c4abf8f114e9...
Author: Roberto Bagnara bagnara@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=291c4d184c4ba...
Merge: 1c505504340feee5bab77299170ee9f3c802f9f6 64d70efe40c253409d12f0159eadb4b95a1f105f
Author: Roberto Bagnara bagnara@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=64d70efe40c25...
Author: Roberto Bagnara bagnara@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=1ac6a88a25b74...
Author: Roberto Bagnara bagnara@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=1687ed375515c...
Author: Roberto Bagnara bagnara@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=bb03520297061...
Author: Roberto Bagnara bagnara@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=d4313732d680e...
Author: Roberto Bagnara bagnara@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=1c505504340fe...
Merge: 5594ca8902abf172edcb6ac835491d47a0b8837a 8707f62b598769d6802282c5f762b63b607ed109
Author: Roberto Bagnara bagnara@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=8707f62b59876...
Author: Roberto Bagnara bagnara@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=3f636cea7494d...
Author: Roberto Bagnara bagnara@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=5594ca8902abf...
Merge: 34817d8d83a0046ed7f4966da3ab3a391b930342 8e9f007fa2a5491ee1810e83fc24a6daa2829516
Author: Roberto Bagnara bagnara@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=8e9f007fa2a54...
Author: Roberto Bagnara bagnara@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=753671e93149e...
Author: Roberto Bagnara bagnara@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=c75c07f7c12f8...
Author: Roberto Bagnara roberto@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=b6a0450ea6bde...
Author: Roberto Bagnara roberto@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=a786a3fa3e3f0...
Author: Roberto Bagnara bagnara@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=8e4bc90a2bcae...
Author: Roberto Bagnara bagnara@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=11e028c0bff9d...
Author: Roberto Bagnara bagnara@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=96604f4f9f42c...
Author: Roberto Bagnara bagnara@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=f7b0e03047aae...
Author: Roberto Bagnara bagnara@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=11f285e07ccec...
Author: Roberto Bagnara bagnara@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=34817d8d83a00...
Merge: 2a99071b3d238884e1120d34c994684671a6221f 52d769bff2e50c45330bdca9a955e33c9526337e
Author: Roberto Bagnara bagnara@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=52d769bff2e50...
Author: Roberto Bagnara bagnara@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=b99a2467787d6...
Author: Roberto Bagnara bagnara@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=6ddc68784afea...
Author: Roberto Bagnara bagnara@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=1a81262c763ea...
Author: Abramo Bagnara abramo.bagnara@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=a2da0f6fec266...
Author: Roberto Bagnara bagnara@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=d38cfbdcfa92c...
Author: Roberto Bagnara bagnara@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=3446585afd620...
Author: Roberto Bagnara bagnara@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=8bd8f56859bb8...
Author: Roberto Bagnara bagnara@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=fb648ef680b39...
Author: Roberto Bagnara bagnara@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=59aa0521574a5...
Author: Roberto Bagnara bagnara@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=e00dfb7f0c56a...
Author: Enea Zaffanella zaffanella@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=ec81d249f91bc...
Author: Enea Zaffanella zaffanella@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=4127a9caaaa69...
Author: Patricia Hill p.m.hill@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=db1ced1c1d7a1...
Author: Roberto Bagnara bagnara@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=6faf694d166b7...
Author: Roberto Bagnara bagnara@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=3b959163da9e9...
Author: Enea Zaffanella zaffanella@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=ab09fc64171ce...
Author: Abramo Bagnara abramo.bagnara@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=237c520ccf6e8...
Author: Enea Zaffanella zaffanella@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=50fce16879df4...
Author: Enea Zaffanella zaffanella@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=111862b03b710...
Author: Enea Zaffanella zaffanella@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=1160320355348...
Author: Enea Zaffanella zaffanella@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=3c7a8ef09f6d4...
Author: Roberto Bagnara bagnara@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=5bd4e05f53007...
Author: Roberto Bagnara bagnara@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=91794cd12b1f4...
Author: Roberto Bagnara bagnara@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=c37da79744061...
Author: Enea Zaffanella zaffanella@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=be841361f1f48...
Author: Patricia Hill p.m.hill@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=f73f6b6af1deb...
Author: Patricia Hill p.m.hill@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=5e0d0b4b32c01...
Author: Enea Zaffanella zaffanella@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=6e74285860c8d...
Author: Patricia Hill p.m.hill@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=a0da4a56d7382...
Author: Roberto Bagnara bagnara@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=0fd5be627f295...
Author: Roberto Bagnara bagnara@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=1826e6cd378ec...
Author: Abramo Bagnara abramo.bagnara@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=432d03e6ab06d...
Author: Roberto Bagnara bagnara@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=6ac85b56ba1b4...
Merge: ccc5ce00a303af09a7e37d120695a2c1cbb37834 21f7acf730e5ebf68eca6bcf9034b19098375b67
Author: Roberto Bagnara bagnara@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=ccc5ce00a303a...
Author: Roberto Bagnara bagnara@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=21f7acf730e5e...
Author: Abramo Bagnara abramo.bagnara@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=337302a6e28fd...
Author: Abramo Bagnara abramo.bagnara@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=53bc728c443c7...
Author: Abramo Bagnara abramo.bagnara@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=265df2a955aa2...
Author: Abramo Bagnara abramo.bagnara@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=a3eb98fc9cdfc...
Author: Abramo Bagnara abramo.bagnara@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=707506c9498a8...
Author: Patricia Hill p.m.hill@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=aaa333e2ecdaa...
Author: Roberto Bagnara bagnara@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=2ef13f2001696...
Author: Roberto Bagnara bagnara@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=40af6c2c6af4c...
Author: Enea Zaffanella zaffanella@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=861f99ed46201...
Author: Roberto Bagnara bagnara@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=dd82590da6f24...
Author: Roberto Bagnara bagnara@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=2f2eadcbe1e80...
Author: Roberto Bagnara bagnara@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=2824c7f7c2774...
Author: Roberto Bagnara bagnara@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=57e7cee40f6e2...
Author: Roberto Bagnara bagnara@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=2b87c02d3875f...
Author: Roberto Bagnara bagnara@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=9677eb06b8710...
Author: Enea Zaffanella zaffanella@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=675e168d438c3...
Author: Roberto Bagnara bagnara@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=41f6b3361c374...
Author: Roberto Bagnara bagnara@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=82eb7cc49693a...
Author: Roberto Bagnara bagnara@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=3a4ca18a89472...
Author: Enea Zaffanella zaffanella@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=f90f270562890...
Author: Roberto Bagnara bagnara@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=6e2ef07827349...
Author: Roberto Bagnara bagnara@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=c73b9bb132e83...
Author: Abramo Bagnara abramo.bagnara@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=7bcea883ad54f...
Author: Abramo Bagnara abramo.bagnara@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=16ac5d178e70c...
Author: Abramo Bagnara abramo.bagnara@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=a4fe353e3680d...
Author: Abramo Bagnara abramo.bagnara@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=9c437b8991622...
Author: Abramo Bagnara abramo.bagnara@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=e3bdb6dc94f23...
Author: Abramo Bagnara abramo.bagnara@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=bc52a4d4a0c7e...
Author: Abramo Bagnara abramo.bagnara@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=2535ee2f997ff...
Author: Abramo Bagnara abramo.bagnara@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=295220a25d62f...
Author: Abramo Bagnara abramo.bagnara@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=bb9b33148f43d...
Author: Enea Zaffanella zaffanella@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=4bf7b9a5ca286...
Author: Enea Zaffanella zaffanella@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=67042a165fa0d...
Author: Enea Zaffanella zaffanella@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=35c225d666eba...
Author: Enea Zaffanella zaffanella@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=d2d08794ca7d1...
Author: Abramo Bagnara abramo.bagnara@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=2991d105382cb...
Author: Abramo Bagnara abramo.bagnara@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=b163fee3b048f...
Author: Abramo Bagnara abramo.bagnara@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=099390e253a3d...
Author: Enea Zaffanella zaffanella@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=b17d00bfc0b43...
Author: Enea Zaffanella zaffanella@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=fee0c077d5a0f...
Author: Enea Zaffanella zaffanella@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=dbd1c20c61927...
Author: Roberto Bagnara bagnara@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=0ff53b9222267...
Author: Roberto Bagnara bagnara@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=1f90de71c3311...
Author: Roberto Bagnara bagnara@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=d9f5ad39c726c...
Author: Enea Zaffanella zaffanella@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=cc202a760bf05...
Author: Roberto Bagnara bagnara@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=f0c346c0b189a...
Author: Roberto Bagnara bagnara@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=b4e36692e7cea...
Author: Roberto Bagnara bagnara@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=87fec489bde30...
Author: Abramo Bagnara abramo.bagnara@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=0183484758f6a...
Author: Roberto Bagnara bagnara@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=766fb040b2dc5...
Author: Roberto Bagnara bagnara@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=3549a048f0662...
Author: Roberto Bagnara bagnara@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=8d19855b90caa...
Author: Roberto Bagnara bagnara@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=d25a5069b8209...
Author: Roberto Bagnara bagnara@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=949180cf4e6fe...
Author: Abramo Bagnara abramo.bagnara@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=69a3679c7b12c...
Author: Roberto Bagnara bagnara@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=00bcfa7ddc99e...
Author: Roberto Bagnara bagnara@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=0cce78cf176b0...
Author: Roberto Bagnara bagnara@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=4d9ca69f6866d...
Author: Abramo Bagnara abramo.bagnara@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=2630163750d74...
Author: Abramo Bagnara abramo.bagnara@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=b98bfa9b31c08...
Author: Abramo Bagnara abramo.bagnara@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=f162e13b13fe2...
Author: Abramo Bagnara abramo.bagnara@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=3171fbf3b9f57...
Author: Roberto Bagnara bagnara@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=c1d76485b200b...
Author: Abramo Bagnara abramo.bagnara@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=b00d3c837935e...
Author: Abramo Bagnara abramo.bagnara@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=c7378097108a1...
Author: Roberto Bagnara bagnara@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=19e1f7c6bb2ea...
Author: Roberto Bagnara bagnara@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=ab28235b89551...
Author: Roberto Bagnara bagnara@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=e3bfcc98175af...
Author: Roberto Bagnara bagnara@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=af7c591b491f6...
Author: Roberto Bagnara bagnara@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=ddb928b1b124b...
Author: Roberto Bagnara bagnara@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=a1335e6212c7f...
Author: Roberto Bagnara bagnara@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=e0316d45f420c...
Author: Enea Zaffanella zaffanella@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=1c54369ebf2a3...
Author: Abramo Bagnara abramo.bagnara@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=94987fdd7ee4f...
Author: Abramo Bagnara abramo.bagnara@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=16d6cc4da3ab3...
Author: Roberto Bagnara bagnara@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=6903cbf2427c6...
Author: Roberto Bagnara bagnara@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=4bbd3ca34d382...
Author: Abramo Bagnara abramo.bagnara@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=aa1972cb6abf9...
Author: Roberto Bagnara bagnara@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=503eeb4792305...
Author: Roberto Bagnara bagnara@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=586008d48662f...
Author: Roberto Bagnara bagnara@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=d3002c4b2dc9b...
Author: Abramo Bagnara abramo.bagnara@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=f9c0ee2e5e9dd...
Author: Roberto Bagnara bagnara@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=099b4c25383b6...
Author: Roberto Bagnara bagnara@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=c010978f5fdf8...
Author: Roberto Bagnara bagnara@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=3e10cf3cc88c7...
Author: Roberto Bagnara bagnara@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=484c87d20600c...
Author: Roberto Bagnara bagnara@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=e4779b8e17b60...
Author: Enea Zaffanella zaffanella@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=778dfb88238cb...
Author: Enea Zaffanella zaffanella@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=30b4d085cb444...
Author: Abramo Bagnara abramo.bagnara@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=10dc3fd3600d9...
Author: Patricia Hill p.m.hill@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=aadc083b812f6...
Author: Patricia Hill p.m.hill@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=5c7a1579dbd0b...
Author: Roberto Bagnara bagnara@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=7252a07fd2e33...
Author: Roberto Bagnara bagnara@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=639591e6c8d1e...
Author: Roberto Bagnara bagnara@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=66947e998961e...
Author: Abramo Bagnara abramo.bagnara@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=c4848cee2d85f...
Author: Roberto Bagnara bagnara@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=b8777ff8bbf8a...
Author: Roberto Bagnara bagnara@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=927cd666b49dd...
Author: Roberto Bagnara bagnara@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=c3ec0c11d9d45...
Merge: b5d7b09c10aea7c95b9d2693986e2e4e549d3a12 9b4763ae59534ca77dcc7ff1067f9f78c9a20c5a
Author: Roberto Bagnara bagnara@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=b5d7b09c10aea...
Author: Roberto Bagnara bagnara@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=9b4763ae59534...
Author: Roberto Bagnara bagnara@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=0a1cc339eb310...
Author: Enea Zaffanella zaffanella@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=9a73972ad2e6a...
Author: Patricia Hill p.m.hill@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=8bd3d1d46d8b4...
Author: Patricia Hill p.m.hill@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=f1769386d0c8f...
Author: Roberto Bagnara bagnara@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=afbc4e301440f...
Author: Roberto Bagnara bagnara@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=17dae899576e6...
Author: Roberto Bagnara bagnara@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=5b11a1675a7e1...
Author: Abramo Bagnara abramo.bagnara@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=d7edf860af056...
Author: Enea Zaffanella zaffanella@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=d073548700ce6...
Author: Abramo Bagnara abramo.bagnara@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=be1e8179983eb...
Author: Abramo Bagnara abramo.bagnara@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=d81e9642493f5...
Author: Enea Zaffanella zaffanella@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=52d75eceb14d7...
Author: Abramo Bagnara abramo.bagnara@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=9d1163ad3ea36...
Author: Enea Zaffanella zaffanella@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=61f6bc80eab3d...
Author: Roberto Bagnara bagnara@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=39fd46630c127...
Author: Roberto Bagnara bagnara@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=0af6517d2c266...
Author: Roberto Bagnara bagnara@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=62138fd38306b...
Author: Roberto Bagnara bagnara@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=09c6fe37dac83...
Author: Roberto Bagnara bagnara@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=bace9caed4ba2...
Author: Abramo Bagnara abramo.bagnara@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=d810281e8e849...
Author: Abramo Bagnara abramo.bagnara@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=9b0fdf18dcd89...
Author: Roberto Bagnara bagnara@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=52f81f97569aa...
Author: Roberto Bagnara bagnara@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=e9f3b88410343...
Author: Abramo Bagnara abramo.bagnara@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=0b1464817aa9d...
Author: Abramo Bagnara abramo.bagnara@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=2a0fee1d5a9a0...
Author: Enea Zaffanella zaffanella@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=1ec4555a8ed04...
Author: Abramo Bagnara abramo.bagnara@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=53abf6dadb12d...
Author: Roberto Bagnara bagnara@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=8a076d885da53...
Author: Roberto Bagnara bagnara@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=2930f4ba276a0...
Author: Abramo Bagnara abramo.bagnara@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=dfdb1368ab604...
Author: Abramo Bagnara abramo.bagnara@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=2689413bfc1a0...
Author: Abramo Bagnara abramo.bagnara@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=c0630b87d1f35...
Author: Enea Zaffanella zaffanella@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=0236c7c508e74...
Author: Roberto Bagnara bagnara@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=ca5e2908ccb9c...
Author: Roberto Bagnara bagnara@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=f2b5e3f20ae7b...
Author: Enea Zaffanella zaffanella@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=3f006fdff891a...
Author: Roberto Bagnara bagnara@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=d567481d9369e...
Author: Roberto Bagnara bagnara@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=19f0a1a2a915d...
Author: Enea Zaffanella zaffanella@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=27265c8661e2a...
Author: Roberto Bagnara bagnara@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=1491112a59774...
Author: Enea Zaffanella zaffanella@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=019b1eb83a886...
Author: Enea Zaffanella zaffanella@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=cb448212741bf...
Author: Roberto Bagnara bagnara@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=c6e39bd54c854...
Author: Enea Zaffanella zaffanella@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=6a6734db48e2c...
Author: Enea Zaffanella zaffanella@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=364ccfa621c70...
Author: Enea Zaffanella zaffanella@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=db916e5a56412...
Author: Roberto Bagnara bagnara@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=d2ff0ac213711...
Author: Roberto Bagnara bagnara@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=e49e1cd77e705...
Author: Roberto Bagnara bagnara@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=471e611fbf18c...
Author: Enea Zaffanella zaffanella@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=d9d0b1a6a9240...
Author: Enea Zaffanella zaffanella@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=aca3e12a79595...
Author: Roberto Bagnara bagnara@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=34bdedf290277...
Author: Roberto Bagnara bagnara@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=0a4e6716e6222...
Author: Roberto Bagnara bagnara@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=0f62fe5b72185...
Author: Roberto Bagnara bagnara@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=4280bc6f3e284...
Author: Roberto Bagnara bagnara@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=8764c47130fdc...
Author: Abramo Bagnara abramo.bagnara@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=23ddce2126147...
Author: Abramo Bagnara abramo.bagnara@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=3f1a2c86b6d05...
Author: Roberto Bagnara bagnara@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=ea6344b733e9b...
Author: Enea Zaffanella zaffanella@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=97b46d107afc2...
Author: Enea Zaffanella zaffanella@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=1b8cc466f361b...
Author: Roberto Bagnara bagnara@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=7fb1df3a61d57...
Author: Roberto Bagnara bagnara@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=a4052950058d0...
Author: Roberto Bagnara bagnara@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=cbad48d8d9979...
Author: Roberto Bagnara bagnara@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=1b1eb01993603...
Author: Roberto Bagnara bagnara@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=6dd8e30b3647e...
Author: Abramo Bagnara abramo.bagnara@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=b5d5b381ec4eb...
Author: Abramo Bagnara abramo.bagnara@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=b77133c28702d...
Author: Abramo Bagnara abramo.bagnara@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=949294d552a5e...
Author: Abramo Bagnara abramo.bagnara@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=f830bec2d5053...
Author: Abramo Bagnara abramo.bagnara@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=4e439fffcec2c...
Author: Roberto Bagnara bagnara@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=2e5a55a3340b8...
Author: Roberto Bagnara bagnara@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=706f7f1cef459...
Author: Roberto Bagnara bagnara@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=641441b768873...
Author: Roberto Bagnara bagnara@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=8fed9132c7d94...
Author: Roberto Bagnara bagnara@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=c43db798115a3...
Author: Roberto Bagnara bagnara@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=8f061cbab4d24...
Author: Roberto Bagnara bagnara@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=882375404c40f...
Author: Roberto Bagnara bagnara@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=0b87265aa3628...
Author: Roberto Bagnara bagnara@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=aab8b052bb216...
Author: Roberto Bagnara bagnara@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=783b14fc72238...
Author: Roberto Bagnara bagnara@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=159d03ea1bdb9...
Author: Roberto Bagnara bagnara@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=7b824633d270d...
Author: Roberto Bagnara bagnara@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=3ae9df8ed4e53...
Author: Roberto Bagnara bagnara@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=ae2a9df47342a...
Author: Roberto Bagnara bagnara@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=5bfa601ac003b...
Author: Roberto Bagnara bagnara@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=8328febe7a98e...
Author: Patricia M. Hill hill@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=3669508cfb419...
Author: Enea Zaffanella zaffanella@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=a4ac1b669def3...
Author: Enea Zaffanella zaffanella@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=f93c9139b52f2...
Author: Patricia M. Hill hill@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=5c3efdf6ebfe7...
Author: Patricia M. Hill hill@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=aee22f375657c...
Author: Patricia M. Hill hill@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=fb110a1a68b0c...
Author: Patricia M. Hill hill@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=956f46586d28d...
Author: Enea Zaffanella zaffanella@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=5d329e7a8cc01...
Author: Enea Zaffanella zaffanella@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=d030f674726af...
Author: Enea Zaffanella zaffanella@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=7f353ebfefb78...
Author: Enea Zaffanella zaffanella@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=c09c0551c0193...
Author: Enea Zaffanella zaffanella@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=8745ccc5672b8...
Author: Roberto Bagnara bagnara@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=2fb4e80b6ed08...
Author: Enea Zaffanella zaffanella@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=2af70878b4264...
Author: Roberto Bagnara bagnara@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=dbd07c9594c1f...
Author: Enea Zaffanella zaffanella@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=97b5b3a040c88...
Author: Enea Zaffanella zaffanella@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=a91464e27d539...
Author: Roberto Bagnara bagnara@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=7c285d01a7c01...
Author: Roberto Bagnara bagnara@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=23daa5e63ae6b...
Author: Roberto Bagnara bagnara@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=368f5e5a779c5...
Author: Enea Zaffanella zaffanella@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=41e4380ed5d9d...
Author: Enea Zaffanella zaffanella@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=23c4d6c2ef92a...
Author: Enea Zaffanella zaffanella@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=a34b20c8f191d...
Author: Enea Zaffanella zaffanella@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=9452111b9ab93...
Author: Roberto Bagnara bagnara@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=453bbf4481459...
Author: Roberto Bagnara bagnara@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=3e948648ff85b...
Author: Roberto Bagnara bagnara@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=92391be07dce1...
Author: Roberto Bagnara bagnara@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=9f3a2ba15b37f...
Author: Enea Zaffanella zaffanella@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=6a8de4425a1c5...
Author: Roberto Bagnara bagnara@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=9b902dcf40be9...
Author: Enea Zaffanella zaffanella@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=90bdc1b020edc...
Author: Enea Zaffanella zaffanella@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=3012c5edf500b...
Author: Enea Zaffanella zaffanella@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=018e1ebb3a93c...
Author: Enea Zaffanella zaffanella@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=684d5503b9161...
Author: Enea Zaffanella zaffanella@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=293651a6e9a30...
Author: Enea Zaffanella zaffanella@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=27903c1638572...
Author: Roberto Bagnara bagnara@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=e4b293a80d638...
Author: Enea Zaffanella zaffanella@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=d9fe1178beab9...
Author: Enea Zaffanella zaffanella@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=55ab00a9233d8...
Author: Patricia M. Hill hill@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=7cc7e7301c5da...
Author: Patricia M. Hill hill@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=4e2f392805503...
Author: Enea Zaffanella zaffanella@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=02827b581804f...
Author: Enea Zaffanella zaffanella@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=9315eeb744a2e...
Author: Patricia M. Hill hill@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=ff468cf155a33...
Author: Enea Zaffanella zaffanella@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=882cab5d7059e...
Author: Roberto Bagnara bagnara@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=b15d3791b1b8f...
Author: Roberto Bagnara bagnara@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=804bb845cbcaa...
Author: Abramo Bagnara abramo.bagnara@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=28a729865709f...
Author: Abramo Bagnara abramo.bagnara@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=72f7ce8f8ca49...
Author: Abramo Bagnara abramo.bagnara@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=7eaa505adee13...
Author: Enea Zaffanella zaffanella@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=303bc83da9184...
Author: Abramo Bagnara abramo.bagnara@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=880f96e5c4bbc...
Author: Enea Zaffanella zaffanella@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=dd3dc869c021a...
Author: Enea Zaffanella zaffanella@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=026a0d1500a18...
Author: Roberto Bagnara bagnara@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=1b44244a649de...
Author: Roberto Bagnara bagnara@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=15cac1db96654...
Author: Enea Zaffanella zaffanella@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=6293d32d8f151...
Author: Enea Zaffanella zaffanella@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=3de56c1ce3568...
Author: Enea Zaffanella zaffanella@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=0032423eb64c4...
Author: Enea Zaffanella zaffanella@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=1afb630744c12...
Author: Enea Zaffanella zaffanella@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=590756fe3a599...
Author: Enea Zaffanella zaffanella@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=b81d68c1a25a5...
Author: Enea Zaffanella zaffanella@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=bd3612d6b3520...
Author: Enea Zaffanella zaffanella@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=9afcd1ae6acc5...
Author: Enea Zaffanella zaffanella@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=f8dff6ceac562...
Author: Enea Zaffanella zaffanella@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=2a99071b3d238...
Author: Roberto Bagnara bagnara@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=d3df008290d14...
Author: Roberto Bagnara bagnara@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=d3349ad56bcce...
Author: Roberto Bagnara bagnara@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=8475cfb5ba2e1...
Author: Roberto Bagnara bagnara@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'.

Roberto Bagnara

tags (0)

participants (1)