| Sat, 25 Oct 2014 11:21:40 +0100 | mjsousa | 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) | changeset | files |
| Sat, 25 Oct 2014 11:15:55 +0100 | mjsousa | 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) | changeset | files |
| Sun, 19 Oct 2014 21:30:58 +0100 | mjsousa | Do the full fill_candidate/narrow_datatype algorithm for all fields of a structured variable in the fill_candidate_datatypes_c | changeset | files |
| Sun, 19 Oct 2014 11:53:36 +0100 | mjsousa | Fix bug with multple dereferencing (bool_var := bool_ptr_ptr^^;) | changeset | files |