Changeset 2763 for src/ASM/ASM.ma


Ignore:
Timestamp:
Mar 2, 2013, 11:42:16 AM (7 years ago)
Author:
sacerdot
Message:

All daemons in compiler.ma closed (i.e. proof obligations added
to the sigma type of compiled programs).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASM.ma

    r2760 r2763  
    11011101{ preamble : list (Identifier × Word)
    11021102; code : list labelled_instruction
     1103; code_size_ok: S (|code|) < 2^16
    11031104; renamed_symbols : list (Identifier × ident)
    11041105; final_label : Identifier
Note: See TracChangeset for help on using the changeset viewer.