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'.