diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-02 14:54:14 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-02 14:54:20 +0100 |
commit | 8659e1b672a9b28a78c5b026312e7f3c0cb87c36 (patch) | |
tree | 7208310bcfa2cbae6dc8d244ee3693718df4a20b /_CoqProject | |
parent | 5398b08ec6d445f91ed74c8434150cfbf99cc373 (diff) | |
download | vericert-kvx-8659e1b672a9b28a78c5b026312e7f3c0cb87c36.tar.gz vericert-kvx-8659e1b672a9b28a78c5b026312e7f3c0cb87c36.zip |
Handle loops and conditionals correctly
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions