diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-06-02 19:06:27 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-02 19:06:27 +0100 |
| commit | e9076031a8f759b10606e8507490ed8c68b16a43 (patch) | |
| tree | b162c15a3687719fd2f82802ab4180de9959bbe4 /src/translation/HTLgenspec.v | |
| parent | 2b0c8766b4e99772777763e96e13747454672814 (diff) | |
| download | vericert-kvx-e9076031a8f759b10606e8507490ed8c68b16a43.tar.gz vericert-kvx-e9076031a8f759b10606e8507490ed8c68b16a43.zip | |
Add proof to final_states
Diffstat (limited to 'src/translation/HTLgenspec.v')
0 files changed, 0 insertions, 0 deletions