An error occurred while fetching folder content.
Forked from
Iris / Iris
Source project has a limited visibility.
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.
Name | Last commit | Last update |
---|