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