diff options
author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-16 20:27:31 +0200 |
---|---|---|
committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-16 20:27:31 +0200 |
commit | 21278bd87e89210bcc287116f6e35fc1b52d0df2 (patch) | |
tree | e55ca3a2c3cb35c9d610cad06da3a8819e793102 /riscV/Asmgenproof1.v | |
parent | 87c82b6fcf2bf825a8c60fc6a95498aac9f826d4 (diff) | |
download | compcert-kvx-21278bd87e89210bcc287116f6e35fc1b52d0df2.tar.gz compcert-kvx-21278bd87e89210bcc287116f6e35fc1b52d0df2.zip |
Now working, tests show a decrease in spillage
Should still find a proper way to treat the case mentioned in earlier
commits
Diffstat (limited to 'riscV/Asmgenproof1.v')
0 files changed, 0 insertions, 0 deletions