Changeset 2205 for src/correctness.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/correctness.ma

    r2150 r2205  
    1111  ∀input_program.
    1212
    13   not_wrong (exec_inf … clight_fullexec input_program) →
     13  not_wrong (exec_inf … clight_fullexec input_program) →
    1414 
    1515  ∀object_code,costlabel_map,labelled,cost_map.
Note: See TracChangeset for help on using the changeset viewer.