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/common/Registers.ma

    r738 r757  
    66include "ASM/BitVectorTrie.ma".
    77include "common/Identifiers.ma".
     8include "ASM/I8051.ma".
    89
    910axiom RegisterTag : String.
     
    1415
    1516definition register_env ≝ identifier_map RegisterTag.
     17
     18(* dpm: fix the Register/register mismatch *)
     19axiom Register_of_register: register → Register.
Note: See TracChangeset for help on using the changeset viewer.