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
[kernel] Add a function to create a term from a varinfo
· e6b67397
Basile Desloges
authored
Aug 02, 2021
e6b67397