Issues
- 2
Use of imported type/enum crashes the front end
#1540 opened by meheff - 0
stdlib functions seem to bypass visibility check
#1507 opened by mikex-oss - 0
--trace_channels should delineate channel instantiations across multiply-instantiated procs
#1552 opened by mikex-oss - 0
- 0
Adding Formal Verification for IR [as extension to #1344 and discussion #1537]
#1549 opened by dassbrothers - 0
Flow-control could avoid more cycles
#1509 opened by grebe - 0
- 0
Remove workaround once clang, clang-format etc. do not depend on tinfo currently
#1504 opened by hzeller - 1
`TypeInferenceError` with parametrized structs
#1523 opened by mtdudek - 1
- 1
- 0
DSLX bytecode interpreter should create values of the same shape with ZeroMacro or Literal.
#1541 opened by hongted - 0
Relax or simplify channel connectivity requirements for integration of sub-procs
#1543 opened by mikex-oss - 1
[enhancement] Add `#[quickcheck_proc]` to the DLSX
#1528 opened by mtdudek - 2
Casting enum which is a part of struct to bits and using it in expression causes internal error in DSLX test
#1536 opened by m-torhan - 0
Support anonymous function in map
#1542 opened by mikex-oss - 3
yosys report syntax error for the array expression codegen_main generates
#1539 opened by Aaronchan-sz - 0
trace ops in JIT should be visible to end-user
#1513 opened by hongted - 0
Enhancements to test proc termination
#1538 opened by mikex-oss - 1
DSLX autoformatter erases comments within `proc` but outside of next/config/init
#1531 opened by jmolloy - 0
Prepare fuzztest to run regularly
#1516 opened by hzeller - 0
Hash collisions among data points in delay model
#1525 opened by hnpl - 0
- 1
Clean up uids and names in XLS IR
#1534 opened by hongted - 0
Uncaught exception in DSLX test when `assert_eq` is used to compare struct field with value with type specified as `uX`
#1530 opened by m-torhan - 0
[enhancement] Proc tests should indicate where test proc is blocked in "deadline exceeded" condition
#1533 opened by meheff - 1
- 1
Improve mismatch message in assert_eq for arrays
#1521 opened by mikex-oss - 1
Remove proc inlining
#1508 opened by grebe - 0
[enhancement] Support test utility methods
#1524 opened by dplassgit - 3
[enhancement] [DSLX] `priority_sel` builtin should support a specified default value
#1493 opened by ericastor - 12
codegen of assert!() with invalid SV label (e.g. whitespace) should fail
#1518 opened by bgelb-openai - 0
- 0
- 0
[enhancement] channel slicing
#1519 opened by proppy - 0
- 6
Internal Error: Proc ID was not found in arg mapping
#1515 opened by bgelb-openai - 0
opt_main crash, crasher ddf80df1
#1514 opened by proppy - 0
opt_main crash, crasher e4a0
#1511 opened by meheff - 0
iverilog crash, crasher b78c
#1512 opened by meheff - 0
- 0
Confusing `XlsTypeError` when identical structs are defined in two separate files
#1500 opened by m-torhan - 1
Allow negative indexing of arrays for negative offset
#1491 opened by mikex-oss - 2
- 0
Bazel macros don't propagate tags correctly
#1487 opened by lpawelcz - 2
[enhancement:DSLX:type_system] Ensure parametric env map is completely populated on instantiation
#1495 opened by cdleary - 0
Flatten arrays in proc state
#1489 opened by grebe - 0
PrioritySelect specialization can be improved
#1481 opened by grebe - 0
- 0
[enhancement] missed optimization opportunity for duplicated logic in `sel` branches
#1482 opened by proppy