diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2019-10-23 15:41:43 +0200 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2019-10-23 15:41:43 +0200 |
commit | 64e7c075685d3653d67de29f2c5bc6f2bb1c47ae (patch) | |
tree | b0557539e8b43847eab459917fedf0369479922a /test/monniaux/clean_benches.sh | |
parent | cb7d444a5a97626a794f2167c2a4bc4d51f4ed67 (diff) | |
download | compcert-kvx-64e7c075685d3653d67de29f2c5bc6f2bb1c47ae.tar.gz compcert-kvx-64e7c075685d3653d67de29f2c5bc6f2bb1c47ae.zip |
An alternative proof where the match_state does not depend on the translation
Diffstat (limited to 'test/monniaux/clean_benches.sh')
0 files changed, 0 insertions, 0 deletions