Thu, 27 Nov 2014 13:26:58 +0000Update the comments in source code.
mjsousa [Thu, 27 Nov 2014 13:26:58 +0000] rev 950
Update the comments in source code.

Wed, 26 Nov 2014 19:47:54 +0000Fix bug introduced when adding support for relaxed datatype model. Code cleanup.
mjsousa [Wed, 26 Nov 2014 19:47:54 +0000] rev 949
Fix bug introduced when adding support for relaxed datatype model. Code cleanup.

Sun, 23 Nov 2014 09:41:16 +0000Fix main state machine in flex (states were being pushed without being poped from the stack)
mjsousa [Sun, 23 Nov 2014 09:41:16 +0000] rev 948
Fix main state machine in flex (states were being pushed without being poped from the stack)

Sun, 16 Nov 2014 15:37:12 +0000merge
mjsousa [Sun, 16 Nov 2014 15:37:12 +0000] rev 947
merge

Sun, 16 Nov 2014 14:46:52 +0000Make the relaxed datatype model a runtime option (off by default)
mjsousa [Sun, 16 Nov 2014 14:46:52 +0000] rev 946
Make the relaxed datatype model a runtime option (off by default)

Sun, 16 Nov 2014 12:54:10 +0000Add support for relaxed datatype model for array datatypes.
mjsousa [Sun, 16 Nov 2014 12:54:10 +0000] rev 945
Add support for relaxed datatype model for array datatypes.

Sun, 09 Nov 2014 22:02:34 +0000fix bug introduced a few commits ago: do not print the first char ('%') of a direct_variable_c (e.g. skip % in %IW4.2)
mjsousa [Sun, 09 Nov 2014 22:02:34 +0000] rev 944
fix bug introduced a few commits ago: do not print the first char ('%') of a direct_variable_c (e.g. skip % in %IW4.2)

Sat, 25 Oct 2014 13:20:10 +0100fix code generation when dereferencing pointers (ref_to) to arrays (ref_to_array^[5])
mjsousa [Sat, 25 Oct 2014 13:20:10 +0100] rev 943
fix code generation when dereferencing pointers (ref_to) to arrays (ref_to_array^[5])

Sat, 25 Oct 2014 13:17:12 +0100Fix bug: set the scope annotation in deref_operators used inside structs
mjsousa [Sat, 25 Oct 2014 13:17:12 +0100] rev 942
Fix bug: set the scope annotation in deref_operators used inside structs

Sat, 25 Oct 2014 11:28:48 +0100Editing of error message to make it more clear.
mjsousa [Sat, 25 Oct 2014 11:28:48 +0100] rev 941
Editing of error message to make it more clear.

Sat, 25 Oct 2014 11:21:40 +0100Filling of symbol->scope annotation moved from narrow to fill_candidate_datatypes_c (became possible because narrowing of struct, array and symbolic variables is now done directly in fill_candidate_datatypes_c)
mjsousa [Sat, 25 Oct 2014 11:21:40 +0100] rev 940
Filling of symbol->scope annotation moved from narrow to fill_candidate_datatypes_c (became possible because narrowing of struct, array and symbolic variables is now done directly in fill_candidate_datatypes_c)

Sat, 25 Oct 2014 11:15:55 +0100fill_candidate_datatypes_c now uses search_varinstance_decl_c instead of search_varfb_instance_type_c (moving towards deprecation of search_varfb_instance_type_c)
mjsousa [Sat, 25 Oct 2014 11:15:55 +0100] rev 939
fill_candidate_datatypes_c now uses search_varinstance_decl_c instead of search_varfb_instance_type_c (moving towards deprecation of search_varfb_instance_type_c)

Sun, 19 Oct 2014 21:30:58 +0100Do the full fill_candidate/narrow_datatype algorithm for all fields of a structured variable in the fill_candidate_datatypes_c
mjsousa [Sun, 19 Oct 2014 21:30:58 +0100] rev 938
Do the full fill_candidate/narrow_datatype algorithm for all fields of a structured variable in the fill_candidate_datatypes_c
Allows us to remove temporary code from the search_varfb_decl_c

Sun, 19 Oct 2014 11:53:36 +0100Fix bug with multple dereferencing (bool_var := bool_ptr_ptr^^;)
mjsousa [Sun, 19 Oct 2014 11:53:36 +0100] rev 937
Fix bug with multple dereferencing (bool_var := bool_ptr_ptr^^;)