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.

Thu, 30 Aug 2012 13:06:54 +0100Add more info to error messages.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:06:54 +0100] rev 646
Add more info to error messages.

Thu, 30 Aug 2012 13:04:30 +0100Allow the use of PRId64, PRIu64 and PRIx64 printf formating macros globally.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:04:30 +0100] rev 645
Allow the use of PRId64, PRIu64 and PRIx64 printf formating macros globally.