From 6804edd5d4cc6cca1fbdf7cf6db236d0fcd46538 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 24 Jan 2014 15:48:07 +0100 Subject: [PATCH] Moved btor scripts to backends/btor/ --- btor.ys => backends/btor/btor.ys | 0 verilog2btor.sh => backends/btor/verilog2btor.sh | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename btor.ys => backends/btor/btor.ys (100%) rename verilog2btor.sh => backends/btor/verilog2btor.sh (100%) diff --git a/btor.ys b/backends/btor/btor.ys similarity index 100% rename from btor.ys rename to backends/btor/btor.ys diff --git a/verilog2btor.sh b/backends/btor/verilog2btor.sh similarity index 100% rename from verilog2btor.sh rename to backends/btor/verilog2btor.sh -- 2.30.2