Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
cparser
Elab.ml
Find file
Blame
History
Permalink
Check ptr arithmetic for ++ and --
· e7b938f6
Bernhard Schommer
authored
Aug 27, 2020
Also: improve check for ptr - integer. (Added by Xavier Leroy <xavier.leroy@college-de-france.fr>)
e7b938f6