diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-05-31 02:04:52 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-05-31 02:04:52 +0100 |
commit | 2d4be10eeadcbb6aa4cc3d48e596dfc500a0d773 (patch) | |
tree | 913bde0d9390832b1cc61f49bbdf0f0ce740c623 /dune | |
parent | aaaf75ca0ac353f5c662f775b3f3104cc4944d87 (diff) | |
download | vericert-2d4be10eeadcbb6aa4cc3d48e596dfc500a0d773.tar.gz vericert-2d4be10eeadcbb6aa4cc3d48e596dfc500a0d773.zip |
Update the Gible semantics with correct termination
Diffstat (limited to 'dune')
0 files changed, 0 insertions, 0 deletions