[PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): New commits

6 Apr 2009


      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=3386f8fdcd59f...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Dec 13 10:28:10 2008 +0000
Added missing inclusions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8f76c33f8a1c...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Dec 5 06:52:13 2008 +0000
Added `%dir %{_datadir}/doc/pwl' to the `%files' section
    of the `ppl-pwl' package.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60f4d18188b11...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Dec 1 17:06:45 2008 +0000
Dealt with several false-alarm warnings about possibly uninitialized
    variables.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce05280661d15...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Dec 1 16:29:39 2008 +0000
Fixed the definition of BUILD_OCAML_INTERFACE.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23b3db01f9f73...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Dec 1 10:25:06 2008 +0000
Restored old implementation of method poly_hull_assign_if_exact(), as
    the algorithm in BFT00TR does not generalizes as is to the NNC case.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed3bda256ce0c...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Dec 1 10:02:32 2008 +0000
Added another test, showing that the algorithm in BFT00 can not be extented
    as is to NNC polyhedra.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d87ccf0b547a7...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 30 20:13:26 2008 +0000
Postpone the AC_LIB_RPATH test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8151b6f7b651d...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 30 07:48:38 2008 +0000
Removed "AC_SUBST([docdir], ['${datadir}/doc/ppl'])": given that we
    require Autoconf 2.60 or later version, this was redundant.  Moreover, it
    did not allow to use the `--docdir' configure option.
    (Thanks to Mike Frysinger.)
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21f1f6fa0965a...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Nov 27 17:02:17 2008 +0000
Indentation fixed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84e363c190b2b...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Nov 26 17:19:12 2008 +0000
Wrong comment deleted.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2de90ed05d884...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Nov 26 17:12:01 2008 +0000
Indentation fixed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2980014ffee39...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 25 19:57:03 2008 +0000
Test file bgp99extrapolation1.cc splitted in two: old test02 goes in file
    bgp99extrapoaltion2.cc and is now specialized to C and NNC cases, so as
    to allow a finer control of the expected overflows.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84fa17e865598...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 25 19:36:19 2008 +0000
test09() triggers an overflow when using on 8-bit checked integers.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59d369faea39b...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 25 14:38:47 2008 +0000
Drafted an implementation of method BD_Shape::upper_bound_assign_if_exact(),
    based on Algorithm 4.1 in BemporadFT00TR (tailored to BD shapes).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8be877ec21247...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 25 14:36:27 2008 +0000
Added a few tests for BD_Shape::upper_bound_assign_if_exact().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dd8b52ca2531...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 25 08:17:23 2008 +0000
Prefer Bit_Row::empty() to Bit_Row::count_ones() when testing for emptiness.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d739ceb0e353...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 25 08:15:31 2008 +0000
Fixed comment for Box::simplify_using_context_assign().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=194cc738d52a4...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 25 08:14:32 2008 +0000
Indentation fixed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef1ec99095647...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 25 08:13:13 2008 +0000
Drafted implementation for incremental_shortest_path_closure_assign().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5593c780b5217...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 25 08:12:20 2008 +0000
Useless test for zero-dim removed from incremental_strong_closure_assign().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=386116c984ef1...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 25 08:08:56 2008 +0000
Improved the documentation of the incremental strong closure private method.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=042c23f5da0d0...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 25 08:06:00 2008 +0000
Declared a private method for incremental shortest-path closure.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba169fe048767...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 25 07:30:24 2008 +0000
test03() no longer overflows on 8-bit checked integer coefficients.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c923989ed193...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Nov 24 20:27:48 2008 +0000
Fixed Bit_Row::count_ones().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=378fe2c7454eb...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 24 17:12:23 2008 +0000
Tests that are specific for NNC_Polyhedron placed in a separate file,
    for which we do not produce the derived nnc test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccae0adca6b3c...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 24 17:01:42 2008 +0000
Added a few tests that are specific for the NNC_Polyhedron case.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f1b0376ba8b7...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 24 17:00:42 2008 +0000
Method NNC_Polyhedron::poly_hull_assign_if_exact() is now implemented
    using Polyhedron::BFT00_poly_hull_assign_if_exact().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3f815b581a79...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 24 16:59:15 2008 +0000
Implementation of BFT00_poly_hull_assign_if_exact() generalized so as to
    correctly deal with the case of NNC polyhedra.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e1fd82d373c1...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Mon Nov 24 14:34:33 2008 +0000
Unwanted code removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=841503456bb8b...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 24 11:07:42 2008 +0000
Method C_Polyhedron::poly_hull_assign_if_exact() is now implemented using
    Polyhedron::BFT00_poly_hull_assign_if_exact().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a5d2d73d3321a...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 24 11:05:34 2008 +0000
Added protected method BFT00_poly_hull_assign_if_exact(), implementing
    (a variant of) an algorithm for the recognition of convex unions originally
    proposed by Bemporad, Fukuda and Torrisi in 2000.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00ed5c1efbbaa...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 24 10:41:23 2008 +0000
Added tests for method poly_hull_assign_if_exact().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2533826928213...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Mon Nov 24 09:23:31 2008 +0000
The implementation of the Box from Grid constructor has been
    modified to use Grid::maximize() to check if a dimension is bounded
    and no longer needs Grid_Generator to declare the Box class as a friend.
    The FIXME(0.10.1) wrt this has been removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7ce6bdec355e...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Mon Nov 24 08:37:01 2008 +0000
Report bug fix corrected in previous commit.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96b2c4a6e6082...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Mon Nov 24 08:36:06 2008 +0000
Corrected private method bounds() whereby it did not correctly deal
    with the case when the grid generators were up-to-date but not
    minimized. This corrects the bugs shown in the previous commit.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ef47e2367332...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Mon Nov 24 08:34:00 2008 +0000
Tests added that show a bug in bounds_from_above(), bounds_from_below(),
    maximize(), and minimize() in the Grids class.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a470533e7db1...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Sat Nov 22 12:13:38 2008 +0000
When building from another product with different component domains
    and/or reduction operator, allow for any component domains and in
    any order.
When building a product always check the space dimensions are no
    more than max_space_dimensions().
Correct some comments in the Partially_Reduced_Product.defs.hh.
A few tests added to test these code changes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bef63e6f08dd...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Nov 22 09:48:32 2008 +0000
Removed some commented out, useless code (it was the result of cut&paste
    from another test). Added known result for test01 and check against it.
    Renumbered tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efccc2cf9f6a7...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Nov 21 21:51:24 2008 +0000
Also set nodist_ppl_ocaml_generated_test_opt_SOURCES.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b73095cbfc77d...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Nov 21 09:22:48 2008 +0000
Let the stack size limit for native compilation be as generous as that
    for bytecode compilation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10cae9e922a97...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Nov 20 21:35:43 2008 +0000
The OCaml interface now supports compilation to native code.
    Also mentioned in the NEWS the correction of an OCaml interface bug.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b71b7f575b77...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Nov 20 21:28:05 2008 +0000
Added a few lines explaining how to use the OCaml interface with the
    native compiler ocamlopt.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c20e0fdb0052...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Nov 20 21:24:17 2008 +0000
List libppl_ocaml.a in variable pkglib_LIBRARIES (removing it from variables
    noinst_LIBRARIES and ocaml_DATA).
    When building the native OCaml interface, do generate, install and clean
    the library file ppl_ocaml.a.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eddf5ba017f0...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Nov 20 20:02:57 2008 +0000
Avoid using OCaml (bytecode/native) compiler option -g.
    Do also clean *.o files generated by ocamlopt.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0fd077d2d24b...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Nov 20 16:22:38 2008 +0000
Two bogus TODOs changed into (urgent) FIXMEs.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b4f4c55149a2...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Nov 20 13:02:10 2008 +0000
Build and run the bytecode/native OCaml tests depending on the availability
    of the bytecode/native OCaml compilers.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7feaaa5706fa...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Nov 20 13:00:28 2008 +0000
Build the bytecode/native OCaml interfaces depending on the availability
    of the bytecode/native OCaml compilers (and corresponding mlgmp libraries).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8019b41cee58...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Nov 20 12:57:52 2008 +0000
Corrected a bug in the code for the OCaml function
      ppl_Grid_generalized_affine_(pre)image_with_congruence;
    also corrected corresponding test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=635ff9fdca0fd...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Nov 20 12:53:04 2008 +0000
Check whether or not the OCaml native compiler ocamlopt is available.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=facf1fcd16efc...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Thu Nov 20 12:24:03 2008 +0000
Avoid reducing the product where it is not essential.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e4b7c4875713...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Thu Nov 20 07:53:34 2008 +0000
Added a note concerning the correction of a bug in the
    Partially_Reduced_Product<>::time_elapse_assign().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b023a9e044e01...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Thu Nov 20 07:40:39 2008 +0000
In the time_elapse, both components must be reduced
    before doing the operation. The clear_reduced_flag()
    after the operation removed and the tagged FIXME removed.
Test added showing an example that is only correct if the second
    component is also reduced.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0de332bf5cda0...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Nov 19 21:19:11 2008 +0000
Added several new items.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ad34cb227ff6...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Wed Nov 19 20:58:56 2008 +0000
Restored the clear_reduced_flag() for the time_elapse_assign.
    FIXME also restored as this still needs checking.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=488dba343c5d6...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Nov 19 19:28:18 2008 +0000
Added missing verb in comment.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3e5b799f0f5f...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Wed Nov 19 09:46:50 2008 +0000
Several tagged FIXME's removed.
    CHECKME Comment for the widening operation modified to confirm
    that this _is_ a widening for the products as provided here.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40e30cb87ce1f...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Wed Nov 19 07:26:47 2008 +0000
Removed previously added reduction method.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0b9625a497f2...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Tue Nov 18 14:53:00 2008 +0000
Added a reduction method Shrink_Using_Congruences_Reduction<>
    and the product Shrink_Using_Congruences_Product<>
    that assumes this reduction.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6cb253dc62d80...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 18 13:27:22 2008 +0000
Mention bug fix for Polyhedron::contains_integer_point().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87f3fa978db50...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 18 13:25:40 2008 +0000
Added a couple of comments regarding the recently corrected bug in
    contains_integer_point().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d57dbde1689f8...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Tue Nov 18 12:49:52 2008 +0000
Corrected some m4 code that resulted in wrongly named test predicates.
    Corrected expected answers for tests that checked properties such
    as "is_empty()".
    Added tests for the contains_integer_point() for the Pointset_Powerset
    domain.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52e651329904f...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Tue Nov 18 12:47:25 2008 +0000
Several bugs in code for contains_integer_point() fixed.
    Added new tests that showed the bugs.
    Uncommented some tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a68c5d90e95f...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 18 07:40:19 2008 +0000
Corrected typo in comment.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03f89005cb7f7...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Nov 17 16:57:47 2008 +0000
Recorded the fix solving the `make check' problem when the
    `--disable-watchdog' configure option is used.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc774d969e600...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 17 16:43:00 2008 +0000
The sources for test memory1 should be distributed unconditionally
    (i.e., even when valgrind tests are disabled).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61a4297ec7601...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 17 16:41:25 2008 +0000
Test mipproblem2 should be built iff the watchdog library is enabled.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a61ec6dd82212...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Sun Nov 16 20:57:43 2008 +0000
Typo fixed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf988e99b50dd...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Fri Nov 14 11:16:02 2008 +0000
Completed a reorganization of the tests for the Powerset domains.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b07394534621...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Nov 12 19:39:01 2008 +0000
On Darwin, avoid the `-module' Libtool flag for building the `libppl_java'
    library.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7fcaf4f28a47...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Nov 12 16:57:22 2008 +0000
Wrong file names fixed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d5bbbf58a940...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Wed Nov 12 09:05:41 2008 +0000
Started reorganising the tests for the powerset domains
    and moving all tests on the powersets into the Powerset directory
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a10f1cae5588a...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Nov 11 17:04:01 2008 +0000
Added a reference to a bug report against Fedora's `pl' package.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ac4444cc8a6c...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Tue Nov 11 08:40:51 2008 +0000
Removed the STRONG_REDUCTION macro and added comments where the code
    implements the extra reduction needed for the strong minimal form.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53ee54835082d...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Tue Nov 11 06:47:49 2008 +0000
Improved handling of the patterns with a consequential improvement
    to the speed of the m4 processing of the interface files.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d92c57de9374...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Nov 10 20:02:52 2008 +0000
DIRTY_TEMP* macros renamed with the "PPL_" prefix.  A couple of other
    improvements related to the proper use of Coefficient objects.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=434d1811110cf...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Nov 10 18:56:45 2008 +0000
Use PPL_DIRTY_TEMP_COEFFICIENT whenever possible.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f95c0e4906a7...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 10 18:21:59 2008 +0000
Corrected typo in a comment.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e07929e9cde0...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 10 18:21:16 2008 +0000
Small correction.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92789b5166b3d...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Nov 10 17:26:22 2008 +0000
Macro PPL_DIRTY_TEMP_COEFFICIENT properly commented.  Notice that this
    is now part of the C++ interface, hence its introduction is mentioned
    in the NEWS file.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ba751cb43e9e...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Nov 10 07:47:04 2008 +0000
Macro TEMP_INTEGER renamed PPL_DIRTY_TEMP_COEFFICIENT.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93e2b5aa5f434...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Nov 10 06:04:29 2008 +0000
Macro COPY_GMP renamed PPL_MATCH_GMP_GCDEXT and undefined after use.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=395bae940b853...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 20:17:06 2008 +0000
COND* macros renamed with the "PPL_" prefix and undefined after their use.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=135ce7d742ff3...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 20:11:23 2008 +0000
NAN macro renamed with the "PPL_" prefix and undefined after its use.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d2bd2b9746bb...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 19:49:23 2008 +0000
COMPILE_TIME_CHECK* macros renamed with the "PPL_" prefix and
    undefined at the end of the library's C++ interface header file.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f200a86d1676b...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 18:52:11 2008 +0000
The `nonconst' macro is now defined and undefined in a completely safe way.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d794a14afcce...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 17:37:31 2008 +0000
Macros FPU_DOWNWARD, FPU_TONEAREST, FPU_TOWARDZERO and FPU_UPWARD
    renamed with the "PPL_" prefix and undefined after their use.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=431dd27c59263...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 13:39:22 2008 +0000
ASSIGN* macros renamed with the "PPL_" prefix and undefined after their use.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06f2ba88c10de...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 13:27:43 2008 +0000
FUNCTION_CLASS macro renamed with the "PPL_" prefix and undefined after its
    use.  Long source lines avoided.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c38c85a3fbc8...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 11:52:11 2008 +0000
DEF_FUN* macros renamed with the "PPL_" prefix and undefined after their
    use.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a30adc608893...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 11:43:05 2008 +0000
DEF_ASSIGN_* macros renamed with the "PPL_" prefix and undefined after their
    use.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c65bfc03ce09d...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 11:39:11 2008 +0000
SPECIALIZE_* macros renamed with the "PPL_" prefix and undefined at the
    end of the library's C++ interface header file.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74a13ba2c5bbf...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 10:26:26 2008 +0000
Macro `safe_conversion' renamed `PPL_SAFE_CONVERSION' and #undef'ined
    after its use.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=813b19a6420d1...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 10:16:43 2008 +0000
Robustness has been improved.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ba3f0ab8e7c1...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 08:15:23 2008 +0000
Use std::numeric_limits<size_t>::max() instead of size_t(-1).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b91465a5aae96...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 08:05:15 2008 +0000
Took into account that no checks for possible overflows are made
    in the implementation of new expressions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb9bb9c8404c0...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Nov 9 07:32:16 2008 +0000
No longer use compute_capacity(dimension_type requested_size).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ba481b9860e3...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Nov 8 20:57:10 2008 +0000
No longer use compute_capacity(dimension_type requested_size),
    now removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bfa535bd0c66...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Nov 8 19:54:47 2008 +0000
More FIXMEs tagged with "(0.10.1)".
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b707eba11cc4...
Author: Patricia M. Hill hill@comp.leeds.ac.uk
Date:   Fri Nov 7 15:04:54 2008 +0000
The core ppl_interface_generator_common.m4 file
    has been completely reorganised, macros improved and comments revised
    and added.
    Note that alternative patterns and replacements now have a simple
    _a_ or _b_ extension instead of _alt_ or _cppx_.
    To change the case of a word, use "!" instead of "L" or "U" before
    the pattern.
The macros in the core file are organised into groups and a comment
    summarises the call structure between the groups.
    Each macro is labelled to indicate if it is used locally,
    just in this file but by a macro in another group,
    or if it is public and may be used by other code generating m4 files.
    Suggestions for further improving the macro descriptions are welcome.
The complementary file  ppl_interface_generator_common.m4_dat file
    that contains the common data and some macros for generating
    the basic class names, the patterns and their replacements
    is improved and some redundant things removed.
    Commenting is not improved but much of the structure here is simpler
    and existing comments provide a lot of information already.
The changes to these files has meant that changes to all the m4 files
    in the interfaces directory was required.
These changes seem to make the m4 generation slightly more efficient -
    but the improvement appears to be less that 10% and disappointing.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26d61a79034f0...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Nov 6 07:43:09 2008 +0000
Tagged the FIXMEs that should be fixed before the PPL 0.10.1 release.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33d2a50acb3d7...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Nov 6 07:21:16 2008 +0000
Use malloc(), realloc() and free() instead of operator new() and
    operator delete() to implement the replacement GMP allocation
    functions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=758634de86d33...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Nov 5 21:14:03 2008 +0000
Use malloc(), realloc() and free() instead of operator new() and
    operator delete() to implement the replacement GMP allocation
    functions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82c2eaa640db7...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Nov 5 20:26:36 2008 +0000
Made `ppl_lpsol --help' and `ppl_lcdd --help' consistent.
    Man pages updated.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a511790e4d81...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Nov 5 18:53:57 2008 +0000
Added a section for 0.10.1.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=423e810797984...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Nov 5 18:51:14 2008 +0000
Version number bumped.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=685241b0d27ca...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Wed Nov 5 18:23:42 2008 +0000
Added \007 e \015.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21b15d2b8909f...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Nov 5 18:23:17 2008 +0000
Stick to ASCII.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=847c1c8201e6f...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Nov 5 18:22:47 2008 +0000
Add dirty_marker to DISTCLEANFILES.
    (Thanks to Michael Tautschnig for poiting this out.)
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dccc802a594e...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Nov 5 18:18:07 2008 +0000
Print also the line number.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d9626614425a...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Nov 5 18:17:24 2008 +0000
Doxygen configuration files are generated by the configure script, so that
    they don't have to be listed in EXTRA_DIST.
    (Thanks to Michael Tautschnig for pointing this out.)
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7de5ed20f4384...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Nov 5 18:15:20 2008 +0000
Source file ppl-config.cc is generated by the configure script, hence it
    should not be distributed: list it in nodist_ppl_config_SOURCES.
    (Thanks to Michael Tautschnig for pointing out this problem.)
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b56dc08c4c5a9...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Nov 4 17:18:41 2008 +0000
Fixed the requirements of the `ppl-java' package.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ed377604e540...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Nov 4 14:21:00 2008 +0000
One-liner to print lines containing non-ASCII characters.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3808aa101bf22...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Nov 4 13:43:33 2008 +0000
Changelog updated.  Added m4 >= 1.4.8 to build requirements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a228b89d3b39...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Nov 4 09:27:21 2008 +0000
Use ASCII only.

[PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): New commits

git＠cs.unipr.it