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

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faaf9b9fc4234c310b0f6222eb7d9b6c3c2711f7
Merge: c1bbb658bf1d016b739e9119d4fe0160b69f9974 ae14af77fe6d4f08fdf971dbcefd2c00b52fd329
Author: Enea Zaffanella <zaffanella at 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=ae14af77fe6d4f08fdf971dbcefd2c00b52fd329
Author: Enea Zaffanella <zaffanella at 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=9ef3a18385085697e413378c8de299bd9d8636b8
Author: Roberto Bagnara <bagnara at 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=533fae3d1b7385cef651726d4d71efec95e24088
Author: Roberto Bagnara <bagnara at 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=4dd838e58b176c037e8ffaed13a6577bd48ac2a9
Author: Roberto Bagnara <bagnara at 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=f5b1ab576f8cb529058f94b6a8943d808b063a3c
Author: Roberto Bagnara <bagnara at 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=6677f1f4e72ba6e1b780fd159a3fe66865d7d390
Author: Enea Zaffanella <zaffanella at 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=666ee3e53fbc2d94d29aaf428ab1892a66b196ae
Author: Enea Zaffanella <zaffanella at 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=d4483b02e0662083fcfaf8d2652ca2ddb1f34811
Author: Patricia Hill <p.m.hill at 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=8d571fcfe081a22ec0dce540df994fb0725812fe
Author: Roberto Bagnara <bagnara at 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=a1ae10fce329c8d02540538f7ce9a29779e1a711
Author: Roberto Bagnara <bagnara at 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=6f410b958859913c61d06b7528d71f5eb89b26e3
Author: Roberto Bagnara <bagnara at 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=c3aa23db348313bf68cb85dd8b6e9acf21622f4e
Author: Roberto Bagnara <bagnara at 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=c05ad33bb7f8b0bf04a5ab64489bb8f54d7532e3
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu Mar 22 10:10:05 2012 +0100

    Fixed indentation.