Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
kernel_services
ast_queries
cil.mli
Find file
Blame
History
Permalink
Ajout d'un paramètre optionnel dans makeVarInfo et makeLocalInfo
· 2a92fdd1
Thibault Martin
authored
Oct 07, 2019
and
Virgile Prevosto
committed
Oct 14, 2019
?decl:Location.t : location de la nouvelle varinfo, unknown par défaut.
2a92fdd1