Search results

[LSQ] Sanity check in LSQ for mutually exclusive GAs

Status: Open.

#857 In EPFL-LAP/dynamatic;

· Jiahui17 opened on Apr 16, 2026

Another wrong extension type for ori

bugSomething isn't workingSomething isn't working

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

Status: Open.

#836 In EPFL-LAP/dynamatic;

· zero9178 opened on Apr 8, 2026

Failure to generate LSQ component

bugSomething isn't workingSomething isn't working

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

Status: Open.

#833 In EPFL-LAP/dynamatic;

· zero9178 opened on Apr 3, 2026

"array larger than LSQ depth" assertion failure

bugSomething isn't workingSomething isn't working

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

Status: Open.

#832 In EPFL-LAP/dynamatic;

· zero9178 opened on Apr 3, 2026

Overly pessimistic xori

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

performance-bugIssues that are not related to correctness, but better code could be generatedIssues that are not related to correctness, but better code could be generated

Status: Open.

#831 In EPFL-LAP/dynamatic;

· zero9178 opened on Mar 31, 2026

Incorrect oracle result from bitwidth optimizations fuzzer

bugSomething isn't workingSomething isn't working

Status: Open.

#830 In EPFL-LAP/dynamatic;

· zero9178 opened on Mar 31, 2026

No redundancy elimination pass in dynamatic

nice-to-haveCosmetic and/or light improvements to the frameworkCosmetic and/or light improvements to the framework

performance-bugIssues that are not related to correctness, but better code could be generatedIssues that are not related to correctness, but better code could be generated

Status: Open.

#825 In EPFL-LAP/dynamatic;

· zero9178 opened on Mar 30, 2026

Wrong sign-extension/bitwidth for signed cmpi

bugSomething isn't workingSomething isn't working

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

Status: Open.

#824 In EPFL-LAP/dynamatic;

· zero9178 opened on Mar 30, 2026

Overly pessimistic ori bitwidth

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

performance-bugIssues that are not related to correctness, but better code could be generatedIssues that are not related to correctness, but better code could be generated

Status: Open.

#819 In EPFL-LAP/dynamatic;

· zero9178 opened on Mar 26, 2026

Missing backwards bitwidth propagation of muli

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

performance-bugIssues that are not related to correctness, but better code could be generatedIssues that are not related to correctness, but better code could be generated

Status: Open.

#818 In EPFL-LAP/dynamatic;

· zero9178 opened on Mar 26, 2026

handshake.constant uses unnecassirily large bitwidth after bitwidth optimization

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

performance-bugIssues that are not related to correctness, but better code could be generatedIssues that are not related to correctness, but better code could be generated

Status: Open.

#798 In EPFL-LAP/dynamatic;

· zero9178 opened on Mar 17, 2026

Floatingpoint to unsigned integer casts not implemented

bugSomething isn't workingSomething isn't working

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

Status: Open.

#795 In EPFL-LAP/dynamatic;

· zero9178 opened on Mar 16, 2026