diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 19:50:29 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 19:50:29 +0000 |
| commit | a2aafb7de592a60a86add13e184396e07b75ab07 (patch) | |
| tree | 58c30cb6aeb12ae90933a488b39f3e67fc9fca84 /extraction | |
| parent | a2c2bb945cf4e848225692f23aa337feae9747d2 (diff) | |
| download | vericert-kvx-a2aafb7de592a60a86add13e184396e07b75ab07.tar.gz vericert-kvx-a2aafb7de592a60a86add13e184396e07b75ab07.zip | |
Add Extraction
Diffstat (limited to 'extraction')
| -rw-r--r-- | extraction/Extraction.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extraction/Extraction.v b/extraction/Extraction.v index 40bbe54..4c5f034 100644 --- a/extraction/Extraction.v +++ b/extraction/Extraction.v @@ -1,4 +1,4 @@ -Require Import Verilog. +From CoqUp Require Import Verilog. -Cd "src". +Cd "extraction". Separate Extraction Verilog.nat_to_value Verilog.value_to_nat. |