diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-12-17 12:45:34 +0100 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-12-17 12:45:34 +0100 |
commit | 16b875d816a0b62037f4ffd1a0233f516529e5ec (patch) | |
tree | b26772cac25d7b1d18f1184794a4f3287c0bcd7f /config_kvx.sh | |
parent | cae3d77b314778bd6b0dcc679ac7833c38ce7aeb (diff) | |
download | compcert-kvx-16b875d816a0b62037f4ffd1a0233f516529e5ec.tar.gz compcert-kvx-16b875d816a0b62037f4ffd1a0233f516529e5ec.zip |
simplify proof
Diffstat (limited to 'config_kvx.sh')
0 files changed, 0 insertions, 0 deletions