Skip to content

Commit

Permalink
Build(deps): Bump third_party/yosys from 672375e to 031ad38
Browse files Browse the repository at this point in the history 
Bumps [third_party/yosys](https://github.com/YosysHQ/yosys) from `672375e` to `031ad38`.
- [Release notes](https://github.com/YosysHQ/yosys/releases)
- [Commits](YosysHQ/yosys@672375e...031ad38)

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

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
@dependabot
dependabot[bot] authored Nov 24, 2023
1 parent e520639 commit 2afabfc
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion third_party/yosys
Submodule yosys updated 35 files
+16 −1 CHANGELOG
+5 −5 Makefile
+99 −55 backends/smt2/smtbmc.py
+389 −0 backends/smt2/smtbmc_incremental.py
+16 −7 backends/smt2/witness.py
+8 −2 backends/smt2/ywio.py
+14 −3 frontends/verific/verific.cc
+1 −0 kernel/constids.inc
+47 −16 kernel/driver.cc
+10 −0 kernel/fmt.cc
+1 −1 kernel/log.cc
+2 −2 kernel/log.h
+9 −0 kernel/mem.cc
+48 −5 passes/memory/memory_libmap.cc
+1 −0 passes/pmgen/Makefile.inc
+4 −0 passes/pmgen/peepopt.cc
+121 −0 passes/pmgen/peepopt_shiftadd.pmg
+1 −1 techlibs/achronix/synth_achronix.cc
+1 −0 techlibs/common/Makefile.inc
+117 −0 techlibs/common/cmp2softlogic.v
+8 −4 techlibs/ecp5/synth_ecp5.cc
+8 −4 techlibs/gowin/synth_gowin.cc
+8 −4 techlibs/ice40/synth_ice40.cc
+14 −1 techlibs/lattice/synth_lattice.cc
+5 −2 tests/arch/ecp5/add_sub.ys
+2 −1 tests/arch/ecp5/counter.ys
+2 −1 tests/arch/gowin/counter.ys
+1 −1 tests/arch/gowin/init.ys
+8 −1 tests/arch/gowin/mux.ys
+1 −1 tests/arch/ice40/add_sub.ys
+4 −4 tests/arch/ice40/mux.ys
+22 −0 tests/memlib/generate.py
+39 −0 tests/simple/partsel.v
+2 −2 tests/verific/memory_semantics.ys
+78 −0 tests/verific/rom_case.ys

0 comments on commit 2afabfc

Please sign in to comment.