Sat, 13 Oct 2012 12:13:49 +0100Move is_datatype_valid/equal() to get_datatype_info_c
Mario de Sousa <msousa@fe.up.pt> [Sat, 13 Oct 2012 12:13:49 +0100] rev 676
Move is_datatype_valid/equal() to get_datatype_info_c

Thu, 11 Oct 2012 19:16:35 +0100Fix bug related to support of SAFE datatypes.
Mario de Sousa <msousa@fe.up.pt> [Thu, 11 Oct 2012 19:16:35 +0100] rev 675
Fix bug related to support of SAFE datatypes.

Sun, 07 Oct 2012 09:45:54 +0100Set datatype of il_intruction_c objects containing an ST operator.
Mario de Sousa <msousa@fe.up.pt> [Sun, 07 Oct 2012 09:45:54 +0100] rev 674
Set datatype of il_intruction_c objects containing an ST operator.

Sun, 07 Oct 2012 09:33:42 +0100Delete unused variables.
Mario de Sousa <msousa@fe.up.pt> [Sun, 07 Oct 2012 09:33:42 +0100] rev 673
Delete unused variables.

Sat, 06 Oct 2012 22:29:04 +0100Use doubly linked connections for flow control graph (will be used later).
Mario de Sousa <msousa@fe.up.pt> [Sat, 06 Oct 2012 22:29:04 +0100] rev 672
Use doubly linked connections for flow control graph (will be used later).

Thu, 04 Oct 2012 18:54:15 +0100Remove deprecated search_expression_type_c
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 18:54:15 +0100] rev 671
Remove deprecated search_expression_type_c

Thu, 04 Oct 2012 18:50:21 +0100Deprecate use of search_expression_type_c (prepare for complete removal!).
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 18:50:21 +0100] rev 670
Deprecate use of search_expression_type_c (prepare for complete removal!).

Thu, 04 Oct 2012 18:29:26 +0100Deprecate use of search_expression_type_c (prepare for complete removal!)
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 18:29:26 +0100] rev 669
Deprecate use of search_expression_type_c (prepare for complete removal!)

Thu, 04 Oct 2012 16:53:02 +0100Deprecating use of search_expression_type_c, so it may later be deleted!
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 16:53:02 +0100] rev 668
Deprecating use of search_expression_type_c, so it may later be deleted!

Thu, 04 Oct 2012 15:10:45 +0100Merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 15:10:45 +0100] rev 667
Merge

Thu, 04 Oct 2012 14:30:51 +0100Add new get_datatype_info_c (preparing to remove search_expression_type_c)
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 14:30:51 +0100] rev 666
Add new get_datatype_info_c (preparing to remove search_expression_type_c)

Thu, 04 Oct 2012 13:12:19 +0100Delete declaration of unused & undeclared functions.
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 13:12:19 +0100] rev 665
Delete declaration of unused & undeclared functions.

Wed, 03 Oct 2012 17:44:25 +0100Delete class elements that are not used (clean up code).
Mario de Sousa <msousa@fe.up.pt> [Wed, 03 Oct 2012 17:44:25 +0100] rev 664
Delete class elements that are not used (clean up code).

Fri, 28 Sep 2012 23:59:28 +0200Add check whether external var matches to global var.
Manuele Conti <conti.ma@alice.it> [Fri, 28 Sep 2012 23:59:28 +0200] rev 663
Add check whether external var matches to global var.

Thu, 27 Sep 2012 18:14:52 +0100Also check FB passed as parameters in FB/Function calls (Thanks Andreas!)
Mario de Sousa <msousa@fe.up.pt> [Thu, 27 Sep 2012 18:14:52 +0100] rev 662
Also check FB passed as parameters in FB/Function calls (Thanks Andreas!)

Wed, 26 Sep 2012 20:12:39 +0200Minor changes needed to build with pedantic flag.
Manuele Conti <conti.ma@alice.it> [Wed, 26 Sep 2012 20:12:39 +0200] rev 661
Minor changes needed to build with pedantic flag.

Fri, 21 Sep 2012 09:54:10 +0100Also check external/global variable consistency in configurations and FBs.
Mario de Sousa <msousa@fe.up.pt> [Fri, 21 Sep 2012 09:54:10 +0100] rev 660
Also check external/global variable consistency in configurations and FBs.

Fri, 21 Sep 2012 09:53:20 +0100add method for printing class_name. USE ONLY FOR DEBUGING!
Mario de Sousa <msousa@fe.up.pt> [Fri, 21 Sep 2012 09:53:20 +0100] rev 659
add method for printing class_name. USE ONLY FOR DEBUGING!

Wed, 19 Sep 2012 11:23:15 +0100store POU reference to POU declaration instead of global var declarations.
Mario de Sousa <msousa@fe.up.pt> [Wed, 19 Sep 2012 11:23:15 +0100] rev 658
store POU reference to POU declaration instead of global var declarations.

Tue, 18 Sep 2012 14:21:19 +0200Start declaration check class.
Manuele Conti <manuele.conti@sirius-es.it> [Tue, 18 Sep 2012 14:21:19 +0200] rev 657
Start declaration check class.

Fri, 14 Sep 2012 23:35:18 +0200Start declaration check class.
Manuele Conti <conti.ma@alice.it> [Fri, 14 Sep 2012 23:35:18 +0200] rev 656
Start declaration check class.

Thu, 13 Sep 2012 17:12:40 +0100Adjust coding style.
Mario de Sousa <msousa@fe.up.pt> [Thu, 13 Sep 2012 17:12:40 +0100] rev 655
Adjust coding style.

Sat, 08 Sep 2012 10:44:04 +0100list_c: initial capacity. ERROR_MSG(msg,...) supports optional arguments now.
agraeper [Sat, 08 Sep 2012 10:44:04 +0100] rev 654
list_c: initial capacity. ERROR_MSG(msg,...) supports optional arguments now.

Fri, 31 Aug 2012 19:30:48 +0100Deleting datatype checks no longer needed (with a view of making search_expression_type_c redundant).
Mario de Sousa <msousa@fe.up.pt> [Fri, 31 Aug 2012 19:30:48 +0100] rev 653
Deleting datatype checks no longer needed (with a view of making search_expression_type_c redundant).

Fri, 31 Aug 2012 15:09:25 +0100Start adding support for data type checking of enums.
Mario de Sousa <msousa@fe.up.pt> [Fri, 31 Aug 2012 15:09:25 +0100] rev 652
Start adding support for data type checking of enums.

Fri, 31 Aug 2012 10:11:19 +0100Remove comment no longer valid since introduction of constant folding.
Mario de Sousa <msousa@fe.up.pt> [Fri, 31 Aug 2012 10:11:19 +0100] rev 651
Remove comment no longer valid since introduction of constant folding.

Thu, 30 Aug 2012 16:44:29 +0100Add some comments.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 16:44:29 +0100] rev 650
Add some comments.

Thu, 30 Aug 2012 15:06:32 +0200Update configure script.
Manuele Conti <manuele.conti@sirius-es.it> [Thu, 30 Aug 2012 15:06:32 +0200] rev 649
Update configure script.

Thu, 30 Aug 2012 13:35:15 +0100More precise handling of const value status.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:35:15 +0100] rev 648
More precise handling of const value status.

Thu, 30 Aug 2012 13:08:02 +0100Fix bug in checking array ranges.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:08:02 +0100] rev 647
Fix bug in checking array ranges.

Thu, 30 Aug 2012 13:06:54 +0100Add more info to error messages.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:06:54 +0100] rev 646
Add more info to error messages.

Thu, 30 Aug 2012 13:04:30 +0100Allow the use of PRId64, PRIu64 and PRIx64 printf formating macros globally.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:04:30 +0100] rev 645
Allow the use of PRId64, PRIu64 and PRIx64 printf formating macros globally.

Wed, 29 Aug 2012 21:52:33 +0100Merge.
Mario de Sousa <msousa@fe.up.pt> [Wed, 29 Aug 2012 21:52:33 +0100] rev 644
Merge.

Wed, 29 Aug 2012 19:38:15 +0100Fix constant folding: now handles INT_MIN and neg_integer_c correctly.
Mario de Sousa <msousa@fe.up.pt> [Wed, 29 Aug 2012 19:38:15 +0100] rev 643
Fix constant folding: now handles INT_MIN and neg_integer_c correctly.

Tue, 28 Aug 2012 22:37:26 +0200Replace test bison version without bash regular expression.
Manuele Conti <conti.ma@alice.it> [Tue, 28 Aug 2012 22:37:26 +0200] rev 642
Replace test bison version without bash regular expression.
Tested on OS X 10.8 - Linux Ubuntu 12.4 - MinGW.

Thu, 16 Aug 2012 22:44:38 +0200Fix Segmentation Fault FB var declaration in a single list.
Manuele Conti <conti.ma@alice.it> [Thu, 16 Aug 2012 22:44:38 +0200] rev 641
Fix Segmentation Fault FB var declaration in a single list.

Mon, 27 Aug 2012 17:58:07 +0100Add some comments.
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Aug 2012 17:58:07 +0100] rev 640
Add some comments.

Thu, 25 Oct 2012 11:09:06 +0200Fix some warning about loss of precision data in iec_std_lib.h file.
Edouard Tisserant [Thu, 25 Oct 2012 11:09:06 +0200] rev 639
Fix some warning about loss of precision data in iec_std_lib.h file.

Tue, 23 Oct 2012 11:32:49 +0200Fix bug with NE function for STRING variables
Laurent Bessard [Tue, 23 Oct 2012 11:32:49 +0200] rev 638
Fix bug with NE function for STRING variables

Mon, 22 Oct 2012 23:08:54 +0200Fix bug in code for pragma with double brackets
Laurent Bessard [Mon, 22 Oct 2012 23:08:54 +0200] rev 637
Fix bug in code for pragma with double brackets

Mon, 22 Oct 2012 17:44:40 +0200Merged
Laurent Bessard [Mon, 22 Oct 2012 17:44:40 +0200] rev 636
Merged

Sun, 21 Oct 2012 16:55:08 +0200Adding support for direct array declaration in structure element declaration
Laurent Bessard [Sun, 21 Oct 2012 16:55:08 +0200] rev 635
Adding support for direct array declaration in structure element declaration

Fri, 19 Oct 2012 12:10:32 +0200Added double curly braces for pragma (kept single curly braces for compatibility). Added macro def and undef surrounding pragma to simplify user code. Moved useless comment from generated code back to code generator.
Edouard Tisserant [Fri, 19 Oct 2012 12:10:32 +0200] rev 634
Added double curly braces for pragma (kept single curly braces for compatibility). Added macro def and undef surrounding pragma to simplify user code. Moved useless comment from generated code back to code generator.

Thu, 13 Sep 2012 16:35:10 +0200Fix bug with task interval using fixed_point value for duration items
Laurent Bessard [Thu, 13 Sep 2012 16:35:10 +0200] rev 633
Fix bug with task interval using fixed_point value for duration items

Thu, 13 Sep 2012 15:14:55 +0200Adding error message when task interval value is not supported
Laurent Bessard [Thu, 13 Sep 2012 15:14:55 +0200] rev 632
Adding error message when task interval value is not supported

Thu, 13 Sep 2012 09:55:00 +0200Adding error message when task interval value is not supported
Laurent Bessard [Thu, 13 Sep 2012 09:55:00 +0200] rev 631
Adding error message when task interval value is not supported

Wed, 12 Sep 2012 01:14:38 +0200Fix bug SFC action index declarations were different in POUS.c and VARIABLES.csv when boolean variables are used as action name in step action association
Laurent Bessard [Wed, 12 Sep 2012 01:14:38 +0200] rev 630
Fix bug SFC action index declarations were different in POUS.c and VARIABLES.csv when boolean variables are used as action name in step action association

Tue, 11 Sep 2012 16:27:33 +0200Fix generated code when using boolean variable as action name in step action association
Laurent Bessard [Tue, 11 Sep 2012 16:27:33 +0200] rev 629
Fix generated code when using boolean variable as action name in step action association

Tue, 11 Sep 2012 01:05:24 +0200Fix bug in SFC generated code. Action state was declared in the list of variables to debug, but wasn't stored using structure with flags. This error had side effects that makes Beremiz debug crash.
Laurent Bessard [Tue, 11 Sep 2012 01:05:24 +0200] rev 628
Fix bug in SFC generated code. Action state was declared in the list of variables to debug, but wasn't stored using structure with flags. This error had side effects that makes Beremiz debug crash.

Tue, 04 Sep 2012 18:02:06 +0200Adding support for P0 and P1 qualifiers and fixing code generated for SL qualifier
Laurent Bessard [Tue, 04 Sep 2012 18:02:06 +0200] rev 627
Adding support for P0 and P1 qualifiers and fixing code generated for SL qualifier

Sat, 01 Sep 2012 16:27:24 +0200Fixed VARIABLES.csv, was broken when using enumrated types
Edouard Tisserant [Sat, 01 Sep 2012 16:27:24 +0200] rev 626
Fixed VARIABLES.csv, was broken when using enumrated types

Wed, 22 Aug 2012 16:46:17 +0200Merge with c2546c6e0cfa5ad55b288895f17f1b9f2a228f3b
Laurent Bessard [Wed, 22 Aug 2012 16:46:17 +0200] rev 625
Merge with c2546c6e0cfa5ad55b288895f17f1b9f2a228f3b

Fri, 17 Aug 2012 19:03:13 +0100Moving function to correct location (formating only).
Mario de Sousa <msousa@fe.up.pt> [Fri, 17 Aug 2012 19:03:13 +0100] rev 624
Moving function to correct location (formating only).

Sat, 04 Aug 2012 09:59:52 +0200Fix bug in code generation for FB IN_OUT structured parameter.
Manuele Conti <conti.ma@alice.it> [Sat, 04 Aug 2012 09:59:52 +0200] rev 623
Fix bug in code generation for FB IN_OUT structured parameter.

Mon, 30 Jul 2012 22:59:00 +0200Add check bison version in configure.ac file.
Manuele Conti <conti.ma@alice.it> [Mon, 30 Jul 2012 22:59:00 +0200] rev 622
Add check bison version in configure.ac file.
To build correctly matiec we need bison greater or equals than 2.4 version.
Now the "configure" script is able to check if system has correctly requirements.

Thu, 16 Aug 2012 18:28:23 +0100Remove remaining signed/unsigned comparison error messages when compiling.
Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Aug 2012 18:28:23 +0100] rev 621
Remove remaining signed/unsigned comparison error messages when compiling.

Fri, 20 Jul 2012 23:18:32 +0200Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it> [Fri, 20 Jul 2012 23:18:32 +0200] rev 620
Remove warning about comparisons between int and unsigned int.

Wed, 01 Aug 2012 10:31:14 +0100Support for data types of STEP.T and STEP.X in SFCs
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Aug 2012 10:31:14 +0100] rev 619
Support for data types of STEP.T and STEP.X in SFCs

Wed, 01 Aug 2012 09:05:25 +0100Remove dead code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Aug 2012 09:05:25 +0100] rev 618
Remove dead code.

Wed, 01 Aug 2012 08:33:58 +0100Change code formatting (alignment)
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Aug 2012 08:33:58 +0100] rev 617
Change code formatting (alignment)

Tue, 31 Jul 2012 12:39:04 +0100Aloow use of SFC STEPs as variables.
Mario de Sousa <msousa@fe.up.pt> [Tue, 31 Jul 2012 12:39:04 +0100] rev 616
Aloow use of SFC STEPs as variables.

Sat, 28 Jul 2012 09:07:55 +0100Check lvalues in expressions passed to Function/FB IN parameters.
Mario de Sousa <msousa@fe.up.pt> [Sat, 28 Jul 2012 09:07:55 +0100] rev 615
Check lvalues in expressions passed to Function/FB IN parameters.

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!

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.