2024-10-31-bd84818: #2629: Refactor converting AST_DOT to range selects

Now Synlig supports accessing multidimensional struct members.

2024-10-31-5c62cba: #2632: Fix debug logs for parsing tests

This PR reduces numer of not important diffs between PRs and fixes uploading yosys.log.

2024-10-30-6302093: #2630: Build(deps): Bump third_party/black_parrot_sdk from `a714d98` to `4142f2d`

Bumps third_party/black_parrot_sdk from a714d98 to 4142f2d.

Commits

• 4142f2d Don't require SDK to build programs
• 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 rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will 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 version will 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 dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

2024-10-29-cf328e7: #2628: Fix pushing logs to main branch of synlig-logs repo

This PR fixes pushing tests logs after merge to allow visualize changes in AST in PRs.

2024-10-29-22f52ae: #2622: Follow up fix for blackbox attribute

Follow up fix for blackbox attribute (#2622)

2024-10-08-7b23cd6: #2611: Build(deps): Bump third_party/sby from `62d1708` to `117fb26`

Bumps third_party/sby from 62d1708 to 117fb26.

Commits

• 117fb26 Merge pull request #298 from YosysHQ/george/smtbmc_paths
• 9583985 smtbmc: match on full property paths instead of just names
• 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 rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will 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 version will 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 dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

2024-10-07-a99dd7b: #2605: Surelog parses more attributes for nets, modules, while at it support formal at…

…tributes

2024-10-07-4f64103: #2608: Build(deps): Bump third_party/surelog from `9c3c533` to `a841274`

Bumps third_party/surelog from 9c3c533 to a841274.

Commits

• a841274 Merge pull request #3996 from alainmarcel/alainmarcel-patch-1
• 04163b1 Fix bogus constant propagation
• 4468924 Fix bogus constant propagation
• 9a2dec9 Merge pull request #3995 from alainmarcel/alainmarcel-patch-1
• 3213014 Promote attr on net to array_nets
• b2c1d0d Merge pull request #3994 from alainmarcel/alainmarcel-patch-1
• 70cbe61 Attribute support on nets
• 0ab2fb2 Attribute support on nets
• 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 rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will 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 version will 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 dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

2024-10-03-fafc19c: #2604: Package import fix for synlig

Preemptively run regressions

2024-10-02-8f2fa06: #2596: Build(deps): Bump third_party/sby from `d9a5845` to `62d1708`

Bumps third_party/sby from d9a5845 to 62d1708.

Commits

• 62d1708 Merge pull request #276 from YosysHQ/krys/test-furo-ys
• 0fab912 Docs: Use sby role shortcut
• a3844d4 Docs: Use sby lexer
• 5426bee Use furo-ys
• 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 rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will 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 version will 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 dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)