Changeset 1635 for src/ASM/I8051.ma
- Timestamp:
- Jan 7, 2012, 12:33:17 AM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/I8051.ma
r1600 r1635 20 20 inductive Op1: Type[0] ≝ 21 21 Cmpl: Op1 22 | Inc: Op1. 22 | Inc: Op1 23 | Rl: Op1. (* TODO: implement left rotation *) 23 24 24 25 inductive Op2: Type[0] ≝
Note: See TracChangeset
for help on using the changeset viewer.