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.