URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22b223fc02d67... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jan 4 17:48:15 2013 +0100
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=135638322d3d1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 3 21:26:06 2013 +0100
Typo fixed. (Thanks to Chia-Hsun Cheng and Marco Bodrato.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1084b95029e79... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 3 21:20:16 2013 +0100
Const-qualify immutable objects. Detected by ECLAIR service cnstpnte.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=225f9cb720778... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 3 21:19:10 2013 +0100
Typo fixed. (Thanks to Chia-Hsun Cheng and Marco Bodrato.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efd4b126fb23f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jan 2 19:19:01 2013 +0100
Const-qualify immutable objects. Detected by ECLAIR service cnstpnte.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=377a1734ef7a0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jan 1 21:40:48 2013 +0100
Const-qualify immutable objects. Detected by ECLAIR service cnstpnte.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c84e435b5ce84... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Tue Jan 1 09:51:34 2013 +0100
Const-qualify immutable objects. Detected by ECLAIR service cnstpnte.