Changeset 2936 for src/compiler.ma


Ignore:
Timestamp:
Mar 21, 2013, 9:45:49 PM (8 years ago)
Author:
campbell
Message:

Disable initialisation code generation in Cminor, propogate init data
through RTLabs.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/compiler.ma

    r2907 r2936  
    7070  ! p ← clight_to_cminor p;
    7171  let i ≝ observe cminor_pass p in
    72   let p ≝ cminor_to_rtlabs init_cost p in
     72  let p ≝ cminor_to_rtlabs p in
    7373  let i ≝ observe rtlabs_pass p in
    7474  if check_cost_program p then
Note: See TracChangeset for help on using the changeset viewer.