URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ecc4a9389baf... Merge: b9c75c0855011b07b8d014c510403a3e34cf0a91 73cfc6e2390366f132e6967d225c4d5ec317bb46 Author: Roberto Bagnara bagnara@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=73cfc6e239036... Author: Marco Poletti poletti.marco@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=8ca3aebcc9cb1... Author: Roberto Bagnara bagnara@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=24b68b1c48e45... Author: Marco Poletti poletti.marco@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=215c270204d96... Author: Enea Zaffanella zaffanella@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=41c580634b7e9... Author: Roberto Bagnara bagnara@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=b4e8a607e5a61... Author: Roberto Bagnara bagnara@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=5147bf4e1914c... Author: Enea Zaffanella zaffanella@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=d6bbae8773094... Author: Roberto Bagnara bagnara@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=0f42c4966e4c1... Author: Enea Zaffanella zaffanella@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=5e75a70506117... Author: Abramo Bagnara abramo.bagnara@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=e5f893b6c2cfc... Author: Roberto Bagnara bagnara@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=8b29e34e75e9e... Author: Roberto Bagnara bagnara@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=69c0e45682361... Author: Roberto Bagnara bagnara@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=6861c446e762d... Author: Roberto Bagnara bagnara@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=743d879f0284f... Author: Roberto Bagnara bagnara@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=8a7cd78d39715... Author: Roberto Bagnara bagnara@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=73dd768d9265a... Author: Enea Zaffanella zaffanella@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=2a224dfc21ffc... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 14 07:33:55 2011 +0100

Copyright notices updated.