Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
kernel_internals
typing
logic_builtin.ml
Find file
Blame
History
Permalink
[kernel] add float & double bulitins
· 95e3102b
Loïc Correnson
authored
Mar 26, 2020
95e3102b