Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
cparser
Lexer.mll
Find file
Blame
History
Permalink
C parser: handle other built-in types than __builtin_va_list
· 73551e05
Xavier Leroy
authored
Dec 23, 2020
All the built-in types declared in $ARCH/CBuiltins.ml are now recognized as type names initially.
73551e05