Changeset 2205 for src/compiler.ma


Ignore:
Timestamp:
Jul 18, 2012, 12:27:01 PM (8 years ago)
Author:
campbell
Message:

Get correctness.ma type checking again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/compiler.ma

    r2116 r2205  
    4141include "ASM/ASMCostsSplit.ma".
    4242
     43axiom assembler : pseudo_assembly_program → res (object_code × costlabel_map). (*
    4344definition assembler : pseudo_assembly_program → res (object_code × costlabel_map) ≝
    4445λp.
     
    5152  OK ? (assembly p sigma pol).
    5253cases daemon
    53 qed.
     54qed.*)
    5455
    5556include "RTLabs/semantics.ma".
Note: See TracChangeset for help on using the changeset viewer.