-
Notifications
You must be signed in to change notification settings - Fork 283
Pull requests: google/xls
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Split subprocess launching into Linux and macOS implementations
Reviewing Internally
#4972
opened Sep 11, 2026 by
cdleary
Collaborator
Loading…
[solvers/symex] Add formal property verification test utilities and SMT ITE equivalence check
#4969
opened Sep 11, 2026 by
copybara-service
Bot
•
Draft
[dev_tools] Add symex_main CLI tool for symbolic path exploration and test generation
#4968
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
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…
[solvers/symex] Add minimal symbolic execution engine
#4887
opened Sep 1, 2026 by
copybara-service
Bot
•
Draft
[opt] Add masked-xor strength reduction for binary selects
Reviewing Internally
#4881
opened Aug 31, 2026 by
mag-mga
Contributor
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
[codegen 1.5] Restore invariant checkers during block conversion
#4830
opened Aug 21, 2026 by
copybara-service
Bot
•
Draft
Previous Next
ProTip!
Filter pull requests by the default branch with base:main.