diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 21:20:34 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 21:20:34 +0100 |
| commit | bfba2efd08c07d79fc1e553349b6380323a88a9a (patch) | |
| tree | 26d93e4de1145198ae003aea939f1c062a0a9936 /.gitignore | |
| parent | 51a8be8db7ffe527a792b082aa66016fd2c95e3f (diff) | |
| download | vericert-bfba2efd08c07d79fc1e553349b6380323a88a9a.tar.gz vericert-bfba2efd08c07d79fc1e553349b6380323a88a9a.zip | |
Get Icall translation lemma *statement* passing
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions