Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
plugins
value
Eva.mli
Find file
Blame
History
Permalink
Merge branch 'feature/eva/builtins' into 'master'
· f32442be
Andre Maroneze
authored
Mar 01, 2021
[Eva] Changes the type and registration of builtins See merge request frama-c/frama-c!3077
f32442be