diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2019-05-20 15:52:48 +0200 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2019-05-20 15:52:48 +0200 |
commit | f1d4b55d556922ff36329b5df71e714cd3fb1e08 (patch) | |
tree | 266c2afe288787136ccfa261ee05fa25885f344e /test | |
parent | 4f1edcb1eae90816fa9c5c94c7ace3aedb6de7c7 (diff) | |
download | compcert-kvx-f1d4b55d556922ff36329b5df71e714cd3fb1e08.tar.gz compcert-kvx-f1d4b55d556922ff36329b5df71e714cd3fb1e08.zip |
legere simplification de preuve
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions