diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-06-22 09:58:18 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-22 09:58:32 +0100 |
| commit | 9089af0dbd8dc079c16501c73727df82c34c530d (patch) | |
| tree | 89f4e7761092dc0dd83532acb1aaaf0c26546563 /src/translation/HTLgenspec.v | |
| parent | c02c4c9c4f1e4529526676e5e6aca2b44dd4584c (diff) | |
| download | vericert-kvx-9089af0dbd8dc079c16501c73727df82c34c530d.tar.gz vericert-kvx-9089af0dbd8dc079c16501c73727df82c34c530d.zip | |
Only print out main as everything is inlined
Diffstat (limited to 'src/translation/HTLgenspec.v')
0 files changed, 0 insertions, 0 deletions