Ignore:
Timestamp:
Apr 4, 2011, 5:18:15 PM (9 years ago)
Author:
ayache
Message:

New memory model and bug fixes in 8051 branch. Added primitive operations in interpreters from Clight to LIN.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ERTL/ERTL.mli

    r486 r740  
    121121
    122122  (* Load from external memory. Parameters are the destination register, the
    123      address registers, and the label of the next statement. *)
     123     address registers (low bytes first), and the label of the next
     124     statement. *)
    124125  | St_load of Register.t * Register.t * Register.t * Label.t
    125126
    126   (* Store to external memory. Parameters are the address registers, the source
    127      register, and the label of the next statement. *)
     127  (* Store to external memory. Parameters are the address registers (low bytes
     128     first), the source register, and the label of the next statement. *)
    128129  | St_store of Register.t * Register.t * Register.t * Label.t
    129130
Note: See TracChangeset for help on using the changeset viewer.