diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-06-16 18:55:17 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-08-07 10:40:26 +0200 |
commit | eb85803875c5a4e90be60d870f01fac380ca18b0 (patch) | |
tree | 5fb9ac38ace0b8c6caec6b5438610258b321185c /runtime/c/i64_smod.c | |
parent | b839084a1731b09542eedff0cfac8e1a7b072c69 (diff) | |
download | compcert-eb85803875c5a4e90be60d870f01fac380ca18b0.tar.gz compcert-eb85803875c5a4e90be60d870f01fac380ca18b0.zip |
Relax lemma Val.zero_ext_and and add Val.zero_ext_andl
Diffstat (limited to 'runtime/c/i64_smod.c')
0 files changed, 0 insertions, 0 deletions