diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-06 12:16:59 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-06 12:16:59 +0100 |
commit | 3883d8109b55845b94f12dab16047c118e4553a9 (patch) | |
tree | 60c4392a3d9c7b28a8b864ca1dfc69c7440e5b66 /src/common | |
parent | ad0fa66943981c48c93ff1524e0c03b18fe2bf18 (diff) | |
download | vericert-3883d8109b55845b94f12dab16047c118e4553a9.tar.gz vericert-3883d8109b55845b94f12dab16047c118e4553a9.zip |
Solve easier branches of the transf_instr proof
What remains is the ones about the mapping of parameter registers.
Diffstat (limited to 'src/common')
0 files changed, 0 insertions, 0 deletions