diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2020-11-18 23:26:44 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2020-11-18 23:26:44 +0100 |
commit | 169764e1873c6c04ed8027eec7e016365d6b5434 (patch) | |
tree | b8ef04f0a0b897a67e29ac7a4c05bffaa5abcf50 /aarch64/Asmblockprops.v | |
parent | 0bafcc1915a0499ee337e982f7b1a35e5a5138f9 (diff) | |
download | compcert-kvx-169764e1873c6c04ed8027eec7e016365d6b5434.tar.gz compcert-kvx-169764e1873c6c04ed8027eec7e016365d6b5434.zip |
Postpass scheduling OK
- Modifying Asmblockdeps to adapt to Pfmovimm new specification
- Changing the Asmgenproof to adapt PArith in consequence
- Modifying the oracle to specify correct wlocs
- Cleaning everywhere
Diffstat (limited to 'aarch64/Asmblockprops.v')
0 files changed, 0 insertions, 0 deletions