Changeset 2760 for src/ASM/ASM.ma


Ignore:
Timestamp:
Mar 2, 2013, 1:29:41 AM (7 years ago)
Author:
sacerdot
Message:
  1. Many files repaired.
  2. 3 new daemons: 2 in Assembly.ma, 1 in StructuredTraces?.ma
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASM.ma

    r2757 r2760  
    11021102; code : list labelled_instruction
    11031103; renamed_symbols : list (Identifier × ident)
    1104 ; final_index : Word
     1104; final_label : Identifier
    11051105(* properties *)
    11061106; asm_injective_costlabels :
     
    11131113definition symboltable_type ≝ BitVectorTrie ident 16.
    11141114record labelled_object_code : Type[0] ≝
    1115 { oc :> object_code
     1115{ oc : object_code
    11161116; costlabels : costlabel_map
    11171117; symboltable : symboltable_type
Note: See TracChangeset for help on using the changeset viewer.