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)

2024-10-01-704669c: #2600: Build(deps): Bump third_party/surelog from `4d8ef9e` to `c0cdf5f`

Bumps third_party/surelog from 4d8ef9e to c0cdf5f.

Commits

• c0cdf5f Merge pull request #3992 from alainmarcel/display_fix
• 56a8a17 initial with single display statement fix
• 01f0d2f Merge pull request #3991 from alainmarcel/alainmarcel-patch-1
• fbe0bdb Safer replacement of non-synth constructs
• 6b6c364 Merge pull request #3990 from alainmarcel/alainmarcel-patch-1
• 0d050fb More filtering for blokcing to non blocking transform
• 2c20a5e Merge pull request #3989 from alainmarcel/blocking_to_nonblocking_ram_transform
• f1180d9 Blocking to non-blocking RAM inference transform
• 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-09-25-d6213b3: #2584: Build(deps): Bump third_party/black_parrot_tools from `c552b44` to `2c2df67`

Bumps third_party/black_parrot_tools from c552b44 to 2c2df67.

Commits

• 2c2df67 Minor makefile nits
• f6a8b5b Updated patching infrastructure
• 98a1d0c Adding checkout target
• 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-09-20-307ca75: #2540: Build(deps): Bump third_party/black_parrot_sdk from `de0a1c2` to `337699d`

Bumps third_party/black_parrot_sdk from de0a1c2 to 337699d.

Commits

• 337699d Hotfix: Fixing base commits and patches
• 16cdf91 Bump to latest GNU toolchain (#63)
• cab885b Bump to latest GNU toolchain
• a6514f5 Updating to shallow patches
• 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-09-19-078b706: #2574: Refactor parsing tests CI

Now parsing tests are performed on all build types.

2024-09-17-c36358e: #2567: Fix testing of downloading release from README

This PR also updates README with dependencies necessary to download release.