Changeset 354


Ignore:
Timestamp:
Dec 1, 2010, 6:49:36 PM (9 years ago)
Author:
mulligan
Message:

Everything compiles. Doesn't jump correctly still.

Location:
Deliverables/D4.1/Matita
Files:
3 edited

Legend:

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

    r353 r354  
    513513                         Z                                      (* Clock.    *)
    514514  in
    515     set_8051_sfr status SFR_SP (bitvector_of_nat sixteen seven).
     515    set_8051_sfr status SFR_SP (bitvector_of_nat eight seven).
    516516 
    517517naxiom not_implemented: False.
  • Deliverables/D4.1/Matita/Test.ma

    r352 r354  
    1 include "Interpret.ma".
    21include "Assembly.ma".
    32
  • Deliverables/D4.1/Matita/depends

    r352 r354  
    1111Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    1212Char.ma Universes.ma
    13 Test.ma Assembly.ma Interpret.ma
     13Test.ma Assembly.ma
    1414Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Util.ma
    1515Connectives.ma Plogic/equality.ma
Note: See TracChangeset for help on using the changeset viewer.