Skip to content
GitLab
Explore
Sign in
Charles Southerland
frama-c
Repository
frama-c
src
plugins
from
callwise.ml
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