Skip to content

Commit

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

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

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
@dependabot
dependabot[bot] authored Aug 28, 2024
1 parent d4daeaf commit f49dc49
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion third_party/tools/synlig
Submodule synlig updated 26 files
+46 −250 .ci.yml
+24 −2 .github/scripts/run_group_test.sh
+6 −7 .github/scripts/sort_passlists.sh
+10 −81 .github/workflows/formal-verification.yml
+26 −308 .github/workflows/large-designs.yml
+4 −4 .github/workflows/main.yml
+6 −65 .github/workflows/parsing-tests.yml
+8 −0 .gitmodules
+18 −0 Makefile
+31 −4 README.md
+41 −48 tests/formal/README.md
+16 −0 tests/formal/ansi_color.py
+0 −128 tests/formal/extra_arg_list.txt
+25 −0 tests/formal/gather_fv_results.sh
+0 −720 tests/formal/passlist.txt
+105 −179 tests/formal/results.py
+128 −412 tests/formal/run.py
+0 −171 tests/formal/skiplist.txt
+1,925 −0 tests/formal/testlist.json
+36 −0 tests/scripts/common.sh
+86 −0 tests/scripts/run_formal.sh
+154 −0 tests/scripts/run_large_designs.sh
+64 −0 tests/scripts/run_parsing.sh
+1 −0 third_party/eqy
+1 −0 third_party/sby
+1 −1 third_party/yosys

0 comments on commit f49dc49

Please sign in to comment.