Ignore:
Timestamp:
Nov 19, 2012, 5:13:21 PM (7 years ago)
Author:
campbell
Message:

Get compiler.ma and correctness.ma checking again. Note that the back-end
is in a state of flux at the moment, so is axiomatised out.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASMCostsSplit.ma

    r2001 r2475  
    2222    | Some lbl ⇒ λlookup_refl.
    2323      let cost ≝ block_cost code_memory program_counter cost_labels in
    24         cic:/matita/cerco/common/Identifiers/add.fix(0,2,2) ?? cost_mapping lbl cost
     24        cic:/matita/cerco/common/Identifiers/add.fix(0,2,3) ?? cost_mapping lbl cost
    2525    ] (refl … (lookup_opt … program_counter cost_labels))
    2626  ] (refl … program_size).
Note: See TracChangeset for help on using the changeset viewer.