2012-10-16Remove line printing debug info.
Mario de Sousa <msousa@fe.up.pt> [Tue, 16 Oct 2012 18:23:16 +0100] rev 679
Remove line printing debug info.

2012-10-16Add classes to print status of AST (use only for debugging!)
Mario de Sousa <msousa@fe.up.pt> [Tue, 16 Oct 2012 18:06:32 +0100] rev 678
Add classes to print status of AST (use only for debugging!)

2012-10-16Remove all remaining NULL (undefined) datatypes from IL code.
Mario de Sousa <msousa@fe.up.pt> [Tue, 16 Oct 2012 18:01:22 +0100] rev 677
Remove all remaining NULL (undefined) datatypes from IL code.

2012-10-13Move 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

2012-10-11Fix 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.

2012-10-07Set 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.

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

2012-10-06Use 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).

2012-10-04Remove 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

2012-10-04Deprecate 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!).

2012-10-04Deprecate 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!)

2012-10-04Deprecating 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!

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

2012-10-04Add 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)

2012-10-04Delete 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.

2012-10-03Delete 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).

2012-09-28Add 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.

2012-09-27Also 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!)

2012-09-26Minor 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.

2012-09-21Also 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.

2012-09-21add 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!

2012-09-19store 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.

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

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

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

2012-09-08list_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.

2012-08-31Deleting 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).

2012-08-31Start 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.

2012-08-31Remove 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.

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

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

2012-08-30More 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.

2012-08-30Fix 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.

2012-08-30Add 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.

2012-08-30Allow 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.

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

2012-08-29Fix 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.

2012-08-28Replace 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.

2012-08-16Fix 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.

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

2012-10-25Fix 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.

2012-10-23Fix 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

2012-10-22Fix 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

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

2012-10-21Adding 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

2012-10-19Added 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.

2012-09-13Fix 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

2012-09-13Adding 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

2012-09-13Adding 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

2012-09-11Fix 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

2012-09-11Fix 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

2012-09-10Fix 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.

2012-09-04Adding 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

2012-09-01Fixed 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

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

2012-08-17Moving 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).

2012-08-04Fix 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.

2012-07-30Add 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.

2012-08-16Remove 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.

2012-07-20Remove 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.

2012-08-01Support 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

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

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

2012-07-31Aloow 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.

2012-07-28Check 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.

2012-07-20Fix 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).

2012-07-20Remove 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).

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

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

2012-07-19fix 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.

2012-07-18signed 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.

2012-07-18comment 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.

2012-07-18cleaning 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.

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

2012-07-18Clean 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.

2012-07-18Fixing 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...

2012-07-14Add 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.

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

2012-06-19fix 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.

2012-06-18determine 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.

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

2012-06-18Fix 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)!

2012-06-16Add 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.

2012-06-15Add 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

2012-06-14Add 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)

2012-06-14Clean 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).

2012-06-13Fix 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.

2012-06-13Add '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.

2012-06-13extract_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!)

2012-06-13Add 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.

2012-06-13Make 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)

2012-06-12Add 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.

2012-06-12Fix 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)

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

2012-06-12Remove 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.

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

2012-06-12Fix 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.

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

2012-06-11Add 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.

2012-06-11Code 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.

2012-06-11Fix '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.

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

2012-06-10Fix 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.

2012-06-10Fix 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.

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

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

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

2012-06-09Correctly 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).

2012-06-09Re-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)

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

2012-06-08Add 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.

2012-06-06make 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).

2012-06-06create 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!

2012-06-05Update 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.

2012-06-06Fix 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.

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

2012-06-05little 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 ..

2012-06-04Change 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()

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

2012-05-15Renamed 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.

2012-05-15Start 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.

2012-05-15Located 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.

2012-05-13Add 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.

2012-05-10Remove 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.

2012-05-10Fix 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.

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

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

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

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

2012-05-09Fix the previous commit: check for errors in expressions used as subscripts.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 23:13:04 +0100] rev 550
Fix the previous commit: check for errors in expressions used as subscripts.

2012-05-09Fix data type check array subscript field.
Manuele Conti <conti.ma@alice.it> [Wed, 09 May 2012 20:05:57 +0200] rev 549
Fix data type check array subscript field.

2012-05-09Merge changes.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 23:04:03 +0100] rev 548
Merge changes.

2012-05-09Fix parsing os TIME literals & rename the extract_integer() function.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 23:00:10 +0100] rev 547
Fix parsing os TIME literals & rename the extract_integer() function.

2012-05-09Fix generation of output for iec2iec.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:59:10 +0100] rev 546
Fix generation of output for iec2iec.

2012-05-09Do not compile deleted files...
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:04:38 +0100] rev 545
Do not compile deleted files...

2012-05-09Do not compile deleted files...
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:04:07 +0100] rev 544
Do not compile deleted files...

2012-05-09ReDelete files - used in old method of supporting standard functions.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:03:05 +0100] rev 543
ReDelete files - used in old method of supporting standard functions.

2012-05-09Remove file (used for old method of supporting standard functions).
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 21:46:21 +0100] rev 542
Remove file (used for old method of supporting standard functions).

2012-04-27Add TODO list!
Mario de Sousa <msousa@fe.up.pt> [Fri, 27 Apr 2012 13:40:36 +0100] rev 541
Add TODO list!

2012-04-26Delete unecessary variable.
Mario de Sousa <msousa@fe.up.pt> [Thu, 26 Apr 2012 11:12:19 +0100] rev 540
Delete unecessary variable.

2012-05-03Fix __dt_to_timespec primitive function.
Conti Manuele <conti.ma@alice.it> [Thu, 03 May 2012 17:43:32 +0200] rev 539
Fix __dt_to_timespec primitive function.
Set tm_isdst = 0 to disable DayLight Savig Time.

2012-05-02Fix __dt_to_string primitive function.
Conti Manuele <manuele.conti@alice.it> [Wed, 02 May 2012 14:46:48 +0200] rev 538
Fix __dt_to_string primitive function.

2012-04-24Fix code generation about __INIT_GLOBAL_LOCATED.
Conti Manuele <manuele.conti@alice.it> [Tue, 24 Apr 2012 16:49:43 +0200] rev 537
Fix code generation about __INIT_GLOBAL_LOCATED.

2012-04-25Change constants into enums.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:56:25 +0100] rev 536
Change constants into enums.

2012-04-25Add lvalue checking for IL function and FB invocations.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:45:00 +0100] rev 535
Add lvalue checking for IL function and FB invocations.

2012-04-25Fix comment.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:44:23 +0100] rev 534
Fix comment.

2012-04-25Add clarifying comment.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:21:14 +0100] rev 533
Add clarifying comment.

2012-04-25Remove access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 15:56:45 +0100] rev 532
Remove access to NULL pointer.

2012-04-25Make temporary fix to is_complex() method.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 15:46:53 +0100] rev 531
Make temporary fix to is_complex() method.

2012-04-24Fix comment. (thanks go to Manuele for pointing it put).
Mario de Sousa <msousa@fe.up.pt> [Tue, 24 Apr 2012 19:17:53 +0100] rev 530
Fix comment. (thanks go to Manuele for pointing it put).

2012-04-23Stop lvalue checks after finding an error in the expression.
Mario de Sousa <msousa@fe.up.pt> [Mon, 23 Apr 2012 16:50:10 +0100] rev 529
Stop lvalue checks after finding an error in the expression.

2012-04-23Remove erroneous check for S1 and R1, and add missing declrataion.
Mario de Sousa <msousa@fe.up.pt> [Mon, 23 Apr 2012 16:44:05 +0100] rev 528
Remove erroneous check for S1 and R1, and add missing declrataion.

2012-04-21Start implement lvalue check in IL instruction.
Manuele Conti <conti.ma@alice.it> [Sat, 21 Apr 2012 17:42:07 +0200] rev 527
Start implement lvalue check in IL instruction.

2012-04-21Add lvalue check on fb invocation.
Manuele Conti <conti.ma@alice.it> [Sat, 21 Apr 2012 17:43:55 +0200] rev 526
Add lvalue check on fb invocation.

2012-04-19Literals are also part of expressions!
Mario de Sousa <msousa@fe.up.pt> [Thu, 19 Apr 2012 19:49:11 +0100] rev 525
Literals are also part of expressions!

2012-04-18Implement check_assignment_to_expression in lvalue_check_c class.
Conti Manuele <conti.ma@alice.it> [Wed, 18 Apr 2012 14:19:40 +0200] rev 524
Implement check_assignment_to_expression in lvalue_check_c class.

2012-04-18Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Apr 2012 15:44:00 +0100] rev 523
Remove potential access to NULL pointer.

2012-04-18Start having nicer stage 4 error messages.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Apr 2012 13:29:08 +0100] rev 522
Start having nicer stage 4 error messages.

2012-04-17Improve usability command line under windows.
Conti Manuele <conti.ma@alice.it> [Tue, 17 Apr 2012 17:41:58 +0200] rev 521
Improve usability command line under windows.

2012-04-17Ignore trailing EOLs when determining symbol location.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 17:59:02 +0100] rev 520
Ignore trailing EOLs when determining symbol location.
(Makes for niver error messages)

2012-04-17Add comment.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 14:21:31 +0100] rev 519
Add comment.

2012-04-17Fix Segmentation fault in check_assignment_to_output lvalue method.
Conti Manuele <conti.ma@alice.it> [Tue, 17 Apr 2012 14:17:07 +0100] rev 518
Fix Segmentation fault in check_assignment_to_output lvalue method.

2012-04-17Remove deprecated status for ANYTIME operations.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 10:11:45 +0100] rev 517
Remove deprecated status for ANYTIME operations.

2012-04-17Produce similar error messages in stage2 and stage3.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 09:58:06 +0100] rev 516
Produce similar error messages in stage2 and stage3.

2012-04-16Fix bug when handling code with data type errors.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 20:13:58 +0100] rev 515
Fix bug when handling code with data type errors.

2012-04-16Fix printing of data type errors in while and repeat statements.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 15:40:12 +0100] rev 514
Fix printing of data type errors in while and repeat statements.

2012-04-16Add lvalue check for non formal function invocations.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 15:27:53 +0100] rev 513
Add lvalue check for non formal function invocations.

2012-04-16Fixing check for assingment to FOR control variables.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 15:17:24 +0100] rev 512
Fixing check for assingment to FOR control variables.

2012-04-16Moving get_var_name_c into its own file.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 15:10:31 +0100] rev 511
Moving get_var_name_c into its own file.

2012-04-16Fixing check for assignment to output variables.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 14:41:07 +0100] rev 510
Fixing check for assignment to output variables.

2012-04-15Fixing some bugs in lvalue checking (other bugs remain - to be fixed later)
Mario de Sousa <msousa@fe.up.pt> [Sun, 15 Apr 2012 19:56:33 +0100] rev 509
Fixing some bugs in lvalue checking (other bugs remain - to be fixed later)

2012-04-14Add lvalue check class.
Manuele Conti <conti.ma@alice.it> [Sat, 14 Apr 2012 20:02:36 +0200] rev 508
Add lvalue check class.

2012-04-14Determine the modifiers (CONST, REATAIN) used when declaring a variable.
manuele.conti@sirius-es.it [Sat, 14 Apr 2012 18:05:50 +0100] rev 507
Determine the modifiers (CONST, REATAIN) used when declaring a variable.

2012-04-14Fix typo in comparison expression.
Mario de Sousa <msousa@fe.up.pt> [Sat, 14 Apr 2012 16:53:35 +0100] rev 506
Fix typo in comparison expression.

2012-04-14Removing code from search_varfb_instance_type_c (use search_var_instance_decl_c instead).
Mario de Sousa <msousa@fe.up.pt> [Sat, 14 Apr 2012 16:44:53 +0100] rev 505
Removing code from search_varfb_instance_type_c (use search_var_instance_decl_c instead).
(Preparing to delete search_varfb_instance_type_c in the future!)

2012-04-14Fix bug by expanding permissible data input of search_var_instance_decl_c
Mario de Sousa <msousa@fe.up.pt> [Sat, 14 Apr 2012 15:19:17 +0100] rev 504
Fix bug by expanding permissible data input of search_var_instance_decl_c
(this will also prepare us for removing search_varfb_instance_type_c in the future)

2012-04-13Edit formating and delete unused code.
Mario de Sousa <msousa@fe.up.pt> [Fri, 13 Apr 2012 13:05:44 +0100] rev 503
Edit formating and delete unused code.

2012-04-07Start data type checking of var declarations (including direct variables!)
Mario de Sousa <msousa@fe.up.pt> [Sat, 07 Apr 2012 16:14:17 +0100] rev 502
Start data type checking of var declarations (including direct variables!)

2012-04-03Delete incorrect comments I had inserted previously (confusing EQ and NE functions)
Mario de Sousa <msousa@fe.up.pt> [Tue, 03 Apr 2012 12:42:16 +0100] rev 501
Delete incorrect comments I had inserted previously (confusing EQ and NE functions)

2012-03-31merging with Lauren't changeset.
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 21:46:37 +0100] rev 500
merging with Lauren't changeset.

2012-03-31merge with Laurent's changeset (essentially ignore all changes).
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 21:36:17 +0100] rev 499
merge with Laurent's changeset (essentially ignore all changes).

2012-03-31merge with Laurent's changeset (essentially, ignore all changes).
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 21:34:20 +0100] rev 498
merge with Laurent's changeset (essentially, ignore all changes).

2012-03-31merging with Laurent's changes.
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 15:36:08 +0100] rev 497
merging with Laurent's changes.

2012-03-31merging with Laurent's change.
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 15:34:33 +0100] rev 496
merging with Laurent's change.

2012-03-31merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes)
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 15:30:38 +0100] rev 495
merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes)

2012-03-29Add coment warning about incorrect implementation of the NE standard function.
Mario de Sousa <msousa@fe.up.pt> [Thu, 29 Mar 2012 19:03:40 +0100] rev 494
Add coment warning about incorrect implementation of the NE standard function.

2012-03-29merging with Laurent's patch.
Mario de Sousa <msousa@fe.up.pt> [Thu, 29 Mar 2012 18:57:53 +0100] rev 493
merging with Laurent's patch.

2012-03-29Print correct error message when handling IL function calls.
Mario de Sousa <msousa@fe.up.pt> [Thu, 29 Mar 2012 15:39:38 +0100] rev 492
Print correct error message when handling IL function calls.

2012-03-15Edit error message.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 13:23:09 +0000] rev 491
Edit error message.

2012-03-15Add EXPT widen table.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 13:18:02 +0000] rev 490
Add EXPT widen table.

2012-03-15Some stupid code cleanups.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 12:50:44 +0000] rev 489
Some stupid code cleanups.

2012-03-15Some code cleanups.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 12:31:57 +0000] rev 488
Some code cleanups.

2012-03-14Clean up the code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 20:01:50 +0000] rev 487
Clean up the code.

2012-03-14Fix error messages of il function calls - it now prints out location info of first parameter.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 19:31:17 +0000] rev 486
Fix error messages of il function calls - it now prints out location info of first parameter.

2012-03-14Clean code for printing errors in expressions.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 11:31:07 +0000] rev 485
Clean code for printing errors in expressions.

2012-03-14Clean code for comparison operations & operators.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 11:14:41 +0000] rev 484
Clean code for comparison operations & operators.

2012-03-14Cleaning up XORN, ANDN, and ORN operator code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 10:51:49 +0000] rev 483
Cleaning up XORN, ANDN, and ORN operator code.

2012-03-14Cleaning up some code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 10:44:17 +0000] rev 482
Cleaning up some code.

2012-03-14Add 'widen' tables for AND, OR and XOR operations.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 10:26:03 +0000] rev 481
Add 'widen' tables for AND, OR and XOR operations.

2012-03-13Add MOD widening table, and some code clean-ups.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Mar 2012 19:04:07 +0000] rev 480
Add MOD widening table, and some code clean-ups.

2012-03-13Re-organizing the code.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Mar 2012 18:29:34 +0000] rev 479
Re-organizing the code.

2012-03-13Change setting of deprecated_operation from fill to narrow_candidate_datatypes_c.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Mar 2012 16:38:21 +0000] rev 478
Change setting of deprecated_operation from fill to narrow_candidate_datatypes_c.
Expand widening tables for ADD, SUB, MUL and DIV.

2012-03-13Clarify some details in the comments.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Mar 2012 12:39:09 +0000] rev 477
Clarify some details in the comments.

2012-03-11Add check widening status for IL operator.
Manuele Conti <conti.ma@alice.it> [Sun, 11 Mar 2012 22:21:47 +0100] rev 476
Add check widening status for IL operator.
Fix check widening status for ST expression.

2012-03-11Fix remaining 'widen' tables.
Mario de Sousa <msousa@fe.up.pt> [Sun, 11 Mar 2012 18:24:39 +0000] rev 475
Fix remaining 'widen' tables.

2012-03-11Fix some 'widen' table entries.
Mario de Sousa <msousa@fe.up.pt> [Sun, 11 Mar 2012 16:38:05 +0000] rev 474
Fix some 'widen' table entries.

2012-03-10Add a TODO comment.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:27:49 +0000] rev 473
Add a TODO comment.

2012-03-10Clean up code, and add support for 'safe' version of literals.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:21:41 +0000] rev 472
Clean up code, and add support for 'safe' version of literals.

2012-03-10Bringing comment up to date.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:21:04 +0000] rev 471
Bringing comment up to date.

2012-03-09Semantic verification of NOT operator.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 17:58:19 +0000] rev 470
Semantic verification of NOT operator.

2012-03-09Fix bug in building structured variables.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 10:52:23 +0000] rev 469
Fix bug in building structured variables.

2012-03-09Delete unecessary copy_candidate_datatype_list() function.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 10:51:56 +0000] rev 468
Delete unecessary copy_candidate_datatype_list() function.

2012-03-08Delete no longer needed copy_candidate_datatype_list() function.
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Mar 2012 19:14:45 +0000] rev 467
Delete no longer needed copy_candidate_datatype_list() function.

2012-03-08Narrow IL lists twice, in order to handle JMP to labels before the JMP itself.
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Mar 2012 18:57:55 +0000] rev 466
Narrow IL lists twice, in order to handle JMP to labels before the JMP itself.

2012-03-08Do not allow duplicate values in candidate datatype list.
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Mar 2012 18:57:14 +0000] rev 465
Do not allow duplicate values in candidate datatype list.

2012-03-03Handle JMP to labels preceding the JMP instruction itself.
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 20:42:48 +0000] rev 464
Handle JMP to labels preceding the JMP instruction itself.

2012-03-03Correctly handle JMP and RET IL operators in flow control analysis.
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 20:27:20 +0000] rev 463
Correctly handle JMP and RET IL operators in flow control analysis.

2012-03-03Fix filling candidate datatypes of JMP operations
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 13:07:00 +0000] rev 462
Fix filling candidate datatypes of JMP operations

2012-03-03Remove spurious printf()s, used during debugging session.
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 08:51:28 +0000] rev 461
Remove spurious printf()s, used during debugging session.

2012-03-02Add missing files.
Mario de Sousa <msousa@fe.up.pt> [Fri, 02 Mar 2012 17:59:20 +0000] rev 460
Add missing files.

2012-03-02Continue adding support for semantic verification of JMP and RET.
Mario de Sousa <msousa@fe.up.pt> [Fri, 02 Mar 2012 12:53:41 +0000] rev 459
Continue adding support for semantic verification of JMP and RET.

2012-03-01iAdd warning for deprecated operations.
Conti Manuele <conti.ma@alice.it> [Thu, 01 Mar 2012 10:28:27 +0000] rev 458
iAdd warning for deprecated operations.

2012-02-27Change prev_il_instruction to a vector<>
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Feb 2012 11:44:03 +0000] rev 457
Change prev_il_instruction to a vector<>

2012-02-27Some small cleanups.
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Feb 2012 11:28:51 +0000] rev 456
Some small cleanups.

2012-02-25Add support for semantic verification of CALC, CALCN, etc..
Mario de Sousa <msousa@fe.up.pt> [Sat, 25 Feb 2012 19:16:35 +0000] rev 455
Add support for semantic verification of CALC, CALCN, etc..

2012-02-23Finish support for semantic verification of IL paranthesised expressions.
Mario de Sousa <msousa@fe.up.pt> [Thu, 23 Feb 2012 13:25:49 +0000] rev 454
Finish support for semantic verification of IL paranthesised expressions.

2012-02-21More changes for support of semantic verification of il_expressions
Mario de Sousa <msousa@fe.up.pt> [Tue, 21 Feb 2012 17:39:57 +0000] rev 453
More changes for support of semantic verification of il_expressions

2012-02-20Start of support for IL expressions (parenthesis).
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 19:44:40 +0000] rev 452
Start of support for IL expressions (parenthesis).

2012-02-20Cleaning up the code.
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 17:52:01 +0000] rev 451
Cleaning up the code.

2012-02-20Fix a few more bugs related to FB/function calls in IL.
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 15:24:26 +0000] rev 450
Fix a few more bugs related to FB/function calls in IL.

2012-02-19Semantic verification: Add compatibility check for parameter direction in function invocation.
Mario de Sousa <msousa@fe.up.pt> [Sun, 19 Feb 2012 16:16:45 +0000] rev 449
Semantic verification: Add compatibility check for parameter direction in function invocation.

2012-02-18Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)
Mario de Sousa <msousa@fe.up.pt> [Sat, 18 Feb 2012 21:03:01 +0000] rev 448
Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)

2012-02-17Start of support for semantic verification of FB calls in IL using special IL instructions.
Mario de Sousa <msousa@fe.up.pt> [Fri, 17 Feb 2012 19:47:58 +0000] rev 447
Start of support for semantic verification of FB calls in IL using special IL instructions.

2012-02-17Delete some comments.
Mario de Sousa <msousa@fe.up.pt> [Fri, 17 Feb 2012 19:47:23 +0000] rev 446
Delete some comments.

2012-02-16Change name help function.
Conti Manuele <conti.ma@alice.it> [Thu, 16 Feb 2012 14:18:23 +0100] rev 445
Change name help function.

2012-02-16Update comments on general architecture.
Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Feb 2012 12:59:02 +0000] rev 444
Update comments on general architecture.

2012-02-16Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code.
Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Feb 2012 10:27:52 +0000] rev 443
Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code.

2012-02-13Code cleanup.
Mario de Sousa <msousa@fe.up.pt> [Mon, 13 Feb 2012 17:04:29 +0000] rev 442
Code cleanup.

2012-02-13Add printing of semantic errors when calling FB from IL.
Mario de Sousa <msousa@fe.up.pt> [Mon, 13 Feb 2012 16:29:55 +0000] rev 441
Add printing of semantic errors when calling FB from IL.

2012-02-12Fix typo error in some il visit in fill_candidate_datatypes_c class.
Manuele Conti <conti.ma@alice.it> [Sun, 12 Feb 2012 20:43:49 +0100] rev 440
Fix typo error in some il visit in fill_candidate_datatypes_c class.