Skip to content
GitLab
Explore
Sign in
Stefan Gränitz
Frama Clang
Repository
frama-clang
tests
basic
oracle
init.res.oracle
Find file
Blame
History
Permalink
[clang2ir] Fix translation of negative integral constants
· 03b66079
Virgile Prevosto
authored
Apr 04, 2022
and remove useless declaration
03b66079