Skip to content

Commit

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

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

Signed-off-by: dependabot[bot] <[email protected]>

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
  • Loading branch information
@dependabot
dependabot[bot] authored Aug 18, 2022
1 parent 84df58c commit 5a2504d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion third_party/yosys
Submodule yosys updated 83 files
+0 −54 .github/workflows/test-macos.yml
+3 −0 .gitignore
+54 −1 CHANGELOG
+2 −2 CODEOWNERS
+29 −19 Makefile
+12 −0 README.md
+180 −0 backends/aiger/aiger.cc
+22 −9 backends/btor/btor.cc
+21 −0 backends/cxxrtl/cxxrtl.h
+1 −1 backends/cxxrtl/cxxrtl_backend.cc
+33 −10 backends/jny/jny.cc
+1 −1 backends/rtlil/rtlil_backend.cc
+15 −1 backends/smt2/Makefile.inc
+143 −17 backends/smt2/smt2.cc
+328 −111 backends/smt2/smtbmc.py
+64 −3 backends/smt2/smtio.py
+254 −0 backends/smt2/witness.py
+392 −0 backends/smt2/ywio.py
+8 −8 frontends/ast/genrtlil.cc
+18 −18 frontends/ast/simplify.cc
+4 −1 frontends/blif/blifparse.cc
+14 −0 frontends/liberty/liberty.cc
+1 −1 frontends/verific/README
+65 −256 frontends/verific/verific.cc
+5 −0 frontends/verilog/preproc.cc
+6 −0 kernel/celltypes.h
+1 −0 kernel/constids.inc
+13 −0 kernel/driver.cc
+15 −4 kernel/ff.cc
+7 −1 kernel/ff.h
+1 −1 kernel/log.cc
+1 −1 kernel/log.h
+88 −120 kernel/rtlil.cc
+71 −66 kernel/rtlil.h
+1 −1 kernel/satgen.cc
+33 −5 kernel/yosys.cc
+1 −1 kernel/yosys.h
+1 −1 libs/fst/config.h
+1 −1 manual/CHAPTER_CellLib.tex
+45 −48 manual/command-reference-manual.tex
+193 −0 misc/jny.schema.json
+150 −4 passes/cmds/rename.cc
+24 −0 passes/cmds/setundef.cc
+1 −0 passes/cmds/show.cc
+109 −38 passes/cmds/stat.cc
+1 −0 passes/fsm/fsm_detect.cc
+16 −7 passes/hierarchy/hierarchy.cc
+1 −0 passes/hierarchy/submod.cc
+4 −3 passes/memory/memory_libmap.cc
+155 −70 passes/memory/memory_map.cc
+2 −0 passes/opt/opt_clean.cc
+17 −5 passes/opt/opt_dff.cc
+6 −3 passes/opt/opt_ffinv.cc
+2 −4 passes/opt/opt_reduce.cc
+4 −4 passes/opt/wreduce.cc
+1 −0 passes/sat/Makefile.inc
+3 −0 passes/sat/async2sync.cc
+4 −1 passes/sat/clk2fflogic.cc
+549 −0 passes/sat/formalff.cc
+1 −1 passes/sat/qbfsat.cc
+63 −21 passes/sat/sim.cc
+9 −7 passes/techmap/abc.cc
+7 −5 passes/techmap/abc9_exe.cc
+17 −0 techlibs/common/simlib.v
+4 −0 techlibs/gatemate/.gitignore
+16 −0 techlibs/gatemate/Makefile.inc
+44 −0 techlibs/gatemate/cells_sim.v
+219 −0 techlibs/gatemate/gatemate_foldinv.cc
+4 −0 techlibs/gatemate/inv_map.v
+323 −0 techlibs/gatemate/make_lut_tree_lib.py
+26 −6 techlibs/gatemate/synth_gatemate.cc
+0 −1 techlibs/gowin/synth_gowin.cc
+38 −10 techlibs/ice40/cells_sim.v
+56 −18 techlibs/nexus/brams_map.v
+48 −0 tests/arch/gatemate/gen_luttrees.py
+752 −0 tests/arch/gatemate/luttrees.v
+13 −0 tests/arch/gatemate/luttrees.ys
+1 −0 tests/arch/ice40/.gitignore
+4 −0 tests/blif/bug3374.ys
+1 −1 tests/gen-tests-makefile.sh
+8 −8 tests/tools/autotest.sh
+31 −0 tests/various/rename_scramble_name.ys
+8 −0 tests/various/smtlib2_module-expected.smt2

0 comments on commit 5a2504d

Please sign in to comment.