From: Ahmed Irfan <ahmedirfan1983@gmail.com>
Date: Fri, 3 Apr 2015 14:45:54 +0000 (+0200)
Subject: Delete btor.ys
X-Git-Tag: yosys-0.6~367^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ed750f0a55a5daf52ba557dd28689e5719700c25;p=yosys.git

Delete btor.ys

.ys script not needed
---

diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys
deleted file mode 100644
index ec28245d3..000000000
--- a/backends/btor/btor.ys
+++ /dev/null
@@ -1,18 +0,0 @@
-proc; 
-opt; opt_const -mux_undef; opt;
-rename -hide;;;
-#converting pmux to mux
-techmap -share_map pmux2mux.v;;
-#explicit type conversion
-splice; opt;
-#extracting memories;
-memory_dff -wr_only; memory_collect;;
-#flatten design
-flatten;;
-#converting asyn memory write to syn memory
-memory_unpack; 
-#cell output to be a single wire
-splitnets -driver;
-setundef -zero -undriven;
-opt;;;
-