Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
plugins
value
domains
cvalue
builtins_string.ml
Find file
Blame
History
Permalink
[Ival] Do not export the ival type.
· 004d61b8
David Bühler
authored
Jan 18, 2019
Exports 4 new functions in ival: - is_int and is_float - is_small_set and project_small_set
004d61b8