Merge pull request #1625 from lnis-uofu/dependabot/submodules/yosys-5… · lnis-uofu/OpenFPGA@a8a50ca

Commit

Merge pull request #1625 from lnis-uofu/dependabot/submodules/yosys-5…

…2c04f3

Bump yosys from `47bdb3e` to `52c04f3`

tangxifan authored Apr 16, 2024

2 parents c4199de + 1d77b82 commit a8a50ca

+77 −0		.github/workflows/test-verific.yml
+2 −1		CODEOWNERS
+22 −11		Makefile
+1 −1		docs/.gitignore
+1 −0		docs/Makefile
+5 −6		docs/source/appendix/auxprogs.rst
+1 −1		docs/source/cmd_ref.rst
+3 −3		docs/source/code_examples/extensions/Makefile
+1 −0		frontends/verific/verific.cc
+1 −1		passes/memory/memory_map.cc
+0 −7		passes/opt/opt_clean.cc
+1 −1		passes/sat/formalff.cc
+1 −1		tests/arch/quicklogic/.gitignore