From 07f34453ab76295fe167d4c52aa463785cd140a9 Mon Sep 17 00:00:00 2001 From: Torsten Meissner Date: Mon, 18 Feb 2019 11:30:02 +0100 Subject: [PATCH] Add readme, change name to mimic github bug number --- {symbiotic_01 => SymbiYosys_27}/Makefile | 0 {symbiotic_01 => SymbiYosys_27}/Properties.sv | 0 SymbiYosys_27/README.md | 8 ++++++++ {symbiotic_01 => SymbiYosys_27}/TestDesign.vhd | 0 {symbiotic_01 => SymbiYosys_27}/symbiyosys.sby | 0 5 files changed, 8 insertions(+) rename {symbiotic_01 => SymbiYosys_27}/Makefile (100%) rename {symbiotic_01 => SymbiYosys_27}/Properties.sv (100%) create mode 100644 SymbiYosys_27/README.md rename {symbiotic_01 => SymbiYosys_27}/TestDesign.vhd (100%) rename {symbiotic_01 => SymbiYosys_27}/symbiyosys.sby (100%) diff --git a/symbiotic_01/Makefile b/SymbiYosys_27/Makefile similarity index 100% rename from symbiotic_01/Makefile rename to SymbiYosys_27/Makefile diff --git a/symbiotic_01/Properties.sv b/SymbiYosys_27/Properties.sv similarity index 100% rename from symbiotic_01/Properties.sv rename to SymbiYosys_27/Properties.sv diff --git a/SymbiYosys_27/README.md b/SymbiYosys_27/README.md new file mode 100644 index 0000000..a8514ca --- /dev/null +++ b/SymbiYosys_27/README.md @@ -0,0 +1,8 @@ +# bug_reports + +### SymbiYosys_#47 + +[SymbiYosys fails with an internal exception instead of generating counter example when using abc](https://github.com/YosysHQ/SymbiYosys/issues/27) + +Reported on Github, fixed in [YosysHQ/yosys@e112d2f](https://github.com/YosysHQ/yosys/commit/e112d2fbf5a31f00ef19e6d05f28fecc1e9c56b9) + diff --git a/symbiotic_01/TestDesign.vhd b/SymbiYosys_27/TestDesign.vhd similarity index 100% rename from symbiotic_01/TestDesign.vhd rename to SymbiYosys_27/TestDesign.vhd diff --git a/symbiotic_01/symbiyosys.sby b/SymbiYosys_27/symbiyosys.sby similarity index 100% rename from symbiotic_01/symbiyosys.sby rename to SymbiYosys_27/symbiyosys.sby