Commit 1465695
committed
use Yosys 0.43
Signed-off-by: Eder Monteiro <[email protected]>1 parent 7e5dd02 commit 1465695
1 file changed
+1
-1
lines changed- .github/workflows/test-compile.yml+2-2
- .github/workflows/test-verific.yml+1
- CHANGELOG+12
- Makefile+32-10
- README.md+1-1
- backends/cxxrtl/cxxrtl_backend.cc+1-1
- backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.cc+1-1
- backends/cxxrtl/runtime/cxxrtl/cxxrtl.h+1-1
- docs/source/conf.py+1-1
- docs/source/getting_started/installation.rst+1-1
- docs/source/getting_started/scripting_intro.rst+34-4
- docs/source/yosys_internals/index.rst+1-1
- frontends/ast/ast.h+1-6
- frontends/liberty/liberty.cc+28-10
- frontends/verific/Makefile.inc+1-1
- frontends/verific/verific.cc+334-246
- frontends/verific/verificsva.cc+5-1
- guidelines/CodingStyle+1-1
- kernel/rtlil.cc+22-1
- kernel/yosys_common.h+1-5
- misc/create_vcxsrc.sh+1
- passes/opt/opt_lut_ins.cc+1-1
- passes/pmgen/peepopt.cc+11
- passes/pmgen/peepopt_shiftadd.pmg+12-3
- tests/cxxrtl/run-test.sh+4
- tests/cxxrtl/test_unconnected_output.v+24
- tests/cxxrtl/test_value_fuzz.cc+7-6
0 commit comments