URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faaf9b9fc4234... Merge: c1bbb658bf1d016b739e9119d4fe0160b69f9974 ae14af77fe6d4f08fdf971dbcefd2c00b52fd329 Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Mon Mar 26 09:11:57 2012 +0200 Merge branch 'master' into sparse_matrices Conflicts: src/CO_Tree.inlines.hh src/Congruence.inlines.hh src/Congruence_System.defs.hh src/Congruence_System.inlines.hh src/Constraint_System.defs.hh src/Grid.defs.hh src/Grid_simplify.cc src/Grid_widenings.cc src/Linear_Row.inlines.hh src/MIP_Problem.cc src/PIP_Tree.cc src/PIP_Tree.defs.hh src/Polyhedron.defs.hh src/Polyhedron_nonpublic.cc src/Scalar_Products.cc src/Scalar_Products.defs.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae14af77fe6d4... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Sun Mar 25 10:18:08 2012 +0200 Corrected wrong assertion after call to Grid::simplify(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ef3a18385085... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat Mar 24 18:58:43 2012 +0100 Added missing uses of `$EXEEXT'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533fae3d1b738... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat Mar 24 18:56:03 2012 +0100 Added missing link options. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dd838e58b176... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat Mar 24 15:51:38 2012 +0100 Useless declarations removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b1ab576f8cb... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat Mar 24 15:50:31 2012 +0100 Fixed debugging code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6677f1f4e72ba... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Sat Mar 24 14:56:05 2012 +0100 Corrected test for has_{upper,lower}_bound so as to avoid calling the predicate on zero-dim boxes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=666ee3e53fbc2... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Sat Mar 24 14:03:14 2012 +0100 Restored the build. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4483b02e0662... Author: Patricia Hill <p.m.hill@leeds.ac.uk> Date: Fri Mar 23 20:04:38 2012 +0000 Added comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d571fcfe081a... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri Mar 23 20:50:12 2012 +0100 Added `@extra_includes@' to `AM_CPPFLAGS'. (Thanks to Joao M. Santos Silva.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1ae10fce329c... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri Mar 23 20:22:26 2012 +0100 Portability improved. (Thanks to Tim Donahue.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f410b9588599... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri Mar 23 20:18:02 2012 +0100 Fixed lots of parameter names. Detected by ECLAIR service funparam. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3aa23db34831... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri Mar 23 18:31:34 2012 +0100 Fixed lots of parameter names. Detected by ECLAIR service funparam. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c05ad33bb7f8b... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Thu Mar 22 10:10:05 2012 +0100 Fixed indentation.