3 ms·
CompCert doesn't verify C, it compiles it. And like any compiler, it uses the type sizes defined by the ABI it targets.
by tom_mellior 9y ago
CompCert doesn't verify C, it compiles it. And like any compiler, it uses the type sizes defined by the ABI it targets.