Changeset 816 for src/CHANGES


Ignore:
Timestamp:
May 19, 2011, 3:06:42 PM (9 years ago)
Author:
campbell
Message:

Clight to Cminor compilation, modulo switch statements, temporary
generation, 32 to 8 bit translation and miscellaneous bugs.

Also, remove (unused) signatures from function call statements in Cminor
and RTLabs; and separate comparison of integers and pointers in Clight
semantics.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/CHANGES

    r774 r816  
    4949  One of the front end operations for subtraction (subpp) appears to be missing
    5050  from the prototype at present.
     51
     5219/05/2011:
     53  Dump Param var_type from the Clight to Cminor stage - we need to treat them
     54  like the other variables.
     55
     56  Generate list of pointer variables from Clight types rather than
     57  recalculation.
     58
     59  Drop signatures from function call statements in Cminor and RTLabs - they
     60  appear to be unused.
Note: See TracChangeset for help on using the changeset viewer.