Changeset 2320 for src/compiler.ma


Ignore:
Timestamp:
Sep 3, 2012, 4:33:33 PM (7 years ago)
Author:
campbell
Message:

Update compiler and correctness with labelling changes.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/compiler.ma

    r2319 r2320  
    7979  res (object_code × costlabel_map × clight_program × ((Σl.in_clight_program l) → ℕ)) ≝
    8080λp.
    81   ! 〈p',p〉 ← front_end p;
     81  ! 〈init_cost,p',p〉 ← front_end p;
    8282  let p ≝ back_end p in
    8383    ! p ← assembler p;
Note: See TracChangeset for help on using the changeset viewer.