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.