Forked from
pub / Frama Clang
637 commits behind the upstream repository.
-
Virgile Prevosto authored
Actually, they appear only in the AST generated by clang-11.
Virgile Prevosto authoredActually, they appear only in the AST generated by clang-11.
frama_Clang_register.ml 7.30 KiB