Search results

creduce does not always work for LSQ elision type system

enhancementImprovement to existing feature of DynamaticImprovement to existing feature of Dynamatic

minorRelated to specific use cases onlyRelated to specific use cases only

Status: Open.

#977 In EPFL-LAP/dynamatic;

· zero9178 opened on Jun 14, 2026

Reliability LatencyInterface

Status: Open.

#961 In EPFL-LAP/dynamatic;

· Basmet0 opened on Jun 3, 2026

"expected data type to have strictly positive bitwidth, but got 'i0'" assertion

compiler-crashThe given code causes the compiler to crashThe given code causes the compiler to crash

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

Status: Open.

#955 In EPFL-LAP/dynamatic;

· zero9178 opened on Jun 2, 2026

Simple program deadlocks

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

miscompileThe compiler output does not behave as it shouldThe compiler output does not behave as it should

Status: Open.

#953 In EPFL-LAP/dynamatic;

· zero9178 opened on Jun 1, 2026

Invalid store address forwarded somewhere

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

miscompileThe compiler output does not behave as it shouldThe compiler output does not behave as it should

Status: Open.

#949 In EPFL-LAP/dynamatic;

· zero9178 opened on May 28, 2026

Conceptual issue with memref related to handshake.deps

Status: Open.

#928 In EPFL-LAP/dynamatic;

· zero9178 opened on May 19, 2026

Missing return statements crash the compiler

Status: Open.

#920 In EPFL-LAP/dynamatic;

· zero9178 opened on May 17, 2026

Assertion `dstOp && "destination memory access does not exist"' failed

compiler-crashThe given code causes the compiler to crashThe given code causes the compiler to crash

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

Status: Open.

#918 In EPFL-LAP/dynamatic;

· zero9178 opened on May 17, 2026

Not implemented intrinsic @llvm.ctpop.i32

compiler-crashThe given code causes the compiler to crashThe given code causes the compiler to crash

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

Status: Open.

#897 In EPFL-LAP/dynamatic;

· zero9178 opened on May 6, 2026

Not implemented intrinsic @llvm.usub.sat.i32

compiler-crashThe given code causes the compiler to crashThe given code causes the compiler to crash

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

Status: Open.

#896 In EPFL-LAP/dynamatic;

· zero9178 opened on May 6, 2026

Dynamatic produces NaN when C produces INF

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

miscompileThe compiler output does not behave as it shouldThe compiler output does not behave as it should

Status: Open.

#892 In EPFL-LAP/dynamatic;

· zero9178 opened on May 5, 2026

[MemDepAnalysis] Error: Cannot determine base array, aborting...

Status: Open.

#891 In EPFL-LAP/dynamatic;

· zero9178 opened on May 4, 2026