Changes between Version 10 and Version 11 of OmnibusChanges


Ignore:
Timestamp:
08/03/13 15:58:49 (13 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • OmnibusChanges

    v10 v11  
    3737* any variable declaration with a compound type (struct, union, array) should be translated as follows:
    3838 * add the variable `v` to the current scope with the translated type `t` as usual
    39  * add an assignment statement at the current location: `v=InitialValue[v, DynamicTypeOf(t)]`
     39 * add an assignment statement at the current location: `v=InitialValue[v]`
    4040* define a method in the `Evaluator`, `SymbolicType getDynamicType(State s, Type t)`
    4141 * if `t` is a primitive type, map to the corresponding symbolic type