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 |