diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-03 20:34:07 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-03 20:34:07 +0100 |
| commit | 7ab00f12fb2345321de00b5f87659c9df3523a2f (patch) | |
| tree | 2a2d929b3a354a132ada998c7a9a2ae9762014e5 /src/common/Vericertlib.v | |
| parent | 424c69af24c11453c4835aa30f0602f93d1eb775 (diff) | |
| download | vericert-7ab00f12fb2345321de00b5f87659c9df3523a2f.tar.gz vericert-7ab00f12fb2345321de00b5f87659c9df3523a2f.zip | |
Rewrite transf_instr, move complicated part up
Mapping the externctrl for the parameters requires a traversal on a
list. Moved it up to the top of the branch to make it stand out in the proof.
Diffstat (limited to 'src/common/Vericertlib.v')
0 files changed, 0 insertions, 0 deletions