Ignore:
Timestamp:
Dec 1, 2010, 6:40:15 PM (11 years ago)
Author:
mulligan
Message:
  • pc was initialized to 7 in place of sp
  • bitvector_of_nat was totally bugged: fixed
File:
1 edited

Legend:

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

    r352 r353  
    513513                         Z                                      (* Clock.    *)
    514514  in
    515     set_program_counter status (bitvector_of_nat sixteen seven).
     515    set_8051_sfr status SFR_SP (bitvector_of_nat sixteen seven).
    516516 
    517517naxiom not_implemented: False.
Note: See TracChangeset for help on using the changeset viewer.