• Robbert Krebbers's avatar
    More accurate formalization of integer ranks. · da7a14bb
    Robbert Krebbers authored
    Integers with the same size, are no longer supposed to have the same rank. As a
    result, the C integer types (char, short, int, long, long long) are different
    (and thus cannot alias) even if they have the same size. We now have to use a
    more involved definition of integer promotions and usual arithmetic conversions.
    However, this new definition follows the C standard literally.
    da7a14bb
numbers.v 21.6 KB