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
[cil] allow for ghost in `makeLocalVar` and `makeTempVar`
· 2ae2bf46
Virgile Prevosto
authored
Oct 11, 2019
and
Allan Blanchard
committed
Oct 31, 2019
2ae2bf46