Changeset 344


Ignore:
Timestamp:
Nov 30, 2010, 5:01:09 PM (9 years ago)
Author:
mulligan
Message:

Removed stray ncheck in Status.ma.

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

Legend:

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

    r343 r344  
    765765      ] (subaddressing_modein … a).
    766766     
    767 ncheck get_index_bv.
    768      
    769767ndefinition get_arg_8: Status → Bool → [[ direct ; indirect ; register ;
    770768                                          acc_a ; acc_b ; data ; acc_dptr ;
  • Deliverables/D4.1/Matita/depends

    r341 r344  
     1Exponential.ma Connectives.ma Nat.ma Plogic/equality.ma
     2Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    13Arithmetic.ma BitVector.ma Bool.ma Connectives.ma Exponential.ma List.ma Nat.ma Plogic/equality.ma Universes.ma
    2 Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    3 Exponential.ma Connectives.ma Nat.ma Plogic/equality.ma
    44BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
    55Cartesian.ma Universes.ma
     6Universes.ma
    67Maybe.ma Bool.ma Plogic/equality.ma Universes.ma
    78Either.ma Bool.ma Maybe.ma Universes.ma
    8 Universes.ma
    99ASM.ma BitVectorTrie.ma Either.ma String.ma
    10 Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Util.ma
    1110Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    1211Char.ma Universes.ma
    13 Test.ma Assembly.ma
     12Vector.ma Cartesian.ma List.ma Maybe.ma Nat.ma Plogic/equality.ma Util.ma
    1413Connectives.ma Plogic/equality.ma
    1514Bool.ma Universes.ma
    1615Assembly.ma ASM.ma
    1716List.ma Bool.ma Maybe.ma Nat.ma Plogic/equality.ma Universes.ma Util.ma
     17Interpret.ma Arithmetic.ma Cartesian.ma Fetch.ma List.ma Status.ma
    1818Util.ma Nat.ma
    19 Interpret.ma Arithmetic.ma Cartesian.ma List.ma Status.ma
     19Compare.ma Universes.ma
    2020BitVector.ma Bool.ma List.ma Nat.ma Universes.ma Vector.ma
    21 Compare.ma Universes.ma
    2221String.ma Char.ma List.ma
    2322Plogic/equality.ma Universes.ma
Note: See TracChangeset for help on using the changeset viewer.