Ignore:
Timestamp:
Dec 13, 2010, 5:00:02 PM (9 years ago)
Author:
mulligan
Message:

Using bitvectortries for a dictionary doesn't work even if we hypothesise conversion functions from bitvectors to string, and back again. Many changes, including most of the assembly function implemented.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/depends

    r364 r410  
    1515Connectives.ma Plogic/equality.ma
    1616Bool.ma Universes.ma
    17 Assembly.ma ASM.ma
     17Assembly.ma ASM.ma Arithmetic.ma BitVectorTrie.ma Fetch.ma Status.ma
    1818List.ma Maybe.ma Util.ma
    1919Interpret.ma Fetch.ma Status.ma
    2020Util.ma Nat.ma
    21 BitVector.ma Vector.ma
     21BitVector.ma String.ma Vector.ma
    2222String.ma Char.ma List.ma
    2323Plogic/equality.ma Universes.ma
Note: See TracChangeset for help on using the changeset viewer.