All pull requests

Pull requests

• Run dslx_fmt --simplify_type_annotations on std.x.

  #5200·copybara-service[bot] opened Oct 26, 2026Bot·

  ·

• Bump pillow from 12.3.0 to 13.0.0 in /dependency_support in the pip group across 1 directory

  dependenciespython
  #5192·dependabot[bot] opened Oct 23, 2026Bot·

  ·

• Return the performed folding actions from ResourceSharingPass::PerformFoldingActions.

  #5191·copybara-service[bot] opened Oct 22, 2026Bot·

  ·

• [dslx] bit count type parsing gracefully handles non integer bit expressions

  #5175·copybara-service[bot] opened Oct 20, 2026Bot·

  ·

• Lower bind calls between Source and Sink to IR channels.

  #5174·copybara-service[bot] opened Oct 20, 2026Bot·

  ·

• [codegen] Error instead of silently overriding an explicit codegen version for proc-scoped channels

  Reviewing Internally
  #5163·12yuuuu opened Oct 17, 2026·

  ·
  1

  1

• docs: clarify DSLX cover! as SystemVerilog cover property

  #5162·hippi345 opened Oct 17, 2026·

  ·
  1

  2

• [DSLX] Support tuple destructuring in for-loop array iterators.

  #5147·copybara-service[bot] opened Oct 15, 2026Bot·

  ·
  1

• [DSLX] Support aliased state types and channel arrays in impl-style procs.

  #5146·copybara-service[bot] opened Oct 15, 2026Bot·

  ·

• [xls][fuzzer] Add fuzzer crasher 2026-10-09_15dc.

  #5116·copybara-service[bot] opened Oct 9, 2026Bot·

  ·

• Use functional type in map stub.

  #5106·copybara-service[bot] opened Oct 7, 2026Bot·

  ·

• Scalability optimizations for BDD, conditional specialization

  #5087·copybara-service[bot] opened Oct 4, 2026Bot·

  ·

• Extend BddCsePass with guarded CSE

  #5076·ansidu opened Sep 30, 2026·

  ·
  4

• [apfloat] Order add operands by full magnitude

  #5075·copybara-service[bot] opened Sep 30, 2026Bot·

  ·
  3

• Support formatting u8 array as string in trace_fmt!

  #5067·magancarz opened Sep 29, 2026Contributor·

  ·
  7

• [solvers] Optionally disable counterexample generation

  #5053·copybara-service[bot] opened Sep 25, 2026Bot·

  ·

• [xls][fuzzer] Add fuzzer crasher 2026-09-22_9938.

  #5037·copybara-service[bot] opened Sep 22, 2026Bot·

  ·

• Support deriving Default trait for DSLX structs

  #5035·rw1nkler opened Sep 22, 2026Contributor·

  ·
  10

• [dslx] Rename ProcAlias AST node to AliasDef

  #5029·copybara-service[bot] opened Sep 21, 2026Bot·

  ·

• [docs] Document function/proc wrapper aliases & parametric top support

  #5027·copybara-service[bot] opened Sep 21, 2026Bot·

  ·

• [dslx] Improve frontend support for function/proc aliases & parametrics

  #5026·copybara-service[bot] opened Sep 21, 2026Bot·

  ·

• [dslx] Support parametric and type-alias entry points (aka --top)

  #5025·copybara-service[bot] opened Sep 21, 2026Bot·

  ·

• [build_rules] Support select() expressions for dslx_top

  #5024·copybara-service[bot] opened Sep 21, 2026Bot·

  ·

• Avoid arithmetic overflow when decomposing ArraySlice in

  #5010·copybara-service[bot] opened Sep 18, 2026Bot·

  ·

• Gracefully handle contradictory ternary information across query engines

  #5009·copybara-service[bot] opened Sep 18, 2026Bot·

  ·