Ignore:
Timestamp:
Nov 26, 2010, 5:38:04 PM (9 years ago)
Author:
sacerdot
Message:

REGISTER now takes a BitVector? 3

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/Status.ma

    r314 r316  
    728728      | ACC_B ⇒ λacc_b: True. get_8051_sfr s SFR_ACC_B
    729729      | DATA d ⇒ λdata: True. d
    730       | REGISTER r1 r2 r3 ⇒ λregister: True. get_register s r1 r2 r3
     730      | REGISTER r ⇒ λregister: True. get_register s r
    731731      | EXT_INDIRECT_DPTR ⇒
    732732        λext_indirect_dptr: True.
Note: See TracChangeset for help on using the changeset viewer.