Changeset 316 for Deliverables/D4.1/Matita/ASM.ma
- Timestamp:
- Nov 26, 2010, 5:38:04 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/Matita/ASM.ma
r297 r316 7 7 | INDIRECT: Bit → addressing_mode 8 8 | EXT_INDIRECT: Bit → addressing_mode 9 | REGISTER: Bit → Bit → Bit→ addressing_mode9 | REGISTER: BitVector (S (S (S Z))) → addressing_mode 10 10 | ACC_A: addressing_mode 11 11 | ACC_B: addressing_mode … … 51 51 | indirect ⇒ match A with [ INDIRECT _ ⇒ true | _ ⇒ false ] 52 52 | ext_indirect ⇒ match A with [ EXT_INDIRECT _ ⇒ true | _ ⇒ false ] 53 | register ⇒ match A with [ REGISTER _ _ _⇒ true | _ ⇒ false ]53 | register ⇒ match A with [ REGISTER _ ⇒ true | _ ⇒ false ] 54 54 | acc_a ⇒ match A with [ ACC_A ⇒ true | _ ⇒ false ] 55 55 | acc_b ⇒ match A with [ ACC_B ⇒ true | _ ⇒ false ]
Note: See TracChangeset
for help on using the changeset viewer.