diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-17 14:57:02 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-17 14:57:02 +0100 |
commit | 7b383b469fa3ed0889fdbc4f3c5ee3ad3d89264b (patch) | |
tree | 1c1a64246977d05560dd241d5c44ae928ddcd15b /src/verilog/Value.v | |
parent | 8eab4b3fb7fccf3b93711b0ef7c9779926bcf252 (diff) | |
download | vericert-7b383b469fa3ed0889fdbc4f3c5ee3ad3d89264b.tar.gz vericert-7b383b469fa3ed0889fdbc4f3c5ee3ad3d89264b.zip |
Add main module run
Diffstat (limited to 'src/verilog/Value.v')
-rw-r--r-- | src/verilog/Value.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/verilog/Value.v b/src/verilog/Value.v index 5242d9b..be6babf 100644 --- a/src/verilog/Value.v +++ b/src/verilog/Value.v @@ -1,4 +1,4 @@ -(* +(* -*- mode: coq -*- * CoqUp: Verified high-level synthesis. * Copyright (C) 2020 Yann Herklotz <yann@yannherklotz.com> * |