Skip to content

Commit

Permalink
build(deps): bump third_party/tools/synlig from f5cd191 to 2d154d0
Browse files Browse the repository at this point in the history
Bumps [third_party/tools/synlig](https://github.com/chipsalliance/synlig) from `f5cd191` to `2d154d0`.
- [Release notes](https://github.com/chipsalliance/synlig/releases)
- [Commits](chipsalliance/synlig@f5cd191...2d154d0)

---
updated-dependencies:
- dependency-name: third_party/tools/synlig
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
dependabot[bot] authored Nov 6, 2024
1 parent d638ecc commit f2b9608
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion third_party/tools/synlig
Submodule synlig updated 95 files
+236 −211 .ci.yml
+1 −1 .github/scripts/format_sources.sh
+79 −36 .github/scripts/generate_summary.sh
+18 −13 .github/scripts/run_group_test.sh
+6 −6 .github/workflows/bsg-test-diff.yml
+0 −5 .github/workflows/cmake.yml
+16 −16 .github/workflows/formal-verification.yml
+100 −53 .github/workflows/large-designs.yml
+137 −227 .github/workflows/main.yml
+59 −112 .github/workflows/parsing-tests.yml
+4 −0 .gitmodules
+10 −10 CMakeLists.txt
+53 −93 Makefile
+182 −142 README.md
+17 −21 build_binaries.mk
+64 −4 buildconfig.mk
+0 −117 frontends/systemverilog/README.md
+0 −24 install_plugin.sh
+0 −22 lib/fakedlclose/Build.mk
+0 −5 lib/fakedlclose/fakedlclose.c
+60 −0 src/Build.synlig.mk
+481 −0 src/Makefile
+82 −0 src/Makefile.inc
+5 −4 src/frontends/systemverilog/Build.mk
+5 −0 src/frontends/systemverilog/Makefile.inc
+1 −0 src/frontends/systemverilog/compat_symbols.cc
+357 −211 src/frontends/systemverilog/uhdm_ast.cc
+0 −0 src/frontends/systemverilog/uhdm_ast.h
+0 −0 src/frontends/systemverilog/uhdm_ast_frontend.cc
+0 −0 src/frontends/systemverilog/uhdm_ast_shared.h
+4 −2 src/frontends/systemverilog/uhdm_common_frontend.cc
+0 −0 src/frontends/systemverilog/uhdm_common_frontend.h
+7 −2 src/frontends/systemverilog/uhdm_surelog_ast_frontend.cc
+0 −0 src/frontends/systemverilog/utils/memory.h
+4 −0 src/mods/yosys_ast/Makefile.inc
+0 −0 src/mods/yosys_ast/README
+0 −0 src/mods/yosys_ast/synlig_const2ast.cc
+0 −0 src/mods/yosys_ast/synlig_const2ast.h
+4 −0 src/mods/yosys_ast/synlig_edif.cc
+0 −0 src/mods/yosys_ast/synlig_edif.h
+0 −0 src/mods/yosys_ast/synlig_simplify.cc
+0 −0 src/mods/yosys_ast/synlig_simplify.h
+5 −0 src/python/__init__.py
+21 −0 src/python/wrapper.cc
+843 −0 src/utils/main.cc
+47 −0 src/utils/setup.cc
+15 −0 src/utils/setup.h
+4 −6 tests/Makefile
+0 −0 tests/asan_config/asan.supp
+0 −0 tests/asan_config/lsan.supp
+14 −7 tests/black_parrot/Makefile.in
+18 −0 tests/black_parrot/black_parrot_build.py
+0 −7 tests/black_parrot/orfs_patches/0001_use_uhdm.patch
+2 −2 tests/bsg_micro_designs/generate_bsg_tests.py
+2 −1 tests/formal/gather_fv_results.sh
+22 −20 tests/formal/results.py
+3 −4 tests/formal/run.py
+1 −1 tests/formal/run_fv_tests.mk
+22 −11 tests/formal/testlist.json
+9 −3 tests/ibex/Makefile.in
+6 −6 tests/ibex/top_artya7_core.patch
+0 −0 tests/lib/python3/run_command.py
+0 −0 tests/lib/python3/test_runner/config.py
+0 −0 tests/lib/python3/test_runner/main.py
+0 −0 tests/lib/python3/test_runner/testhandlers/__init__.py
+0 −0 tests/lib/python3/test_runner/testhandlers/formalverification.py
+0 −0 tests/lib/python3/test_runner/testhandlers/testhandler.py
+0 −0 tests/lib/python3/test_runner/utils/shcmdtemplate.py
+2 −2 tests/opentitan/0001_Add_core_files_for_processing_Earlgrey_in_Yosys.patch
+7 −7 tests/opentitan/0001_Add_opentitan_patch_for_uhdm.patch
+7 −3 tests/opentitan/Makefile.in
+2 −0 tests/opentitan/opentitan_parsing_test/Makefile
+1 −1 tests/opentitan/opentitan_parsing_test/Makefile.scripts.sh
+4 −4 tests/opentitan/opentitan_synth_patches/0015_Update_top_custom_tiny.patch
+4 −4 tests/scripts/common.sh
+61 −35 tests/scripts/run_formal.sh
+59 −45 tests/scripts/run_large_designs.sh
+53 −23 tests/scripts/run_parsing.sh
+6 −6 tests/veer/0001-veer.patch
+9 −3 tests/veer/Makefile.in
+3 −1 tests/yosys_common.tcl
+20 −0 third_party/Build.eqy.mk
+20 −0 third_party/Build.sby.mk
+2 −1 third_party/Build.surelog.mk
+15 −0 third_party/Build.sv2v.mk
+1 −4 third_party/Build.yosys.mk
+30 −0 third_party/Build.yosys_tools.mk
+1 −1 third_party/black_parrot_sdk
+1 −1 third_party/black_parrot_tools
+1 −1 third_party/eqy
+1 −0 third_party/pybind11
+1 −1 third_party/sby
+1 −1 third_party/surelog
+1 −1 third_party/yosys
+0 −415 third_party/yosys_mod/yosys_debian.patch

0 comments on commit f2b9608

Please sign in to comment.