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 /driver | |
| 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 'driver')
0 files changed, 0 insertions, 0 deletions