Issues

• Opt fails to eliminate redundant negated terms implied by mutually exclusive comparisons across a muxed operand

  Bug

  google/xls#5152 · opened on Oct 15, 2026
  2

• opt fails to propagate non-absorbing or/and sibling conditions into operand fanin

  Bug

  google/xls#5151 · opened on Oct 15, 2026

• improve DSLX cover! documentation

  Task

  google/xls#5145 · opened on Oct 15, 2026

• opt_main fails to apply boolean/bitwise absorption (a & b) | a | ... => a | ... in n-ary |/& expressions

  Bug

  google/xls#5120 · opened on Oct 12, 2026
  1

• eval_{proc,ir}_main LLVM crash when compiling bit_slice_update

  google/xls#5109 · opened on Oct 8, 2026

• Fuzzer crash 1ce9

  Bug

  google/xls#5031 · opened on Sep 22, 2026

• Fuzzer crash e540

  google/xls#5003 · opened on Sep 17, 2026

• Fuzzer crash a461

  Bug

  google/xls#5002 · opened on Sep 17, 2026

• Experimental DSLX generics emit invalid IR names for parameterized struct arguments

  google/xls#4997 · opened on Sep 16, 2026

• xls_cc_embed_data: shared-library link fails on macOS — ELF-only -soname passed to the Mach-O linker

  google/xls#4992 · opened on Sep 16, 2026
  2

• llvm-project archive checksum is unstable: GitHub serves two different tarballs for the same commit, and extension.bzl / MODULE.bazel.lock disagree

  google/xls#4990 · opened on Sep 16, 2026
  1

• Schedule output doesn't match the example comments

  google/xls#4989 · opened on Sep 16, 2026

• Fuzzer crash 2026-09-14_ce8a

  google/xls#4980 · opened on Sep 15, 2026
  1

• [enhancement] Conditional test skipping based on configured values (e.g. #[skip_if])

  Feature

  google/xls#4967 · opened on Sep 11, 2026

• [enhancement] Preserve cover semantics across repeated inlining/loop unrolling

  google/xls#4963 · opened on Sep 11, 2026
  13

• [enhancement] recognise array shift loop pattern

  google/xls#4960 · opened on Sep 11, 2026
  1

• ir_equivalence failure after resource_sharing over multiple nested branches

  google/xls#4941 · opened on Sep 9, 2026
  1

• [DSLX] type inference v2: "No constexpr value found for node T" for a proc with an explicit type parametric

  google/xls#4932 · opened on Sep 6, 2026

• Meta bug context: Generics and new style proc in my toy projects

  google/xls#4927 · opened on Sep 5, 2026
  2

• [DSLX] IR lowering fails for impl-style procs due to unhandled ProcType (self) parameter

  google/xls#4926 · opened on Sep 5, 2026

• Can't access proc state if it is a struct

  google/xls#4920 · opened on Sep 4, 2026
  4

• [enhancement] Allow selecting the LLVM JIT optimization level in eval_proc_main

  google/xls#4906 · opened on Sep 3, 2026
  1

• [enhancement] Autogeneration of cover!() for branches

  google/xls#4903 · opened on Sep 3, 2026
  8

• [enhancement] Accessing types from impl

  google/xls#4898 · opened on Sep 2, 2026
  3

• Templated struct as function parameter with partial calculated template specification puts interpreter into infinite recursion

  google/xls#4894 · opened on Sep 2, 2026
  3