From abf33a4075c2008bfcac3b04ad3b4dc1c57a4efd Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 17 Feb 2020 18:06:37 +0000
Subject: Add pretty printing for Verilog integrated with CompCert

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

(limited to 'src/Extraction/Extraction.v')

diff --git a/src/Extraction/Extraction.v b/src/Extraction/Extraction.v
new file mode 100644
index 0000000..c4248cb
--- /dev/null
+++ b/src/Extraction/Extraction.v
@@ -0,0 +1,8 @@
+Require CoqUp.Verilog.VerilogAST.
+
+Require Import ExtrOcamlBasic.
+Require Import ExtrOcamlString.
+
+Cd "src/Extraction".
+Separate Extraction
+         VerilogAST.nat_to_value VerilogAST.value_to_nat VerilogAST.verilog VerilogAST.verilog_example.
-- 
cgit