Skip to content

Commit

Permalink
build(deps): bump third_party/yosys from 8acc77c to cbb95cb
Browse files Browse the repository at this point in the history
Bumps [third_party/yosys](https://github.com/YosysHQ/yosys) from `8acc77c` to `cbb95cb`.
- [Release notes](https://github.com/YosysHQ/yosys/releases)
- [Commits](YosysHQ/yosys@8acc77c...cbb95cb)

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

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
dependabot[bot] authored Dec 28, 2024
1 parent 69bec22 commit d865013
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion third_party/yosys
Submodule yosys updated 2 files
+1 −1 Makefile
+1 −1 backends/smt2/smtio.py

0 comments on commit d865013

Please sign in to comment.