Ignore:
Timestamp:
Apr 4, 2012, 6:48:24 PM (8 years ago)
Author:
campbell
Message:

Fix up earlier front-end value conversion work.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/SimplifyCasts.ma

    r1872 r1873  
    2727
    2828definition pred_bitsize_of_intsize : intsize → nat ≝
    29 λsz. match sz with [ I8 ⇒ 7 | I16 ⇒ 15 | I32 ⇒ 31 ].
     29λsz. pred (bitsize_of_intsize sz).
    3030
    3131definition signed : signedness → bool ≝
Note: See TracChangeset for help on using the changeset viewer.