Changeset 646


Ignore:
Timestamp:
Mar 7, 2011, 5:29:04 PM (9 years ago)
Author:
mulligan
Message:

Got Search.ma working with Matita emulator.

Location:
Deliverables/D4.1/Demo-March-2011/matita
Files:
1 added
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Demo-March-2011/matita/DoTest.ma

    r644 r646  
    1 include "Test.ma".
     1include "Search.ma".
    22include "Interpret.ma".
    33include "Assembly.ma".
    44
    5 ndefinition steps ≝ one_hundred_and_twenty_eight.
     5ndefinition steps ≝ sixteen.
    66
    77ndefinition testmem ≝ assembly_unlabelled_program test.
  • Deliverables/D4.1/Demo-March-2011/matita/depends

    r644 r646  
     1Exponential.ma Nat.ma
     2Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    13Arithmetic.ma BitVector.ma Exponential.ma
    2 Status.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    3 Exponential.ma Nat.ma
    44BitVectorTrie.ma BitVector.ma Bool.ma Maybe.ma
    55Cartesian.ma logic/pts.ma
    66Maybe.ma Bool.ma Plogic/equality.ma
    77Either.ma Bool.ma
    8 DoTest.ma Assembly.ma Interpret.ma Test.ma
     8DoTest.ma Assembly.ma Interpret.ma Search.ma
    99ASM.ma BitVector.ma Either.ma String.ma
    10 Vector.ma List.ma Nat.ma
    1110Fetch.ma ASM.ma Arithmetic.ma BitVectorTrie.ma
    1211Char.ma logic/pts.ma
    1312Test.ma ASM.ma
     13Vector.ma List.ma Nat.ma
     14Search.ma ASM.ma
    1415Connectives.ma Plogic/equality.ma
    1516Bool.ma logic/pts.ma
    1617Assembly.ma ASM.ma Arithmetic.ma BitVectorTrie.ma Fetch.ma Status.ma
    1718List.ma Maybe.ma Util.ma
     19Interpret.ma Fetch.ma Status.ma
    1820Util.ma Nat.ma
    19 Interpret.ma Fetch.ma Status.ma
     21Compare.ma logic/pts.ma
    2022BitVector.ma String.ma Vector.ma
    2123String.ma Char.ma Compare.ma List.ma
    22 Compare.ma logic/pts.ma
    2324Nat.ma Bool.ma Cartesian.ma Connectives.ma
    2425Plogic/equality.ma
Note: See TracChangeset for help on using the changeset viewer.