Search results

[fuzzer] jit mismatch on unopt IR

bugSomething isn't working or is incorrectSomething isn't working or is incorrect

fuzz

Status: Open.

Bug

#3330 In google/xls;

· mikex-oss opened on Nov 7, 2025

[enhancement] Add tool to visualize proc hierarchy and connections between procs

enhancementNew feature or requestNew feature or request

Status: Open.

#3315 In google/xls;

· rw1nkler opened on Nov 6, 2025

[enhancement] Add mechanism to detect blocked or slow paths in network of procs

enhancementNew feature or requestNew feature or request

Status: Open.

#3314 In google/xls;

· rw1nkler opened on Nov 6, 2025

[enhancement] Enable converting DSLX tests to SystemVerilog testbenches

enhancementNew feature or requestNew feature or request

Status: Open.

#3313 In google/xls;

· rw1nkler opened on Nov 6, 2025

[enhancement] Enable equivalence checking in DSLX files

enhancementNew feature or requestNew feature or request

Status: Open.

#3312 In google/xls;

· rw1nkler opened on Nov 6, 2025

[enhancement] Allow specifying custom names for proc instances

enhancementNew feature or requestNew feature or request

Status: Open.

#3311 In google/xls;

· rw1nkler opened on Nov 6, 2025

[enhancement] Gracefully support multiple observers in IR evaluators

enhancementNew feature or requestNew feature or request

estimate:SSmall: ~a daySmall: ~a day

good first issueGood for newcomersGood for newcomers

jit

Status: Open.

#3307 In google/xls;

· grebe opened on Nov 6, 2025

[enhancement] solvers::z3::ScopedVerifyEquivalent (and Proc and check_ir_equivalence_main) should check assert equivalence

code-maintenanceEverything w.r.t. code quality, maintenance, TODOsEverything w.r.t. code quality, maintenance, TODOs

enhancementNew feature or requestNew feature or request

estimate:SSmall: ~a daySmall: ~a day

good first issueGood for newcomersGood for newcomers

testingTest-infrastructure relatedTest-infrastructure related

Status: Open.

#3293 In google/xls;

· allight opened on Nov 4, 2025

[enhancement] Invariant assertion for one-hot selector should codegen with the RTL net reference, not the IR node.

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#3289 In google/xls;

· mikex-oss opened on Nov 4, 2025

[fuzzer] jit mismatch, crasher baa8

Status: Open.

#3269 In google/xls;

· ericastor opened on Oct 31, 2025

[enhancement] Auto-numbering enums

enhancementNew feature or requestNew feature or request

Status: Open.

#3256 In google/xls;

· RobSpringer opened on Oct 27, 2025

[enhancement] receive predicates based on receive data

dslxDSLX (domain specific language) implementation / front-endDSLX (domain specific language) implementation / front-end

enhancementNew feature or requestNew feature or request

Status: Open.

#3167 In google/xls;

· grebe opened on Oct 6, 2025