Ignore:
Timestamp:
Jul 24, 2012, 7:40:21 PM (8 years ago)
Author:
campbell
Message:

Add new invariant to Cminor that return typs should be respected.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/toRTLabs.ma

    r2232 r2251  
    837837  ).
    838838[ -emptyfn @(stmt_P_mp … (f_inv f))
    839   #s * #V #L %
     839  #s * #V #L #R %
    840840  [ @(stmt_vars_mp … V)
    841841    #i #t #H cases (Exists_append … H)
Note: See TracChangeset for help on using the changeset viewer.