Changeset 1065


Ignore:
Timestamp:
Jul 13, 2011, 4:02:54 PM (8 years ago)
Author:
campbell
Message:

Note a couple of deviations from the prototype.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/CHANGES

    r816 r1065  
    5959  Drop signatures from function call statements in Cminor and RTLabs - they
    6060  appear to be unused.
     61
     6213/07/2011:  [belatedly]
     63  Offsets haven't been abstracted in the front end.  They might be later if it
     64  turns out to be useful in the proofs.  (See the messages in the thread
     65  "32 and 16 bits integers support" from the 16th June 2011.)
     66
     67  The integer cast operation in the front end doesn't take the operand size.
     68  In keeping with the other operations, we deduce it from the operand.
     69  The sizes of the results are always mentioned so that they can be evaluated
     70  without consulting the type information (although this is a somewhat
     71  arbitrary decision).
     72
Note: See TracChangeset for help on using the changeset viewer.