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

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ecc4a9389baf2d0ff5b637ba67dd29ab967b6b5
Merge: b9c75c0855011b07b8d014c510403a3e34cf0a91 73cfc6e2390366f132e6967d225c4d5ec317bb46
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Feb 15 19:04:49 2011 +0100

    Merge branch 'master' into floating_point

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73cfc6e2390366f132e6967d225c4d5ec317bb46
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Feb 14 21:23:11 2011 +0100

    PIP_Tree: simplify unnecessarily complicated code in compatibility_check_find_pivot_in_set().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca3aebcc9cb160df5cc985a1cd2cd79a744ccfd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 14 19:46:29 2011 +0100

    Ignore *.lzma.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24b68b1c48e4552f1085d9a04979e610c8ca79ca
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Feb 14 19:45:34 2011 +0100

    PIP_Tree: avoid repeated calls to Sparse_Row::get(), in solve().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=215c270204d965b2baa0463ebdb62f2f88f575f0
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Feb 14 19:14:13 2011 +0100

    Corrected a (checked-integer related) problem in PIP_Solution_Tree::solve().
    Updated expected results for 32-bits checked integers: ppl_pips test
    lineri.dat no longer overflows.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41c580634b7e90d73fa8d7629fb353d9bf103faa
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 14 16:56:35 2011 +0100

    Updated.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4e8a607e5a61dd8a9e9b0da3f30a405371bb2ed
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 14 16:45:57 2011 +0100

    Fixed a number of wrong conditionals.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5147bf4e1914c62a956ab336f2dbf4f20ebe3e5b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Feb 14 16:45:38 2011 +0100

    Minor improvements to documentation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6bbae8773094c0890166e92ce379f37a612c628
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 14 13:01:50 2011 +0100

    Copyright notices updated.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f42c4966e4c1add7feb83a3dcfd9c6f8fc68d23
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Feb 14 11:57:05 2011 +0100

    Document parameter indent_level in PIP_Tree_Node::solve().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e75a70506117ff2375961fd7517345e8ecf3c90
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu Feb 3 17:26:08 2011 +0100

    Added other plain char specializations.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5f893b6c2cfc12755e3849ac485addcd3d03d68
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Feb 3 17:11:20 2011 +0100

    Added missing specializations for plain char.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b29e34e75e9ee93899a9f3f8311142398517c0e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Feb 3 07:48:15 2011 +0100

    Specialize C_Integer<T> for plain char.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69c0e45682361f5d51d7b6ba8bf714ebbc85b43f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jan 30 22:11:01 2011 +0100

    Added specializations for plain char.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6861c446e762ddb7972580aa181206d29e87aa48
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jan 30 22:08:31 2011 +0100

    Copy-and-paste mistake fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=743d879f0284f5d2c6ab1ad4d3149082dd0c261c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jan 30 20:06:05 2011 +0100

    Detect whether the plain char type is signed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a7cd78d39715462e9b036b52ae9815a1ae06146
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 14 10:55:23 2011 +0100

    Reduce the argument of valgrind's --num-callers below the allowed maximum.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73dd768d9265a42d3c113f18e62d90948031b13d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Feb 14 08:36:29 2011 +0100

    Mentioned a correction affecting PIP_Problem solution trees.
    Mentioned an improvement in the generation of PIP_Tree_Node tautological
    cnstraints, node splitting constraints and artificial parameters.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a224dfc21ffce3a15ab175400517d1fd6adccfd
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 14 07:33:55 2011 +0100

    Copyright notices updated.