URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c2978601db3e... Merge: 1bb3f444e6dbaf8f81d122fa9a4908461edbb428 15a09460fd3ff29367a6d96f9ada8eb792f0d73b Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Aug 20 13:54:09 2012 +0200 Merge branch 'master' into ppl-1_0-branch Conflicts: interfaces/OCaml/Makefile.am src/Expression_Adapter.defs.hh src/Expression_Adapter_inlines.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15a09460fd3ff... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Aug 20 13:19:42 2012 +0200 Guarantee that header file names are unique as per C++11's 16.2#5. Detected by ECLAIR service hedrname. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd2a3147b0d03... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sun Aug 19 22:49:03 2012 +0200 Fixed the code layout for several if-then-elses. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=765172cce2929... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sun Aug 19 12:42:09 2012 +0200 Fixed comments that were meant to be Doxygen comments. Detected by ECLAIR service cmntdecl_srceline. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15181d45d90d7... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sun Aug 19 11:44:26 2012 +0200 Comment fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccf34d6e8ac30... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat Aug 18 14:12:59 2012 +0200 Advertise the portability improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=416ab74e65a10... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat Aug 18 13:54:23 2012 +0200 Avoid a non-portable GNU Make idiom (using `$<' in a non-suffix rule context). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6247133f289f... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Sat Aug 18 11:14:19 2012 +0200 Modified the Expression_Adapter infrastructure. Prefer the creation of transient, lightweight adapters to the usage of wild reference casts. While at it, improved documentation and systematically renamed `Expression' inner typedefs as `expr_type'.