Releases: chipsalliance/synlig
Releases · chipsalliance/synlig
2024-12-10-2d838ed: #2698: Build(deps): Bump third_party/surelog from `5120036` to `298a9cd`
Bumps third_party/surelog from 5120036 to 298a9cd.
Commits
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot mergewill merge this PR after your CI passes on it@dependabot squash and mergewill squash and merge this PR after your CI passes on it@dependabot cancel mergewill cancel a previously requested merge and block automerging@dependabot reopenwill reopen this PR if it is closed@dependabot closewill close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
2024-11-29-10efd31: #2688: Print available frontends and backends list when running synlig --help
Fixes: #2669
Fragment of help message:
-L logfile
like -l but open log file in line buffered mode
-o outfile
write the design to the specified file on exit
-b backend
use this backend for the output file specified on the command line
list of available backends: aiger, blif, btor, cxxrtl, edif, firrtl,
ilang, intersynth, jny, json, rtlil, simplec, smt2, smv, spice, table,
test_autotb, verilog, xaiger
-f frontend
use the specified frontend for the input files on the command line
list of available frontends: aiger, blif, ilang, json, liberty, rtlil,
systemverilog, uhdm, verilog, verilog_with_uhdm, write_file, xaiger2
-H
print the command list
-h command
print the help message for the specified command
-s scriptfile
execute the commands in the script file
-c tcl_scriptfile
execute the commands in the tcl script file (see 'help tcl' for details)
Message on frontend not found error:
list of available frontends: aiger, blif, ilang, json, liberty, rtlil,
systemverilog, uhdm, verilog, verilog_with_uhdm, write_file, xaiger2
ERROR: No such frontend: xxx
Message on backend not found error:
list of available backends: aiger, blif, btor, cxxrtl, edif, firrtl, ilang,
intersynth, jny, json, rtlil, simplec, smt2, smv, spice, table, test_autotb,
verilog, xaiger
ERROR: No such backend: xxx
2024-11-28-90f3a82: #2686: Update outdated naming
This PR updates naming to match synlig.
2024-11-26-fa2bcb1: #2681: Build(deps): Bump third_party/yosys from `b89bd02` to `98b4aff`
Bumps third_party/yosys from b89bd02 to 98b4aff.
Commits
98b4affBump version29e8812Merge pull request #4724 from YosysHQ/micko/blackbox_verific9512ec4Merge pull request #4764 from YosysHQ/micko/verific_vhdl_assertd6bd521verific : VHDL assert DFF initial value set on Verific library patch side4b3c03dBump version18b6165pyosys: catch boost::python::error_already_set5b6baa3Merge pull request #4744 from YosysHQ/emil/clockgate-liberty53a4ec3Merge pull request #4762 from georgerennie/george/fix_read_ilang_test9043dc0tests: replace read_ilang with read_rtlil56b80bdMerge pull request #4448 from georgerennie/shiftadd_gating- Additional commits viewable in compare view
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot mergewill merge this PR after your CI passes on it@dependabot squash and mergewill squash and merge this PR after your CI passes on it@dependabot cancel mergewill cancel a previously requested merge and block automerging@dependabot reopenwill reopen this PR if it is closed@dependabot closewill close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
2024-11-25-84ab47c: #2674: Fix setting up scope for parameter simplification
2024-11-22-8e4e643: #2668: Adjust Synlig to recent Yosys changes
This PR updates yosys.
It also applies patch to yosys until: YosysHQ/yosys#4733 will be merged upstream.
2024-11-14-f50c2de: #2658: Build(deps): Bump third_party/black_parrot_tools from `de0e8c5` to `7aa025b`
Bumps third_party/black_parrot_tools from de0e8c5 to 7aa025b.
Commits
7aa025bMinor updates to spike- See full diff in compare view
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot mergewill merge this PR after your CI passes on it@dependabot squash and mergewill squash and merge this PR after your CI passes on it@dependabot cancel mergewill cancel a previously requested merge and block automerging@dependabot reopenwill reopen this PR if it is closed@dependabot closewill close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
2024-11-13-dab70c6: #2652: Build(deps): Bump third_party/surelog from `5c96759` to `21f2bc5`
Bumps third_party/surelog from 5c96759 to 21f2bc5.
Commits
21f2bc5Merge pull request #4015 from hzeller/feature-20241112-uhdm-incsec658e1Add a couple of missing uhdm headers.f41571aMerge pull request #4014 from hzeller/feature-20241110-even-more-inc-fixesfc18febInclude CompileHelper.h for SURELOG::Reduce9ef92eeInclude tuple for std::tupleb337d75Include capnp/blob.h for capnp::Text3814cc4Include capnp/list.h for capnp::Listbd1f728Include RTTI.h where needed.67182c7Merge pull request #4013 from hzeller/feature-20241110-more-inc-fixesfc50a33Include cstddef in files using size_t- Additional commits viewable in compare view
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot mergewill merge this PR after your CI passes on it@dependabot squash and mergewill squash and merge this PR after your CI passes on it@dependabot cancel mergewill cancel a previously requested merge and block automerging@dependabot reopenwill reopen this PR if it is closed@dependabot closewill close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
2024-11-13-0847e58: #2650: Build(deps): Bump third_party/black_parrot_sdk from `4142f2d` to `aa94f5f`
Bumps third_party/black_parrot_sdk from 4142f2d to aa94f5f.
Commits
aa94f5fUpdates to flow- See full diff in compare view
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot mergewill merge this PR after your CI passes on it@dependabot squash and mergewill squash and merge this PR after your CI passes on it@dependabot cancel mergewill cancel a previously requested merge and block automerging@dependabot reopenwill reopen this PR if it is closed@dependabot closewill close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
2024-11-08-7ddc33d: #2640: Build(deps): Bump third_party/sby from `daed0e1` to `26b3874`
Bumps third_party/sby from daed0e1 to 26b3874.
Commits
26b3874Merge pull request #308 from YosysHQ/krys/drop_ilang176e59cReplace (read_)ilang with (read_)rtlil- See full diff in compare view
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot mergewill merge this PR after your CI passes on it@dependabot squash and mergewill squash and merge this PR after your CI passes on it@dependabot cancel mergewill cancel a previously requested merge and block automerging@dependabot reopenwill reopen this PR if it is closed@dependabot closewill close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)