diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2020-11-30 11:58:14 +0000 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2020-11-30 11:58:14 +0000 |
commit | 753ec32951d1a6bbf3d93e02e28e58daa3a070f9 (patch) | |
tree | 2660178b3b54b19a31f424cac5ef5e5d13eece05 /_CoqProject | |
parent | 130d11a3291e3bce761ecbaeb7185df4ea98009d (diff) | |
download | vericert-753ec32951d1a6bbf3d93e02e28e58daa3a070f9.tar.gz vericert-753ec32951d1a6bbf3d93e02e28e58daa3a070f9.zip |
Add a call instruction to HTL. Use it for Icall.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions