Changeset 2320 for src/correctness.ma


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

Update compiler and correctness with labelling changes.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/correctness.ma

    r2205 r2320  
    2424#object_code #costlabel_map #labelled #cost_map
    2525#COMPILE
    26 cases (bind_inversion ????? COMPILE) -COMPILE * #labelled' #rtlabs_program * #FRONTEND #COMPILE
     26cases (bind_inversion ????? COMPILE) -COMPILE * * #init_cost #labelled' #rtlabs_program * #FRONTEND #COMPILE
    2727cases (bind_inversion ????? COMPILE) -COMPILE * #object_code' #costlabel_map' * #ASSEMBLER #COMPILE
    2828whd in COMPILE:(??%%); destruct
    2929cases (bind_inversion ????? FRONTEND) -FRONTEND #cminor_program * #CMINOR #FRONTEND
    30 cases (bind_inversion ????? FRONTEND) -FRONTEND #rtlabs_program' * #RTLABS #FRONTEND
    3130whd in FRONTEND:(??%%); destruct
    3231
Note: See TracChangeset for help on using the changeset viewer.