Wed, 24 Dec 2014 13:19:53 +0000 mjsousa Do constant propagation to symbolic_variables, and correctly handle constant folding and propagation of variable declarations.
Wed, 17 Dec 2014 13:47:37 +0000 mjsousa When generating C code, use the const_value of a symbolic_variable when it is used in a subrange.