Thu, 27 Dec 2012 15:04:58 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 27 Dec 2012 15:04:58 +0000] rev 777
merge

Mon, 24 Dec 2012 16:56:08 +0100Fix comment about meet semilattice rules.
Manuele Conti <conti.ma@alice.it> [Mon, 24 Dec 2012 16:56:08 +0100] rev 776
Fix comment about meet semilattice rules.

Sat, 22 Dec 2012 19:34:57 +0100Complete fix initialize const_value.
Manuele Conti <conti.ma@alice.it> [Sat, 22 Dec 2012 19:34:57 +0100] rev 775
Complete fix initialize const_value.