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

24 Apr 2009


      URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e35fe767762d...
Merge: 96f52363af74f4f9cc45f7e0287fc1740385f52a c165032ea5b1736061c110240c22c972732db98b
Author: Roberto Bagnara &lt;bagnara@cs.unipr.it&gt;
Date:   Fri Apr 24 08:44:10 2009 +0200
Merge branch 'master' into serial.
Resolved conflicts:
     	configure.ac
     	src/Bit_Row.defs.hh
     	src/Makefile.am
     	src/Polyhedron.defs.hh
     	src/Row.defs.hh