-
Notifications
You must be signed in to change notification settings - Fork 75
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #5981 from chipsalliance/dependabot/submodules/thi…
…rd_party/tools/synlig-a1701e4 build(deps): bump third_party/tools/synlig from `7f99048` to `a1701e4`
- Loading branch information
Showing
1 changed file
with
1 addition
and
1 deletion.
There are no files selected for viewing
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 |