Merge pull request #1856 from lnis-uofu/dependabot/submodules/yosys-4… · lnis-uofu/OpenFPGA@fbc1554

Commit

Merge pull request #1856 from lnis-uofu/dependabot/submodules/yosys-4…

…08597b

Bump yosys from `6155c59` to `408597b`

tangxifan authored Oct 8, 2024

2 parents 4bf95ed + 151239a commit fbc1554

+1 −1		Makefile
+1 −1		abc
+1 −0		backends/aiger2/Makefile.inc
+1,471 −0		backends/aiger2/aiger.cc
+19 −8		backends/smt2/smtbmc.py
+2 −0		frontends/aiger2/Makefile.inc
+473 −0		frontends/aiger2/xaiger.cc
+46 −0		frontends/liberty/liberty.cc
+1 −2		kernel/celltypes.h
+49 −5		kernel/driver.cc
+13 −0		kernel/log.cc
+2 −0		passes/techmap/Makefile.inc
+2 −1		passes/techmap/abc9.cc
+49 −6		passes/techmap/abc9_exe.cc
+153 −0		passes/techmap/abc_new.cc
+9 −9		passes/techmap/bufnorm.cc
+2 −1		techlibs/common/techmap.v
+2 −1		techlibs/quicklogic/synth_quicklogic.cc
+14 −0		tests/arch/quicklogic/qlf_k6n10f/div.ys
+0 −1		tests/liberty/.gitignore
+6 −4		tests/liberty/run-test.sh
+3 −0		tests/liberty/unit_delay.ys
+7 −7		tests/techmap/aigmap.ys
+224 −0		tests/various/aiger2.ys
+9 −0		tests/various/logger_cmd_error.sh