diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-05-12 19:16:40 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-08-07 10:38:34 +0200 |
| commit | 8be12dfcd60d40cc5ba90657bc6a2f5528b45e55 (patch) | |
| tree | 68bfe2b9ced8dda15aecaad813571a356c75d9c0 /common/Values.v | |
| parent | 862b0a23ad6c2caf2b81e502584d369fe9bc0d14 (diff) | |
| download | compcert-kvx-8be12dfcd60d40cc5ba90657bc6a2f5528b45e55.tar.gz compcert-kvx-8be12dfcd60d40cc5ba90657bc6a2f5528b45e55.zip | |
Added Int.same_if_eq
Should simplify reasoning over Boolean equalities.
Diffstat (limited to 'common/Values.v')
0 files changed, 0 insertions, 0 deletions