Skip to content

yosys@0.63#8861

Merged
UebelAndre merged 1 commit into
bazelbuild:mainfrom
oharboe:yosys-0.63
May 13, 2026
Merged

yosys@0.63#8861
UebelAndre merged 1 commit into
bazelbuild:mainfrom
oharboe:yosys-0.63

Conversation

@oharboe

@oharboe oharboe commented May 13, 2026

Copy link
Copy Markdown
Contributor

Adds yosys 0.63 to BCR. Reuses 0.62.bcr.2's overlay verbatim except:

  • VERSION = "0.63" in overlay/BUILD.bazel (was "0.62")
  • New textual_hdrs = ["passes/equiv/equiv.h"] on pass_equiv cc_library
    for the new equiv.h header introduced upstream in v0.63.
  • Inner overlay/MODULE.bazel version bumped.
  • Outer MODULE.bazel version bumped.
  • source.json URL + tarball integrity + new overlay/BUILD.bazel sha
    • new overlay/MODULE.bazel sha. All other overlay/patch shas unchanged
      (overlay files and both patches are byte-identical to 0.62.bcr.2).

Patches re-verified clean against the v0.63 tarball:

  • tcl9_mp_to_ubin.patch (kernel/tclapi.cc) — applies cleanly.
  • use_cxxopt_module.patch (kernel/driver.cc) — applies cleanly.

Verified upstream v0.62…v0.63 diff does not touch kernel/tclapi.cc,
kernel/driver.cc, or libs/cxxopts/.

Local verification: bazelisk build @yosys//:yosys succeeds via this
fork's branch as a custom registry. bazel run @yosys//:yosys -- -V
prints Yosys 0.63.

tools/bcr_validation.py --check yosys@0.63 passes all checks
(source URL, integrity, presubmit.yml exact-match-previous, valid
MODULE.bazel, metadata).

Upstream release notes:
https://github.com/YosysHQ/yosys/releases/tag/v0.63

Publishes yosys 0.63 to BCR, reusing 0.62.bcr.2's overlay verbatim and
both existing patches (tcl9_mp_to_ubin, use_cxxopt_module) — verified
that v0.62 → v0.63 upstream diff does not touch kernel/tclapi.cc,
kernel/driver.cc, or libs/cxxopts/, so both patches still apply
cleanly.

Why bump now: yosys 0.62 has a memory-safety bug in the \$alu WRAPCELL
pass that emits RTLIL identifiers with uninitialized leading bytes
(e.g. \\xefxxa1Y_KOGGE_STONE). 0.63 contains the IdString memory-safety
fixes that resolve it. Downstream consumers (bazel-orfs, ORFS) cannot
pick up the fix without a newer yosys module on BCR.

Upstream release notes:
https://github.com/YosysHQ/yosys/releases/tag/v0.63

Signed-off-by: Øyvind Harboe <oyvind@ascenium.com>
@bazel-io

Copy link
Copy Markdown
Member

Hello @UebelAndre, modules you maintain (yosys) have been updated in this PR.
Please review the changes. You can view a diff against the previous version in the "Generate module diff" check.

This was referenced May 13, 2026

@UebelAndre UebelAndre left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@UebelAndre UebelAndre merged commit 314b04a into bazelbuild:main May 13, 2026
35 checks passed
@oharboe

oharboe commented May 13, 2026

Copy link
Copy Markdown
Contributor Author

@UebelAndre Thank you! I added two more for the remaining releases

#8863
#8862

UebelAndre pushed a commit that referenced this pull request May 26, 2026
Adds yosys 0.64 to BCR.

Overlay changes vs 0.62.bcr.2 required for v0.64 source layout:

- `VERSION = "0.64"` in `overlay/BUILD.bazel`.
- `passes/opt/opt_clean.cc` is split upstream into the directory
  `passes/opt/opt_clean/`. The `pass_opt` cc_library now lists the
  per-file split (`cells_all.cc`, `cells_temp.cc`, `inits.cc`,
  `opt_clean.cc`, `wires.cc`) and exposes `opt_clean.h` +
  `keep_cache.h` via textual_hdrs.
- New kernel header `kernel/newcelltypes.h` added to kernel's `hdrs`.
- New `passes/equiv/equiv.h` (introduced in v0.63) added to `pass_equiv`
  textual_hdrs (carried forward from the yosys@0.63 PR).
- Inner and outer `MODULE.bazel` version bumped to 0.64.

Patches:

- `tcl9_mp_to_ubin.patch` — verbatim from 0.62.bcr.2, applies clean.
- `use_cxxopt_module.patch` — context line refresh. v0.64 adds
  `#include <chrono>` after `#include <iostream>`, so the trailing
  context of the existing hunk was updated (otherwise applies with
  `--fuzz 2`, which BCR's `--fuzz 0` validation rejects).

source.json refreshed: v0.64 tarball integrity + new sha256 for
BUILD.bazel, overlay/MODULE.bazel, and use_cxxopt_module.patch.

Local verification: `bazelisk run @yosys//:yosys -- -V` against this
fork branch as a custom registry prints `Yosys 0.64`.

`tools/bcr_validation.py --check yosys@0.64` passes all checks.

Stacks on top of #8861 (yosys@0.63) — metadata.json edit may need
rebase once #8861 lands.

Upstream release notes:
https://github.com/YosysHQ/yosys/releases/tag/v0.64

---------

Signed-off-by: Øyvind Harboe <oyvind@ascenium.com>
Signed-off-by: Øyvind Harboe <oyvind.harboe@zylin.com>
oharboe added a commit to oharboe/bazel-central-registry that referenced this pull request May 26, 2026
Adds yosys 0.65 to BCR.

Overlay changes vs 0.64 for v0.65 source layout:

- `VERSION = "0.65"` in `overlay/BUILD.bazel`.
- New kernel header `kernel/wallace_tree.h` added to kernel `hdrs`.
- New `passes/techmap/arith_tree.cc` added to `pass_techmap` srcs.
- New `passes/techmap/liberty_cache.h` added to `pass_techmap` hdrs.
- Inner and outer `MODULE.bazel` version bumped to 0.65.

Patches:

- `tcl9_mp_to_ubin.patch` — applies clean (verbatim from 0.64).
- `use_cxxopt_module.patch` — applies clean (verbatim from 0.64).

source.json refreshed: v0.65 tarball integrity + new sha256s for
BUILD.bazel and overlay/MODULE.bazel.

`tools/bcr_validation.py --check yosys@0.65` passes all checks.

Stacks on top of bazelbuild#8862 (yosys@0.64) — metadata.json edit may need
rebase once bazelbuild#8861/bazelbuild#8862 land.

Upstream release notes:
https://github.com/YosysHQ/yosys/releases/tag/v0.65

Signed-off-by: Øyvind Harboe <oyvind@ascenium.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants