-
Notifications
You must be signed in to change notification settings - Fork 286
Pull requests: google/xls
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Return InvalidArgumentError when output valid signal lacks reset signal.
#5000
opened Sep 17, 2026 by
copybara-service
Bot
•
Draft
Generate sub-FSMs for shared functions containing IO ops, or "shared procedures".
#4998
opened Sep 16, 2026 by
copybara-service
Bot
•
Draft
Simplify eq/ne selects of compared operands
Reviewing Internally
#4987
opened Sep 16, 2026 by
meheff
Collaborator
Loading…
Propagate configured values to imported DSLX modules.
#4985
opened Sep 16, 2026 by
copybara-service
Bot
•
Draft
Avoid signed remainder overflow in the JIT
Reviewing Internally
#4978
opened Sep 15, 2026 by
ecpeterson
Contributor
Loading…
[solvers/symex] Add formal property verification test utilities and SMT ITE equivalence check
#4969
opened Sep 11, 2026 by
copybara-service
Bot
•
Draft
Make chain selection and profitability calculation public for collapse_select_chains.
#4965
opened Sep 11, 2026 by
copybara-service
Bot
•
Draft
Generate sub-FSMs for shared functions containing IO ops, or "shared procedures".
#4959
opened Sep 10, 2026 by
copybara-service
Bot
•
Draft
dslx: typecheck semantic sum constructors
#4954
opened Sep 10, 2026 by
dank-openai
Collaborator
Loading…
Reserve fixed-latency RAM response capacity and gate accepted requests
#4952
opened Sep 10, 2026 by
ecpeterson
Contributor
Loading…
Add more assert types
Reviewing Internally
#4950
opened Sep 10, 2026 by
rw1nkler
Contributor
Loading…
Support BuiltinNameDef as a TypeDefinition in DSLX.
#4945
opened Sep 9, 2026 by
copybara-service
Bot
•
Draft
[codegen 1.5] Clean up concats-of-slices as bitwise operations
#4937
opened Sep 8, 2026 by
copybara-service
Bot
•
Draft
[solvers] Add solver_benchmark tool evaluating Z3 and Bitwuzla
#4917
opened Sep 4, 2026 by
copybara-service
Bot
•
Draft
Add feature flag for new channel syntax which uses
Source and Sink
#4908
opened Sep 3, 2026 by
copybara-service
Bot
•
Draft
[DSLX] Implement frontend cover() autoinsertion for branches
#4904
opened Sep 3, 2026 by
ansidu
Loading…
Make the embedded subprocess_helper work on non-Linux hosts
#4864
opened Aug 27, 2026 by
zarubaf
Contributor
Loading…
[codegen 1.5] Teach MergePortsPass how to keep the signature up-to-date
#4838
opened Aug 24, 2026 by
copybara-service
Bot
•
Draft
dslx/stdlib/apfloat: optimize adder logic and add parametrics
#4837
opened Aug 24, 2026 by
copybara-service
Bot
•
Draft
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.