Changeset 990 for src/ASM/Status.ma


Ignore:
Timestamp:
Jun 17, 2011, 1:30:01 PM (9 years ago)
Author:
sacerdot
Message:

Do no longer use the daemon automatically :-)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Status.ma

    r985 r990  
    532532  in
    533533    set_8051_sfr ? status SFR_SP (bitvector_of_nat 8 7).
    534  
    535 axiom not_implemented: False.
    536534 
    537535definition get_bit_addressable_sfr ≝
Note: See TracChangeset for help on using the changeset viewer.