Changeset 1635 for src/ASM/I8051.ma


Ignore:
Timestamp:
Jan 7, 2012, 12:33:17 AM (8 years ago)
Author:
tranquil
Message:
  • lists with binders and monads
  • Joint.ma and other temprarily forked, awaiting feedback from Claudio
  • translation of RTLabs → RTL refactored with new tools
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ASM/I8051.ma

    r1600 r1635  
    2020inductive Op1: Type[0] ≝
    2121  Cmpl: Op1
    22 | Inc: Op1.
     22| Inc: Op1
     23| Rl: Op1. (* TODO: implement left rotation *)
    2324
    2425inductive Op2: Type[0] ≝
Note: See TracChangeset for help on using the changeset viewer.