Thu, 30 Aug 2012 15:06:32 +0200Update configure script.
Manuele Conti <manuele.conti@sirius-es.it> [Thu, 30 Aug 2012 15:06:32 +0200] rev 649
Update configure script.

Thu, 30 Aug 2012 13:35:15 +0100More precise handling of const value status.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:35:15 +0100] rev 648
More precise handling of const value status.

Thu, 30 Aug 2012 13:08:02 +0100Fix bug in checking array ranges.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:08:02 +0100] rev 647
Fix bug in checking array ranges.