[PPL-devel] [GIT] ppl/ppl(pip): New commits

Fri Aug 21 09:42:24 CEST 2009

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71c24b0bbde920b8c459a8a5f333841d35ff36ce
Merge: 1f2678a35a2e13b22456a380a9e0b974939232a9 6a96e861272517118cfef7806f7b696dccd4d7e6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Aug 21 09:42:04 2009 +0200

    Merge branch 'master' into pip
    
    Conflicts:
    	fedora/ppl.spec

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a96e861272517118cfef7806f7b696dccd4d7e6
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Aug 15 10:05:48 2009 +0200

    Mention correction of bug in Pointset_Powerset maximize/minimize methods.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba692c7b20024a266852f51e98fe709a4e02eb3b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Aug 15 08:18:50 2009 +0200

    Indentation fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b52a2d273f4f96eec4a2ac5bb453756906e52a88
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Aug 15 08:15:14 2009 +0200

    Corrected a bug in Pointset_Powerset methods minimize() and maximize().
    We now return false if the powerset is found to be empty.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfff7e13e8817970647c38289b1f4e8d94999ea2
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Aug 15 08:10:19 2009 +0200

    Corrected a few expected results in Powerset/maxmin1.cc.
    This uncovered a bug in Pointset_Powerset methods maximize() and minimize(),
    whereby we are returning true even for empty powersets.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3acefad3847d6f2412217e3008a1dfa9d051822
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Aug 7 17:37:17 2009 +0200

    Version number bumped.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d61b662af670904ab9f1db2dfeea80dc4c90f84
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Aug 7 16:15:28 2009 +0200

    Useless, commented-out inclusion removed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a87795dec3abeb12d95d4bb11f788a20d127dcbd
Author: Abramo Bagnara <abramo at localhost.localdomain>
Date:   Fri Aug 7 12:40:53 2009 +0200

    Modified cm_splitter machinery to avoid use of 'read' shell builtin.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3daa332122e99b11b7bec098c2404d6f501607d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Aug 7 11:43:54 2009 +0200

    Mention a bug that was recently corrected.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=325ba80abd8c06c5dd740d35064302bbe65e251b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Aug 7 10:39:38 2009 +0200

    Corrected implementation of NNC_Polyhedron::upper_bound_assign_if_exact().
    Added a few tests for regression checking.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21c69b39730e0fb032395b07467b2ac3936ca124
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Aug 5 14:48:04 2009 +0200

    Make sure a definition for member/2 and append/3 is available.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5a20e1b7ed8f902b3698346843125364aeaac71
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Aug 3 20:32:32 2009 +0200

    Removed useless, temporary addition of -lm to LIBS.
    (Thanks to Joseph Prostko.)

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49f717edef1e1264cbf322532ec908c7fe459475
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Aug 3 20:32:17 2009 +0200

    Checks reordered.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d5c936a3dd3af7d46538d26d76cca997953a355
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Aug 2 18:55:02 2009 +0200

    Version number bumped.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d398d757a50f6205581bd43d0c544d1b491b532
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Aug 2 18:37:14 2009 +0200

    Use AC_SEARCH_LIBS to detect whether -lm must be provided to the linker.
    (Thanks to Joseph Prostko.)

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bfd79445fd0da230f2c8a92b5f152947a048ed3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Aug 2 17:41:35 2009 +0200

    Do not add -lm to LDADD for *randphull1.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a41facee8e5c9ad4a88f3da191070bc92f2b224c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Aug 2 09:28:50 2009 +0200

    Do not link with -lm here.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65bab4f76a1b0a437a3937358b304f92ef245397
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jul 31 13:15:39 2009 +0200

    Improved and generalized the detection of YAP.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba9c7d4384344fb6431d9178afa3cd2e20781bcd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jul 30 10:02:34 2009 +0200

    Updated from Autoconf 2.64.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08eaee8c456438616fdd95f090ea5d85e0e5e8c5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jul 28 14:31:41 2009 +0200

    Version number bumped.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=272435922ed60b06c8df3928f4b1cf3de0bdbf32
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jul 28 14:30:07 2009 +0200

    On Windows, the console version of SWI-Prolog is called `plcon'.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d276a484e1cb5cf8eb4eb4bf5952038c61570f9a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Jul 15 14:04:49 2009 +0200

    Adjusted weight thresholds.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=092abc98a2acfe93ecac11779f39199668b84bb9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jul 14 19:33:20 2009 +0200

    Debugging prints improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55dda35b30c6153e8b47f2001ba4990e36df0343
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jul 14 19:29:20 2009 +0200

    Weights adjusted.  Added more debugging prints.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12ab9f366276985efb931bc52a75cd8770f1add7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jul 14 19:14:50 2009 +0200

    More weights adjusted.  Added a couple of debugging prints.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b64d72bae2beaee734ba6f57657c9a9fdceeec8f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Jul 14 18:49:35 2009 +0200

    Added printing of MIP solver recursion level for (noisy) debugging.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a17f3bf228fb1388c7f9ab46a44928376f182da9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jul 14 17:36:47 2009 +0200

    Added some weights.  Added some debugging prints.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01c5219d84f3b74f297be7a98b373592b9c0f1d4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jul 14 16:07:36 2009 +0200

    Todo items reorganized.  Removed the one about NOT_EQUAL.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5beb16e7b88521f7c34804b053fe0ac6b2ac83d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jul 14 16:05:30 2009 +0200

    Version number bumped.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=456f042c8e04c55936c6da5560b4bca323c65332
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jul 14 14:39:00 2009 +0200

    The *_and_minimize/N predicates have gone: remove residual references to them.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80fe52b084cfc50201ef046506e8a967c546d288
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Jul 14 15:05:11 2009 +0200

    Added WEIGHT_BEGIN and corrected WEIGHT_ADD_MUL macro.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd670303e2a9dcf9248ab316bc6b8e81163188a6
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Jul 14 14:59:48 2009 +0200

    Added WEIGHT_BEGIN() macros and reset a few weights.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2947b482bb0ae45067ca7bcd3d57a73deb615f7e
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Tue Jul 14 11:36:08 2009 +0200

    Added profiled weights.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=232f4f623dad3dce67a0083dcd903454939f524a
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Jul 14 11:05:13 2009 +0200

    Modified computational weight for propagate_constraints.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae0073bd4dd5faec841dfe822fc917230da64996
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Jul 14 09:18:37 2009 +0200

    Added tentative computational weights to MIP_Problem.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67572f7617f66e19237d74edd0bc4b64eab1f481
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Tue Jul 14 00:09:12 2009 +0200

    Fixed WEIGHT_ADD use.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3b1c746d42b445c547a69c9132f1e4a317d7c9f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 22:32:16 2009 +0200

    WEIGHT_ADD moved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4984c996e750f23886217af073b3b3e6cf1f9bee
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Jul 13 22:16:04 2009 +0200

    Removed forgotten WEIGHT_ADD.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61df49cc3d5fa606f95e15147058f01c423d5622
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Jul 13 22:03:05 2009 +0200

    Don't compile Weight_Profiler if it's not used.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27ce45ef5e475dff71a6597176a96d2730bcc920
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jul 13 21:58:44 2009 +0200

    Minor formatting improvements.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30c4076e092bff1bab33c1cf121f1100f1d73866
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 21:48:50 2009 +0200

    Use less simplistic weights.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b72e693fc901c6b03b4c735a8d0d85f4adbbbe
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 21:48:31 2009 +0200

    Comment improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f53a31830c3e65477d5856c92b2d3cb6f93ac1c5
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Jul 13 20:10:39 2009 +0200

    Added additional info about Traits template parameter.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3b243ef0142dfb5e628301b64ec3095754cf297
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Jul 13 18:46:47 2009 +0200

    Converted weight threshold to unsigned long long.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f41bc98bc45b749497311b4a5a89678e3e96431c
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Jul 13 18:36:51 2009 +0200

    Added weight profiler

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5ea4dfdfcca314e4d9e1855868c560ac75ab6db
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jul 13 17:39:45 2009 +0200

    In the Ocaml tests, timeouts are now reset unconditionally.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db905fa95a0e199beb2b9337869a2e27219060f8
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jul 13 16:21:35 2009 +0200

    Drafted a few missing comments. To be completed (by the author).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=603691e1fc7d82330d43e3b0bdc43d74b0801f0e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 16:04:22 2009 +0200

    Added the documentation of some parameters.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b5711e19f0b02703248d36416b87f227f581417
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 16:01:19 2009 +0200

    Doxygen reference fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0808b5bf178942fd085b4269180af38ed73046b6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 15:55:59 2009 +0200

    Fixed several documentation bugs signalled by Doxygen.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e03b09806640e70bb5a5a00cdf792e422aea3145
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 15:39:17 2009 +0200

    Version number bumped.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d1496c72855a2a48c036926ec913541c2fe5231
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Jul 13 15:47:56 2009 +0200

    Removed repeated declaration.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18547b9dda76478b54c4d10901dfd9eb5f1ec34a
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Jul 13 15:13:27 2009 +0200

    Moved in_assert in Implementation namespace.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3f9c1cc75c580fac8c0b01741797cd99b421db7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 14:50:55 2009 +0200

    Warnings avoided.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78a7c4b60e7e5a9b7b2a6995263ac701105d5ee9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 14:47:51 2009 +0200

    Warnings avoided.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b767ed368ed505a43766cceda3a9003a8e515da
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 14:47:39 2009 +0200

    Spurious parenthesis removed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35bcf04d2922768393bb5e2551e51e5a99bc4bdb
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jul 13 14:32:04 2009 +0200

    Announced availability of the deterministic timeout facilities.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1f6a84ec0489028fe952a88f38d46713ea46f66
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Jul 13 14:28:04 2009 +0200

    Converted assert in PPL_ASSERT.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a0fb124afab41e47f4843459cc86f0c80bcc2a7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jul 13 14:04:22 2009 +0200

    A couple of minor doxygen documentation corrections.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8da16bedab3920240eb1f25bafe9178ea53cefbe
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jul 13 13:02:56 2009 +0200

    Added determinisitc timeout functionality to the Ocaml interface.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f998de27be99a5429da7fb525e938db87b7d58d2
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jul 13 10:46:44 2009 +0200

    Added deterministic timeout functionality to the Java language interface.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62c817602e25fe567b1685f0b86cbc2266247d45
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jul 13 09:42:35 2009 +0200

    Weightwatch test fixed so as to behave properly under arithmetic overflows.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff28fdbc4a1fc2016fe249373caa755e05ff5961
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jul 13 09:24:12 2009 +0200

    Added deterministic timeout predicates to the Prolog language interface.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d81e62914cdeefc5bef56decf96c38376f7ce455
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Jul 13 08:56:27 2009 +0200

    Now we throw/catch ad hoc exceptions for deterministic timeouts.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70437eb7512d5168185429f269b43040a0fb9dc5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Jul 13 06:47:50 2009 +0200

    These tests fail also with 32-bit coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08dfb6fea094f8c5a533575a3ea2095edce99a6d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 21:39:46 2009 +0200

    New configure option --with-gmp-prefix supersedes the (now removed)
    options --with-libgmp-prefix and --with-libgmpxx-prefix.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acac3c72eafcd53bc48660d8340bfafe90376919
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 21:21:04 2009 +0200

    These tests fail also with 16-bit coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81f1af6d0c63c89ef316968d8d0fdcbf2a715b28
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 21:19:21 2009 +0200

    Private typedef renamed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=557898faabc420d3180cff9ff6c0a85a43c438aa
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 21:19:12 2009 +0200

    Removed spurious blank line.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5622bea5c074490790db34f05e0821bc7873c194
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 21:15:32 2009 +0200

    Comment improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89b767163dfb20b8555016487960794ad51cb43e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 21:14:09 2009 +0200

    Drafted the news for PWL 0.8.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1a81fe4089f775fe15e01e0554c3804f40dbebe
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 19:08:36 2009 +0200

    Unused temp removed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66ccf323a04d9a0e293ec0ad819e946fd10bfa01
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 19:07:58 2009 +0200

    Warnings avoided.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a645e6094ee6df1d5bf27da6ed88001090400e7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Jul 12 20:51:38 2009 +0200

    Fixed INPUT variable in Doxygen configuration for devref.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cda644cec9ac53ad8705fa1c4911927cc5e5492
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 19:05:01 2009 +0200

    Updated for PWL 0.8.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ead85490a5fa18f870681468fa065de07f1b036a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 19:00:19 2009 +0200

    These tests fail with 8-bit coefficients.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42c630cd1c01b837e94a1285dcde2f3f23a1b4b4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Jul 12 18:58:15 2009 +0200

    Added a test for deterministic timeouts in the C language interface.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6ed324723fa3ef52c2e80f1ebdc8c7361b7aca3
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Jul 12 18:36:43 2009 +0200

    The deterministic timeout facilities are in the C language interface.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f2de79bb0dbe31a943d1f1b0cd0321489c1e3a0
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 17:16:20 2009 +0200

    Got rid of the REACTIVE_ABANDONING macro.
    It was controlling tests whose cost is negligible, and defining
    it to 0 we would not honor what we promise in the documentation
    of abandon_expensive_computations.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae4fb56b8ddabc7374e32d6500452ebddf75297
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 17:12:20 2009 +0200

    Force rebuild.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a349f75ba19a1bb4c40f6e47da0d8261546be193
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sun Jul 12 13:55:14 2009 +0200

    Converted watchdog time argument to unsigned.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f1a9519f0771e60551dcd143da754780dd5324a3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 11:48:29 2009 +0200

    Item improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d2fd5e5653ab578ca672e2d1a57dfb659eb31ea
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 11:47:36 2009 +0200

    Synchronized with the current reality.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1175ae2b9f7628c041fb5bf67e422d821f6df634
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 11:46:02 2009 +0200

    Updated.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fdc5887541bfffb981fc77541d9046e8f15d2a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 11:24:28 2009 +0200

    Require Automake 1.11, enable lzma tar archives and silent rules.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0742e3828ce42ee511948a17efd4af8efb098c11
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Jul 12 11:12:29 2009 +0200

    Avoid dummy parameter in constructor for Threshold_Watcher::Initialize.
    Renamed `initialize' to `init' to avoid visual clash with `Initialize'.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5b0647b63bda876d877869dc0e9d7f8dda64e5b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 11:15:18 2009 +0200

    Updated.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f36bad689490f3376f8145bdda8c2ae718a91657
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul 12 10:13:04 2009 +0200

    Require Automake 1.11, enable lzma tar archives and silent rules.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fec820348a7ebe1ebedd8c3d860ac04ed508f42
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Jul 12 09:18:13 2009 +0200

    Added a first test for the deterministic timeout.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4cb9790c6f741a636aa6bbd0e4619acbcfa34305
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Jul 12 09:14:52 2009 +0200

    Added Weightwatch_Traits class (from Abramo). Modified maybe_abandon().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78c8fb6cebda65e57b79176eb7aff2995db8d726
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Jul 12 08:11:22 2009 +0200

    Minor improvements: prefer direct header file inclusions to indirect ones.
    Avoid unnecessarily long lines.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=133d39ca584c6c1c9266dfe3621a677fb03ea558
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sat Jul 11 20:12:09 2009 +0200

    Converted Weightwatch in more generic Threshold_Watcher.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6fd8437f2e56f1f162c6367fef0c57b3f4bc846d
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sat Jul 11 18:25:10 2009 +0200

    Fixed typo.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99d4c96253e1e775d022baaa67e496ccd8b14fe4
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sat Jul 11 18:14:42 2009 +0200

    Forgotten file.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8e99fc18a85d66fad6977a5e4e84f88e42cbebd
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sat Jul 11 18:13:39 2009 +0200

    Weightwatch are now generic threshold watchdog.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2845d7717669addb44c47793cd92446b51751a0
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sat Jul 11 14:07:36 2009 +0200

    Weightwatch are now independent from client code.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98c1aa19dbcd4f9920f523ed54b5928a4c66a5bc
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri Jul 10 21:20:57 2009 +0200

    Added Weightwatch.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9806b1f8969f83070f4c3b5e8ac850132c2ea8b1
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Jul 10 18:05:14 2009 +0200

    Fixed a (potential) exception safety bug in class MIP_Problem.
    Added an helper class (implementing RAII technique) to safely relax a MIP
    problem into an LP problem and ensure that integer variables are restored
    even in the presence of exceptional execution paths.
    Improved interface (and a few comments) for private methods dealing with
    MIP optimization and satisfiability.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d986d5bcaf0aceb6e990555f5b7072d590698c6d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jun 19 12:54:28 2009 +0200

    The `gprolog' and `yap' packages are not available on the sparc64 and
    sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and
    `ppl-yap'.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d8e88610e8979af4fa6e0b3e77e78f6389699e7
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu Jun 18 10:54:46 2009 +0200

    Added proof of concept for Python interface.