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/ASM.ma

    r374 r410  
    195195 | Call: String → labelled_instruction
    196196 | Mov: [[dptr]] → String → labelled_instruction
    197  | WithLabel: preinstruction String → labelled_instruction.
     197 | Label: String → labelled_instruction
     198 | WithLabel: jump String → labelled_instruction.
    198199
    199200ndefinition preamble ≝ List (String × Nat).
Note: See TracChangeset for help on using the changeset viewer.