This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
1 file changed
+1
-1
lines changed- .gitignore+2
- CHANGELOG+18-1
- CONTRIBUTING.md+73
- Makefile+44-11
- abc+1-1
- backends/aiger/xaiger.cc+22
- backends/cxxrtl/cxxrtl_backend.cc+1-1
- backends/functional/smtlib_rosette.cc+18-9
- docs/source/cell/word_arith.rst+1-1
- docs/source/code_examples/fifo/fifo.ys+1-1
- docs/source/code_examples/functional/dummy.cc+44
- docs/source/conf.py+1-1
- docs/source/getting_started/example_synth.rst+1-1
- docs/source/yosys_internals/extending_yosys/contributing.rst+8
- docs/source/yosys_internals/extending_yosys/functional_ir.rst+499-69
- frontends/ast/dpicall.cc+6-5
- frontends/liberty/liberty.cc+2-2
- frontends/verific/verific.cc+7-3
- frontends/verilog/verilog_frontend.cc+87
- kernel/celledges.cc+1-1
- kernel/celltypes.h+1
- kernel/consteval.h+1-1
- kernel/constids.inc+8
- kernel/fmt.cc+5-4
- kernel/macc.h+112-36
- kernel/rtlil.cc+45
- kernel/rtlil.h+15
- kernel/satgen.cc+1-1
- kernel/yosys.cc+6-2
- libs/fst/00_PATCH_wx_len_overread.patch+10
- libs/fst/00_UPDATE.sh+1
- libs/fst/fstapi.cc+5-2
- passes/cmds/Makefile.inc+1
- passes/cmds/abstract.cc+491
- passes/cmds/splitcells.cc+2-3
- passes/opt/.gitignore+1
- passes/opt/Makefile.inc+14
- passes/opt/opt_clean.cc+1-1
- passes/opt/peepopt.cc+1-1
- passes/opt/peepopt_formal_clockgateff.pmg
- passes/opt/peepopt_muldiv.pmg
- passes/opt/peepopt_shiftadd.pmg
- passes/opt/peepopt_shiftmul_left.pmg
- passes/opt/peepopt_shiftmul_right.pmg
- passes/opt/share.cc+1-1
- passes/pmgen/Makefile.inc+3-63
- passes/pmgen/README.md+1-1
- passes/pmgen/test_pmgen.cc+2-2
- passes/techmap/booth.cc+1-1
- passes/techmap/maccmap.cc+1-1
- passes/techmap/simplemap.cc+9
- passes/techmap/techmap.cc+4-4
- techlibs/.gitignore+1
- techlibs/common/simlib.v+114
- techlibs/common/techmap.v+2-2
- techlibs/gowin/cells_sim.v+1-1
- techlibs/ice40/Makefile.inc+10
- techlibs/ice40/ice40_dsp.cc+1-1
- techlibs/ice40/ice40_dsp.pmg
- techlibs/ice40/ice40_wrapcarry.cc+1-1
- techlibs/ice40/ice40_wrapcarry.pmg
- techlibs/intel/common/brams_map_m9k.v+4-4
- techlibs/intel/max10/cells_sim.v+54-1
- techlibs/intel/max10/dsp_map.v+73
- techlibs/intel/synth_intel.cc+56-8
- techlibs/microchip/Makefile.inc+9
- techlibs/microchip/microchip_dsp.cc+3-3
- techlibs/microchip/microchip_dsp.pmg
- techlibs/microchip/microchip_dsp_CREG.pmg
- techlibs/microchip/microchip_dsp_cascade.pmg
- techlibs/quicklogic/Makefile.inc+2-1
- techlibs/quicklogic/ql_ioff.cc+125
- techlibs/quicklogic/synth_quicklogic.cc+13-1
- techlibs/xilinx/Makefile.inc+16
- techlibs/xilinx/xilinx_dsp.cc+4-4
- techlibs/xilinx/xilinx_dsp.pmg
- techlibs/xilinx/xilinx_dsp48a.pmg
- techlibs/xilinx/xilinx_dsp_CREG.pmg
- techlibs/xilinx/xilinx_dsp_cascade.pmg
- techlibs/xilinx/xilinx_srl.cc+1-1
- techlibs/xilinx/xilinx_srl.pmg
- tests/alumacc/basic.ys+61
- tests/alumacc/macc_infer_n_unmap.ys+19
- tests/arch/quicklogic/qlf_k6n10f/counter.ys+1-1
- tests/arch/quicklogic/qlf_k6n10f/dffs.ys+2-2
- tests/arch/quicklogic/qlf_k6n10f/ioff.ys+209
- tests/techmap/buf.ys+13
- tests/unit/kernel/rtlilTest.cc+93-1
- tests/various/abstract_init.ys+121
- tests/various/abstract_state.ys+178
- tests/various/abstract_value.ys+95
- tests/various/bug4909.ys+44
0 commit comments