diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-06 20:53:16 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-06 20:53:16 +0100 |
| commit | e4edfe6242c1f87bcae3beb17c398486b525dd77 (patch) | |
| tree | 1a45e26deabe0528ec3d1927274378501e4fb17f /README.org | |
| parent | ecf2660a3d11ba35ec9e79d8b7d4740488da3441 (diff) | |
| download | vericert-e4edfe6242c1f87bcae3beb17c398486b525dd77.tar.gz vericert-e4edfe6242c1f87bcae3beb17c398486b525dd77.zip | |
Prove a spec for the mapping of function params
Extracted the traversal of call args into a function and gave it a spec,
so that it can be used to prove the overall spec for the Icall instruction.
Diffstat (limited to 'README.org')
0 files changed, 0 insertions, 0 deletions