Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
riscV
Conventions1.v
Find file
Blame
History
Permalink
riscV/Conventions1: in 32-bit mode, wrong size for stack-allocated arguments of type Tfloat
· 5a7acc39
Xavier Leroy
authored
Aug 26, 2017
A default size of 1 was used instead of the correct "typesize ty".
5a7acc39