Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
kernel_services
ast_queries
ast_diff.ml
Find file
Blame
History
Permalink
[kernel] AST diff can take into account enum tags depending on previous tags
· 01b59745
Virgile Prevosto
authored
Sep 12, 2022
supports pattern such as ```c enum { TAG1 = 42, TAG2 = TAG1 << 3 }; ```
01b59745