-
Notifications
You must be signed in to change notification settings - Fork 49
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Another fatal simulation error in
truncffuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzermiscompileThe compiler output does not behave as it shouldThe compiler output does not behave as it shouldStatus: Open.#1015 In EPFL-LAP/dynamatic;[FPGA20] "Channel occupancy must be non-negative" assertion failure
compiler-crashThe given code causes the compiler to crashThe given code causes the compiler to crashfuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzerStatus: Open.#1013 In EPFL-LAP/dynamatic;Cast to
NamedIOInterfacefailing in buffer placementcompiler-crashThe given code causes the compiler to crashThe given code causes the compiler to crashfuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzerStatus: Open.#1008 In EPFL-LAP/dynamatic;Incorrect memory dependency analysis
miscompileThe compiler output does not behave as it shouldThe compiler output does not behave as it shouldStatus: Open.#1005 In EPFL-LAP/dynamatic;[FPGA20] "The model is unbounded" error in placement
compiler-crashThe given code causes the compiler to crashThe given code causes the compiler to crashfuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzerStatus: Open.#996 In EPFL-LAP/dynamatic;[FPGA20] "Solving the buffer placement MILP would yield an incorrect placement." error
compiler-crashThe given code causes the compiler to crashThe given code causes the compiler to crashfuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzerStatus: Open.#995 In EPFL-LAP/dynamatic;CF transformations fail with: "operand #1 does not dominate this use"
compiler-crashThe given code causes the compiler to crashThe given code causes the compiler to crashfuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzerStatus: Open.#994 In EPFL-LAP/dynamatic;[FPGA20] Infeasible model for simple code
compiler-crashThe given code causes the compiler to crashThe given code causes the compiler to crashfuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzerStatus: Open.#992 In EPFL-LAP/dynamatic;[FPL22] Simple floating point program does not synthesize in the given clock period
fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzerperformance-bugIssues that are not related to correctness, but better code could be generatedIssues that are not related to correctness, but better code could be generatedStatus: Open.#984 In EPFL-LAP/dynamatic;Memory controller not modelled in FPL22 buffering
bugSomething isn't workingSomething isn't workingfuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzerStatus: Open.#983 In EPFL-LAP/dynamatic;Weird undef value in output
fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzermiscompileThe compiler output does not behave as it shouldThe compiler output does not behave as it shouldStatus: Open.#980 In EPFL-LAP/dynamatic;creducedoes not always work for LSQ elision type systemenhancementImprovement to existing feature of DynamaticImprovement to existing feature of DynamaticminorRelated to specific use cases onlyRelated to specific use cases onlyStatus: Open.#977 In EPFL-LAP/dynamatic;