diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-08-12 19:13:31 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-08-12 19:13:44 +0200 |
| commit | f9d3eaa70b8818d6e3d3ac57e789f58a99ae64e6 (patch) | |
| tree | a91c27d7fe155150714e95b9b849da82b51237bf /src/translation/HTLgenspec.v | |
| parent | 8183f45c4a27dc81f8f43056a90fa4f0017edc8e (diff) | |
| download | vericert-kvx-f9d3eaa70b8818d6e3d3ac57e789f58a99ae64e6.tar.gz vericert-kvx-f9d3eaa70b8818d6e3d3ac57e789f58a99ae64e6.zip | |
Finish proof of conditionals
Diffstat (limited to 'src/translation/HTLgenspec.v')
0 files changed, 0 insertions, 0 deletions