Merge pull request #1657 from lnis-uofu/dependabot/submodules/yosys-1… · lnis-uofu/OpenFPGA@604edf8

Commit

Merge pull request #1657 from lnis-uofu/dependabot/submodules/yosys-1…

…ac0008

Bump yosys from `68c7fc4` to `1ac0008`

tangxifan authored May 8, 2024

2 parents 237d46f + 7147e61 commit 604edf8

+1 −1		Makefile
+125 −64		backends/cxxrtl/cxxrtl_backend.cc
+60 −0		backends/cxxrtl/runtime/cxxrtl/cxxrtl.h
+3 −2		backends/cxxrtl/runtime/cxxrtl/cxxrtl_replay.h
+126 −77		backends/smt2/smtbmc.py
+133 −14		backends/smt2/smtbmc_incremental.py
+20 −1		backends/smt2/smtio.py
+9 −2		docs/source/conf.py
+3 −0		frontends/verilog/verilog_frontend.cc