From 661484424bbb1bc55604ee1448012ca10c4b8804 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 4 Feb 2020 15:35:16 +0000
Subject: Add extraction

---
 extraction/Extraction.v | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 extraction/Extraction.v

(limited to 'extraction')

diff --git a/extraction/Extraction.v b/extraction/Extraction.v
new file mode 100644
index 0000000..40bbe54
--- /dev/null
+++ b/extraction/Extraction.v
@@ -0,0 +1,4 @@
+Require Import Verilog.
+
+Cd "src".
+Separate Extraction Verilog.nat_to_value Verilog.value_to_nat.
-- 
cgit