diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2020-07-12 22:35:01 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2020-07-12 22:35:01 +0200 |
commit | 45049f8a085bb916009ee9154d7218a1a287c0da (patch) | |
tree | 10da7a15c4660777bcc0d085506ae1f0f74300e4 /aarch64/Asmgen.v | |
parent | 28108aeb3b0fd9ffbb449715b9b0cd8599fb0027 (diff) | |
download | compcert-kvx-45049f8a085bb916009ee9154d7218a1a287c0da.tar.gz compcert-kvx-45049f8a085bb916009ee9154d7218a1a287c0da.zip |
Revert back to original definition of match_states
(The simulation relation between aarch64's Asmblock and Asm as equality)
Diffstat (limited to 'aarch64/Asmgen.v')
0 files changed, 0 insertions, 0 deletions