Changeset 757 for src/ASM/I8051.ma


Ignore:
Timestamp:
Apr 18, 2011, 12:30:53 PM (9 years ago)
Author:
mulligan
Message:

Lots more fixing to get both front and backends using same conventions and types.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/I8051.ma

    r746 r757  
    140140definition RegisterSPH ≝ Register07.
    141141
    142 definition register_address: Register → [[ acc_a; direct; register ]] ≝
     142definition register_address: Register → [[ acc_a; direct; registr ]] ≝
    143143  λr: Register.
    144144    match r with
Note: See TracChangeset for help on using the changeset viewer.