Commit dbea26c
committed
use Yosys 0.63
Signed-off-by: Eder Monteiro <emrmonteiro@precisioninno.com>1 parent e476f58 commit dbea26c
1 file changed
+1
-1
lines changed- .github/actions/setup-build-env/action.yml+1-10
- .github/workflows/extra-builds.yml+1
- .github/workflows/test-build.yml+3-2
- .github/workflows/test-sanitizers.yml+1-5
- .github/workflows/test-verific-cfg.yml+109
- .github/workflows/test-verific.yml+1-6
- .github/workflows/update-flake-lock.yml-25
- .github/workflows/version.yml-34
- CHANGELOG+16-1
- Dockerfile-58
- Makefile+42-8
- README.md+2-2
- abc+1-1
- backends/aiger/aiger.cc+3-1
- backends/verilog/verilog_backend.cc+22-1
- docs/source/code_examples/macro_commands/prep.ys+1
- docs/source/conf.py+1-1
- docs/source/using_yosys/more_scripting/model_checking.rst+32-3
- docs/source/yosys_internals/extending_yosys/test_suites.rst+38-18
- frontends/aiger/aigerparse.cc+14-6
- frontends/ast/genrtlil.cc+12
- frontends/blif/blifparse.cc+1
- frontends/json/jsonparse.cc+3
- frontends/verilog/verilog_parser.y+13-5
- kernel/calc.cc+1-1
- kernel/celledges.cc+136-8
- kernel/modtools.h+30-5
- kernel/rtlil.cc+2
- kernel/satgen.cc+21-1
- kernel/satgen.h+3
- libs/ezsat/ezcmdline.cc+92
- libs/ezsat/ezcmdline.h+36
- libs/ezsat/ezminisat.cc+2-2
- libs/ezsat/ezsat.cc+11-4
- libs/ezsat/ezsat.h+4-4
- passes/cmds/rename.cc+7-8
- passes/cmds/scratchpad.cc+1-1
- passes/equiv/equiv.h+67
- passes/equiv/equiv_induct.cc+17-49
- passes/equiv/equiv_simple.cc+49-74
- passes/memory/memory_libmap.cc+13-2
- passes/opt/opt.cc-1
- passes/opt/opt_clean.cc+4-3
- passes/opt/opt_expr.cc+5-2
- passes/sat/sat.cc+48-16
- passes/techmap/abc.cc+32-24
- passes/techmap/abc9.cc+1-3
- passes/techmap/abc9_exe.cc+1-1
- techlibs/common/prep.cc+1
- techlibs/gowin/Makefile.inc+1
- techlibs/gowin/brams_map.v+1-1
- techlibs/gowin/brams_map_gw5a.v+1-1
- techlibs/gowin/dsp_map.v+70
- techlibs/gowin/synth_gowin.cc+55-8
- techlibs/xilinx/synth_xilinx.cc+2
- techlibs/xilinx/xilinx_dsp.cc+13-7
- techlibs/xilinx/xilinx_dsp.pmg+31-1
- tests/arch/gowin/bug5688.ys+31
- tests/arch/gowin/mul_gw1n.ys+53
- tests/arch/gowin/mul_gw2a.ys+53
- tests/arch/ice40/ice40_dsp_const.ys+1
- tests/arch/xilinx/dsp_preadder_sub.ys+29
- tests/opt/opt_expr.ys+56
- tests/opt/opt_hier.tcl+1-1
- tests/techmap/abc_temp_dir_sanitization.ys+13
- tests/unit/Makefile+5-4
- tests/unit/kernel/modindexTest.cc+47
- tests/various/.gitignore+2
- tests/various/const_shift_empty_arg.ys+49
- tests/various/ezcmdline_dummy_solver+61
- tests/various/ezcmdline_plugin.cc+53
- tests/various/ezcmdline_plugin.sh+12
- tests/various/json_param_defaults.v+10
- tests/various/json_param_defaults.ys+8
- tests/various/specify.ys+2-2
- tests/verilog/automatic_lifetime.ys+104
0 commit comments