Ignore:
Timestamp:
Apr 4, 2011, 5:13:10 PM (9 years ago)
Author:
campbell
Message:

Use lower case names for identifiers for consistency with CompCert? derived code
and to prevent confusion with the back-end equivalents until they're all merged.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Registers.ma

    r736 r738  
    99axiom RegisterTag : String.
    1010
    11 definition register ≝ Identifier RegisterTag.
     11definition register ≝ identifier RegisterTag.
    1212
    1313definition register_eq : ∀x,y:register. (x=y) + (x≠y) ≝ identifier_eq ?.
    1414
    15 definition register_env ≝ IdentifierMap RegisterTag.
     15definition register_env ≝ identifier_map RegisterTag.
Note: See TracChangeset for help on using the changeset viewer.