Skip to content

Issues: google/xls

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

800 Open 702 Closed
800 Open 702 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

DSLX formatter does not line wrap proc instantiation parametrics bug Something isn't working or is incorrect dslx:fmt DSLX auto-formatter dslx DSLX (domain specific language) implementation / front-end
#1970 opened Mar 1, 2025 by mikex-oss
DSLX type checker should not error on width slice of 0-bit value bug Something isn't working or is incorrect dslx DSLX (domain specific language) implementation / front-end 🧦 sox
#1969 opened Feb 28, 2025 by mikex-oss
Formatter can't handle inline comments on proc instantiation parametrics bug Something isn't working or is incorrect dslx:fmt DSLX auto-formatter
#1968 opened Feb 28, 2025 by mikex-oss
ParseErrors for unroll_for! with shorthand .. range using imported constant bug Something isn't working or is incorrect dslx DSLX (domain specific language) implementation / front-end
#1964 opened Feb 28, 2025 by mikex-oss
[enhancement][dslx] Consider the best way we might encode one-hot in the type system dslx DSLX (domain specific language) implementation / front-end enhancement New feature or request long-term-enhancement Issues that are sensible enhancements but XLS devs expect may not be addressed in the near-term
#1963 opened Feb 28, 2025 by cdleary
Better formatting with proc-scoped type aliases dslx:fmt DSLX auto-formatter enhancement New feature or request
#1962 opened Feb 28, 2025 by mikex-oss
DSLX Match Exhaustiveness Checking with Range Analysis dslx DSLX (domain specific language) implementation / front-end enhancement New feature or request
#1961 opened Feb 28, 2025 by mikex-oss
3
Formatter doesn't indent second line of const_assert! dslx:fmt DSLX auto-formatter
#1959 opened Feb 27, 2025 by dank-openai
1
@cdleary
Simplify udiv/umod when dividend is constant to N-way mux for "small" N enhancement New feature or request optimizer Related to IR optimization or analysis 🧦 sox
#1956 opened Feb 26, 2025 by mikex-oss
5
[DSLX] prove_quickcheck_main says RUN_QUICKCHECK even when it's being skipped dslx DSLX (domain specific language) implementation / front-end
#1954 opened Feb 25, 2025 by cdleary
send in unroll_for! without let binding seems to get lost bug Something isn't working or is incorrect dslx DSLX (domain specific language) implementation / front-end
#1953 opened Feb 24, 2025 by mikex-oss
1
[DSLX] Using types where we expect expressions causes internal error
#1951 opened Feb 24, 2025 by cdleary
[enhancement][DSLX][formal] When proving quickchecks, assertions should become part of the proof objective dslx DSLX (domain specific language) implementation / front-end enhancement New feature or request formal Related to formal / Logical Equivalence Checking
#1949 opened Feb 23, 2025 by cdleary
vtrace_fmt! is not compatible with formatter bug Something isn't working or is incorrect dslx:fmt DSLX auto-formatter dslx DSLX (domain specific language) implementation / front-end
#1943 opened Feb 21, 2025 by mikex-oss
@richmckeever
Assertions (and their exclusive inputs) should be guarded by `ifdefs codegen Related to emitting (System)Verilog.
#1942 opened Feb 20, 2025 by grebe
1
Add clamped_clog2 parallel to clog2 for parametric bitwidths dslx DSLX (domain specific language) implementation / front-end enhancement New feature or request 🧦 sox
#1941 opened Feb 19, 2025 by mikex-oss
@richmckeever
4
[DSLX:LS] Ansi color codes don't render in vscode problems pane dslx:lsp DSLX language server/protocol implementation
#1940 opened Feb 19, 2025 by cdleary
2
Casting array to its own type is not allowed (+ bad error message) dslx DSLX (domain specific language) implementation / front-end 🧦 sox
#1939 opened Feb 19, 2025 by mikex-oss
1
[DSLX] assert! and fail! labels can clash in generated verilog (leading to e.g. elab warnings) dslx DSLX (domain specific language) implementation / front-end
#1937 opened Feb 17, 2025 by cdleary
[enhancement][DSLX:LSP] Language server could save all "crashes" dslx:lsp DSLX language server/protocol implementation enhancement New feature or request
#1934 opened Feb 15, 2025 by cdleary
[fuzzer]: Seemingly spurious assertion firing fuzz simulator Related to simulating (System)Verilog.
#1933 opened Feb 15, 2025 by grebe
trace_fmt should be supported in quickcheck based test dslx DSLX (domain specific language) implementation / front-end 🧦 sox testing Test-infrastructure related
#1930 opened Feb 14, 2025 by proppy
3
[enhancement] trace_fmt should support formatting u8[N] as strings dslx DSLX (domain specific language) implementation / front-end enhancement New feature or request 🧦 sox
#1929 opened Feb 14, 2025 by proppy
Inter-proc channel operations where data is ignored codegen Related to emitting (System)Verilog. optimizer Related to IR optimization or analysis 🧦 sox stitching Issues related to stitching, multi-proc codegen, and integration with external verilog modules
#1928 opened Feb 13, 2025 by grebe
[idea] For exhaustive matches, should we expose the construct to the IR? ir long-term-enhancement Issues that are sensible enhancements but XLS devs expect may not be addressed in the near-term optimizer Related to IR optimization or analysis
#1920 opened Feb 9, 2025 by cdleary
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.