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!

Wed, 06 Jun 2012 00:20:06 +0200Update constant folding: fixing minor bug.
Manuele Conti <conti.ma@alice.it> [Wed, 06 Jun 2012 00:20:06 +0200] rev 566
Update constant folding: fixing minor bug.

Wed, 06 Jun 2012 12:39:32 +0100Fix a few bugs of previous commit.
Mario de Sousa <msousa@fe.up.pt> [Wed, 06 Jun 2012 12:39:32 +0100] rev 565
Fix a few bugs of previous commit.

Tue, 05 Jun 2012 19:17:29 +0200Start constant_folding class.
Manuele Conti <conti.ma@alice.it> [Tue, 05 Jun 2012 19:17:29 +0200] rev 564
Start constant_folding class.

Tue, 05 Jun 2012 11:10:12 +0200little typo in last commited code
Andreas Graeper <agraeper@googemail.com> [Tue, 05 Jun 2012 11:10:12 +0200] rev 563
little typo in last commited code
add if(is_bool_type(sym)) this->bool_type->accept(*this) in generate_c_il_c::visit(il_default_variable_c*)
to get .BOOLvar instead of .FALSEvar resp. .TRUEvar ..

Mon, 04 Jun 2012 18:22:11 +0100Change return data type of array_dimension_iterator_c.next()
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Jun 2012 18:22:11 +0100] rev 562
Change return data type of array_dimension_iterator_c.next()

Wed, 16 May 2012 00:15:32 +0200Fix SFC stage4 error.
Manuele Conti <conti.ma@alice.it> [Wed, 16 May 2012 00:15:32 +0200] rev 561
Fix SFC stage4 error.

Tue, 15 May 2012 23:03:25 +0100Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt> [Tue, 15 May 2012 23:03:25 +0100] rev 560
Renamed class, remove unused code, delete allocated objects.

Tue, 15 May 2012 18:59:32 +0200Start sematinc range check class.
Manuele Conti <conti.ma@alice.it> [Tue, 15 May 2012 18:59:32 +0200] rev 559
Start sematinc range check class.

Tue, 15 May 2012 15:50:43 +0100Located variables may have other data types besides ANY_BIT.
mjsousa <msousa@fe.up.pt> [Tue, 15 May 2012 15:50:43 +0100] rev 558
Located variables may have other data types besides ANY_BIT.

Sun, 13 May 2012 17:57:15 +0200Add verify_is_lvalue to control_variable in for_statement.
Manuele Conti <conti.ma@alice.it> [Sun, 13 May 2012 17:57:15 +0200] rev 557
Add verify_is_lvalue to control_variable in for_statement.

Thu, 10 May 2012 22:03:59 +0100Remove useless code, and replace with assertion.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 22:03:59 +0100] rev 556
Remove useless code, and replace with assertion.

Thu, 10 May 2012 19:20:18 +0100Fix bug: initialise un-initialised variable.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 19:20:18 +0100] rev 555
Fix bug: initialise un-initialised variable.

Thu, 10 May 2012 19:09:02 +0100Delete incorrect comment.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 19:09:02 +0100] rev 554
Delete incorrect comment.

Thu, 10 May 2012 16:15:27 +0100Add some comments...
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 16:15:27 +0100] rev 553
Add some comments...

Thu, 10 May 2012 16:09:50 +0100Add high level comments.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 16:09:50 +0100] rev 552
Add high level comments.

Thu, 10 May 2012 15:40:19 +0100Fix comment.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 15:40:19 +0100] rev 551
Fix comment.