Thu, 08 Jan 2015 19:04:03 +0000 | mjsousa | Correctly analyse external<->global var compatibility when using variable sized arrays (TODO: does not yet work for FBs!) | changeset | files |
Tue, 30 Dec 2014 23:32:04 +0000 | mjsousa | Add comment about bug that needs to be fixed later on. | changeset | files |
Tue, 30 Dec 2014 23:31:36 +0000 | mjsousa | Break constant_folding_c in two classes: constant_folding_c and constant_propagation_c | changeset | files |
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 |