Tue, 12 Jun 2012 17:15:24 +0100 Mario de Sousa Fix typo (thanks Manuele)
Tue, 12 Jun 2012 17:12:09 +0100 Mario de Sousa Remove potential access to NULL pointer.
Tue, 12 Jun 2012 17:07:40 +0100 Mario de Sousa fix error message.
Tue, 12 Jun 2012 17:00:00 +0100 Mario de Sousa Fix array index bound check to consider uint64 indexes/limits.
Tue, 12 Jun 2012 09:45:31 +0200 Manuele conti Fix structure initialize.
Mon, 11 Jun 2012 22:38:36 +0200 Manuele Conti Add check array out of bound.
Mon, 11 Jun 2012 18:48:58 +0100 Mario de Sousa Code for debugging const_value annotations in abstract syntax tree.