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 /test/compression/lzvars.c | |
parent | 862b0a23ad6c2caf2b81e502584d369fe9bc0d14 (diff) | |
download | compcert-8be12dfcd60d40cc5ba90657bc6a2f5528b45e55.tar.gz compcert-8be12dfcd60d40cc5ba90657bc6a2f5528b45e55.zip |
Added Int.same_if_eq
Should simplify reasoning over Boolean equalities.
Diffstat (limited to 'test/compression/lzvars.c')
0 files changed, 0 insertions, 0 deletions