| Sat, 25 Oct 2014 11:28:48 +0100 | mjsousa | Editing of error message to make it more clear. | changeset | files |
| 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 |