Changeset 1493 for src/ASM/ASM.ma


Ignore:
Timestamp:
Nov 4, 2011, 5:01:39 PM (8 years ago)
Author:
mulligan
Message:

finished well labeled check, up to injectivity of the label map

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASM.ma

    r1112 r1493  
    200200
    201201definition labelled_instruction ≝ option Identifier × pseudo_instruction.
    202 definition preamble ≝ list (Identifier × nat).
     202definition preamble ≝ list ((Identifier × nat) × (String × Word)).
    203203definition assembly_program ≝ list instruction.
    204204definition pseudo_assembly_program ≝ preamble × (list labelled_instruction).
Note: See TracChangeset for help on using the changeset viewer.