Skip to content
GitLab
Explore
Sign in
Stefan Gränitz
Frama Clang
Repository
frama-clang
convert.ml
Find file
Blame
History
Permalink
[ir2cabs] systematically use mk_int64_cst for translating integer constants
· e49a1073
Virgile Prevosto
authored
Apr 04, 2022
e49a1073