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 /.gitignore | |
| parent | b839084a1731b09542eedff0cfac8e1a7b072c69 (diff) | |
| download | compcert-kvx-eb85803875c5a4e90be60d870f01fac380ca18b0.tar.gz compcert-kvx-eb85803875c5a4e90be60d870f01fac380ca18b0.zip | |
Relax lemma Val.zero_ext_and and add Val.zero_ext_andl
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions