diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-12-16 12:37:55 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-12-16 12:37:55 +0100 |
| commit | e65eeecf7f34076cbfad6876ec21623ad25e9cf7 (patch) | |
| tree | b72bb3e5e0b3b83c6df7fa451a8188790d6ad6b3 /lib/BoolEqual.v | |
| parent | a48f857450950b2d1370249bca673ad2c15559d1 (diff) | |
| download | compcert-kvx-e65eeecf7f34076cbfad6876ec21623ad25e9cf7.tar.gz compcert-kvx-e65eeecf7f34076cbfad6876ec21623ad25e9cf7.zip | |
add parameter to enforce a specific compcert build number for QSKs (bug 20595)
Diffstat (limited to 'lib/BoolEqual.v')
0 files changed, 0 insertions, 0 deletions