Merge pull request #1827 from lnis-uofu/dependabot/submodules/yosys-6… · lnis-uofu/OpenFPGA@fc5f1aa

Commit

Merge pull request #1827 from lnis-uofu/dependabot/submodules/yosys-6…

…937241

Bump yosys from `e8951ab` to `6937241`

tangxifan authored Sep 10, 2024

2 parents 353f32d + 2d88e15 commit fc5f1aa

yosys

Submodule yosys updated 42 files

+1 −0		.github/workflows/test-verific.yml
+19 −2		Makefile
+4 −0		backends/functional/Makefile.inc
+275 −0		backends/functional/cxx.cc
+418 −0		backends/functional/cxx_runtime/sim.h
+295 −0		backends/functional/smtlib.cc
+308 −0		backends/functional/smtlib_rosette.cc
+154 −0		backends/functional/test_generic.cc
+94 −0		docs/source/yosys_internals/extending_yosys/functional_ir.rst
+403 −0		kernel/compute_graph.h
+949 −0		kernel/drivertools.cc
+1,332 −0		kernel/drivertools.h
+853 −0		kernel/functional.cc
+642 −0		kernel/functional.h
+31 −0		kernel/hashlib.h
+10 −0		kernel/log.cc
+2 −0		kernel/log.h
+216 −0		kernel/mem.cc
+109 −0		kernel/mem.h
+14 −0		kernel/rtlil.cc
+1 −0		kernel/rtlil.h
+163 −0		kernel/sexpr.cc
+122 −0		kernel/sexpr.h
+357 −0		kernel/topo_scc.h
+9 −0		kernel/utils.h
+2 −0		kernel/yosys_common.h
+1 −0		passes/cmds/Makefile.inc
+254 −0		passes/cmds/example_dt.cc
+2 −2		passes/cmds/stat.cc
+10 −1		passes/sat/sim.cc
+6 −0		tests/functional/.gitignore
+19 −0		tests/functional/README.md
+34 −0		tests/functional/conftest.py
+3,044 −0		tests/functional/picorv32.v
+62 −0		tests/functional/picorv32_tb.v
+115 −0		tests/functional/rkt_vcd.py
+381 −0		tests/functional/rtlil_cells.py
+2 −0		tests/functional/run-test.sh
+188 −0		tests/functional/smt_vcd.py
+1,331 −0		tests/functional/smtio.py
+94 −0		tests/functional/test_functional.py
+146 −0		tests/functional/vcd_harness.cc

Please sign in to comment.