Mario de Sousa <msousa@fe.up.pt> [Wed, 13 Jun 2012 19:43:12 +0100] rev 592
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt> [Wed, 13 Jun 2012 14:21:30 +0100] rev 591
extract_int64() must not handle negation operation (was doing it incorrectly for INT64_MIN!)
Mario de Sousa <msousa@fe.up.pt> [Wed, 13 Jun 2012 14:07:41 +0100] rev 590
Add support for -INT64_MIN values in literals.
Mario de Sousa <msousa@fe.up.pt> [Wed, 13 Jun 2012 13:50:46 +0100] rev 589
Make compiler portable (do not assume int64_t is long long int)
Manuele Conti <conti.ma@alice.it> [Tue, 12 Jun 2012 22:46:51 +0200] rev 588
Add missing set overflow flag.
Manuele Conti <conti.ma@alice.it> [Tue, 12 Jun 2012 22:32:09 +0200] rev 587
Fix extract_integer_value.
Now we handle signed and unsigned in different mode.
(Thanks to Andreas)
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:15:24 +0100] rev 586
Fix typo (thanks Manuele)
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:12:09 +0100] rev 585
Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:07:40 +0100] rev 584
fix error message.
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:00:00 +0100] rev 583
Fix array index bound check to consider uint64 indexes/limits.
Manuele conti <conti.ma@alice.it> [Tue, 12 Jun 2012 09:45:31 +0200] rev 582
Fix structure initialize.
Manuele Conti <conti.ma@alice.it> [Mon, 11 Jun 2012 22:38:36 +0200] rev 581
Add check array out of bound.