| Tue, 30 Dec 2014 22:58:52 +0000 | mjsousa | Add check whether the same constant var_external variable is initialised with two (or more) different constant values. | changeset | files |
| Tue, 30 Dec 2014 22:17:22 +0000 | mjsousa | Change algorithm for propagating VAR_GLOBAL constant values to corresponding VAR_EXTERNAL. | changeset | files |