Changeset 722 for src/common


Ignore:
Timestamp:
Mar 29, 2011, 6:32:47 PM (10 years ago)
Author:
mulligan
Message:

Committing changes from today. Several files do not typecheck.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/AST.ma

    r714 r722  
    55include "utilities/Compare.ma".
    66
    7 definition Identifier ≝ Byte.
     7definition Identifier ≝ Word.
    88definition Immediate ≝ nat.
    99
     
    3232| Cast_StackOffset: Immediate → Cast.
    3333
     34(*
    3435inductive Op1: Type[0] ≝
    3536  Op1_Cast8U: Op1
     
    6768| Op2_ShR: Op2
    6869| Op2_ShRU: Op2
    69 (*
    7070| Op2_AddF: Op2
    7171| Op2_SubF: Op2
    7272| Op2_MulF: Op2
    7373| Op2_DivF: Op2
    74 *)
    7574| Op2_Cmp: Compare → Op2
    7675| Op2_CmpU: Compare → Op2
     
    8180| Op2_SubP: Op2
    8281| Op2_CmpP: Compare → Op2.
     82*)
    8383
    8484inductive Data: Type[0] ≝
Note: See TracChangeset for help on using the changeset viewer.