Fri, 20 Jul 2012 15:57:02 +0100Fix comment (bug found by Manuele).
Mario de Sousa <msousa@fe.up.pt> [Fri, 20 Jul 2012 15:57:02 +0100] rev 614
Fix comment (bug found by Manuele).

Fri, 20 Jul 2012 15:53:58 +0100Remove warning about redefining "__STDC_LIMIT_MACROS" (bug found by Manuele).
Mario de Sousa <msousa@fe.up.pt> [Fri, 20 Jul 2012 15:53:58 +0100] rev 613
Remove warning about redefining "__STDC_LIMIT_MACROS" (bug found by Manuele).

Fri, 20 Jul 2012 15:50:49 +0100Constant folding for IL.
Mario de Sousa <msousa@fe.up.pt> [Fri, 20 Jul 2012 15:50:49 +0100] rev 612
Constant folding for IL.

Thu, 19 Jul 2012 13:42:05 +0100update comments.
Mario de Sousa <msousa@fe.up.pt> [Thu, 19 Jul 2012 13:42:05 +0100] rev 611
update comments.

Thu, 19 Jul 2012 11:05:41 +0100fix bug: remove REAL from candidate datatypes when real constant has overflowed.
Mario de Sousa <msousa@fe.up.pt> [Thu, 19 Jul 2012 11:05:41 +0100] rev 610
fix bug: remove REAL from candidate datatypes when real constant has overflowed.

Wed, 18 Jul 2012 23:44:42 +0100signed integer limits do not affect ANY_INT constant values.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 23:44:42 +0100] rev 609
signed integer limits do not affect ANY_INT constant values.

Wed, 18 Jul 2012 23:43:57 +0100comment out un-used code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 23:43:57 +0100] rev 608
comment out un-used code.

Wed, 18 Jul 2012 22:34:51 +0100cleaning up code. Changing HUGE_VAL to INFINITY.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 22:34:51 +0100] rev 607
cleaning up code. Changing HUGE_VAL to INFINITY.

Wed, 18 Jul 2012 17:10:57 +0100Cleaning up the code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 17:10:57 +0100] rev 606
Cleaning up the code.

Wed, 18 Jul 2012 17:04:34 +0100Clean up the code a little.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 17:04:34 +0100] rev 605
Clean up the code a little.

Wed, 18 Jul 2012 16:56:36 +0100Fixing includes to define INTxx_MAX etc...
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 16:56:36 +0100] rev 604
Fixing includes to define INTxx_MAX etc...

Sat, 14 Jul 2012 11:09:26 +0200Add remove_from_candidate_datatype_list method using constant_folding results.
Manuele Conti <conti.ma@alice.it> [Sat, 14 Jul 2012 11:09:26 +0200] rev 603
Add remove_from_candidate_datatype_list method using constant_folding results.

Tue, 19 Jun 2012 18:55:43 +0100fix typo.
Mario de Sousa <msousa@fe.up.pt> [Tue, 19 Jun 2012 18:55:43 +0100] rev 602
fix typo.

Tue, 19 Jun 2012 11:23:30 +0100fix parsing of non base 10 constant values.
Mario de Sousa <msousa@fe.up.pt> [Tue, 19 Jun 2012 11:23:30 +0100] rev 601
fix parsing of non base 10 constant values.

Mon, 18 Jun 2012 16:11:00 +0100determine const value of hex, octal and bin literals correctly.
Mario de Sousa <msousa@fe.up.pt> [Mon, 18 Jun 2012 16:11:00 +0100] rev 600
determine const value of hex, octal and bin literals correctly.

Mon, 18 Jun 2012 15:52:09 +0100fix array bounds check.
Mario de Sousa <msousa@fe.up.pt> [Mon, 18 Jun 2012 15:52:09 +0100] rev 599
fix array bounds check.

Mon, 18 Jun 2012 15:37:37 +0100Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt> [Mon, 18 Jun 2012 15:37:37 +0100] rev 598
Fix stupid typos (in calculating array dimension)!

Sat, 16 Jun 2012 07:41:30 +0100Add file missing from previous commit.
Mario de Sousa <msousa@fe.up.pt> [Sat, 16 Jun 2012 07:41:30 +0100] rev 597
Add file missing from previous commit.

Fri, 15 Jun 2012 19:54:33 +0100Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc
Mario de Sousa <msousa@fe.up.pt> [Fri, 15 Jun 2012 19:54:33 +0100] rev 596
Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc

Thu, 14 Jun 2012 17:50:37 +0100Add independent extract_integer() function (preparing to remove extract_XXX() from absyntax_utils.cc)
Mario de Sousa <msousa@fe.up.pt> [Thu, 14 Jun 2012 17:50:37 +0100] rev 595
Add independent extract_integer() function (preparing to remove extract_XXX() from absyntax_utils.cc)

Thu, 14 Jun 2012 12:00:19 +0100Clean up code (remove parsing of integers in stage 4).
Mario de Sousa <msousa@fe.up.pt> [Thu, 14 Jun 2012 12:00:19 +0100] rev 594
Clean up code (remove parsing of integers in stage 4).

Wed, 13 Jun 2012 19:51:26 +0200Fix literal MACRO gcc compliant.
Manuele Conti <conti.ma@alice.it> [Wed, 13 Jun 2012 19:51:26 +0200] rev 593
Fix literal MACRO gcc compliant.

Wed, 13 Jun 2012 19:43:12 +0100Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
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.

Wed, 13 Jun 2012 14:21:30 +0100extract_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:21:30 +0100] rev 591
extract_int64() must not handle negation operation (was doing it incorrectly for INT64_MIN!)

Wed, 13 Jun 2012 14:07:41 +0100Add support for -INT64_MIN values in literals.
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.

Wed, 13 Jun 2012 13:50:46 +0100Make compiler portable (do not assume int64_t is long long int)
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)

Tue, 12 Jun 2012 22:46:51 +0200Add missing set overflow flag.
Manuele Conti <conti.ma@alice.it> [Tue, 12 Jun 2012 22:46:51 +0200] rev 588
Add missing set overflow flag.

Tue, 12 Jun 2012 22:32:09 +0200Fix extract_integer_value.
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)

Tue, 12 Jun 2012 17:15:24 +0100Fix typo (thanks Manuele)
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:15:24 +0100] rev 586
Fix typo (thanks Manuele)

Tue, 12 Jun 2012 17:12:09 +0100Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:12:09 +0100] rev 585
Remove potential access to NULL pointer.

Tue, 12 Jun 2012 17:07:40 +0100fix error message.
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:07:40 +0100] rev 584
fix error message.

Tue, 12 Jun 2012 17:00:00 +0100Fix array index bound check to consider uint64 indexes/limits.
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.

Tue, 12 Jun 2012 09:45:31 +0200Fix structure initialize.
Manuele conti <conti.ma@alice.it> [Tue, 12 Jun 2012 09:45:31 +0200] rev 582
Fix structure initialize.

Mon, 11 Jun 2012 22:38:36 +0200Add check array out of bound.
Manuele Conti <conti.ma@alice.it> [Mon, 11 Jun 2012 22:38:36 +0200] rev 581
Add check array out of bound.

Mon, 11 Jun 2012 18:48:58 +0100Code for debugging const_value annotations in abstract syntax tree.
Mario de Sousa <msousa@fe.up.pt> [Mon, 11 Jun 2012 18:48:58 +0100] rev 580
Code for debugging const_value annotations in abstract syntax tree.

Mon, 11 Jun 2012 15:58:44 +0100Fix 'overflow' detection for real64.
Mario de Sousa <msousa@fe.up.pt> [Mon, 11 Jun 2012 15:58:44 +0100] rev 579
Fix 'overflow' detection for real64.

Sun, 10 Jun 2012 21:51:16 +0100small bug fix.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 21:51:16 +0100] rev 578
small bug fix.

Sun, 10 Jun 2012 21:28:21 +0200Fix compare expression in constat folding class.
Manuele Conti <conti.ma@alice.it> [Sun, 10 Jun 2012 21:28:21 +0200] rev 577
Fix compare expression in constat folding class.

Sun, 10 Jun 2012 21:47:15 +0100Fix extract_real (thanks Manuele), and add check for overflow.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 21:47:15 +0100] rev 576
Fix extract_real (thanks Manuele), and add check for overflow.

Sun, 10 Jun 2012 15:54:10 +0100cleaning up the code...
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 15:54:10 +0100] rev 575
cleaning up the code...

Sun, 10 Jun 2012 15:38:24 +0100Fix remaining overflow checks.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 15:38:24 +0100] rev 574
Fix remaining overflow checks.

Sat, 09 Jun 2012 22:58:43 +0100remove incorrect include file.
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jun 2012 22:58:43 +0100] rev 573
remove incorrect include file.

Sat, 09 Jun 2012 22:55:29 +0100Correctly implement MOD operation and overflow checks (still missing uint * / MOD).
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jun 2012 22:55:29 +0100] rev 572
Correctly implement MOD operation and overflow checks (still missing uint * / MOD).

Sat, 09 Jun 2012 08:35:46 +0100Re-insert errno=0 before calling strtoXX() (thanks go to Manuele)
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jun 2012 08:35:46 +0100] rev 571
Re-insert errno=0 before calling strtoXX() (thanks go to Manuele)

Fri, 08 Jun 2012 19:47:45 +0100cosmetic changes.
Mario de Sousa <msousa@fe.up.pt> [Fri, 08 Jun 2012 19:47:45 +0100] rev 570
cosmetic changes.

Fri, 08 Jun 2012 19:44:32 +0100Add data structure for storing overflow of constant values.
Mario de Sousa <msousa@fe.up.pt> [Fri, 08 Jun 2012 19:44:32 +0100] rev 569
Add data structure for storing overflow of constant values.

Wed, 06 Jun 2012 16:39:54 +0100make the compiler platform independent (i.e. no longer assume sizeof(double)==8).
Mario de Sousa <msousa@fe.up.pt> [Wed, 06 Jun 2012 16:39:54 +0100] rev 568
make the compiler platform independent (i.e. no longer assume sizeof(double)==8).

Wed, 06 Jun 2012 13:28:50 +0100create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled!
Mario de Sousa <msousa@fe.up.pt> [Wed, 06 Jun 2012 13:28:50 +0100] rev 567
create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled!