drom circt-fuzzer issues - Githubissues

drom / circt-fuzzer

Generator of random circuits

MIT License

4 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Disable validif generation by default

#18 benlimpa closed 1 year ago
0
CI on node 17

#17 drom closed 3 years ago
0
added google fuzzing forum URL

#16 drom closed 3 years ago
0
fuzz empty bundles

#15 drom opened 3 years ago
0
fuzz zero length vectors

#14 drom opened 3 years ago
0
Fuzz MLIR dialects

#13 drom opened 3 years ago
0
Generate Context Sensitive Keywords

#12 seldridge opened 3 years ago
2
ERROR: Failed to import cell (type $dff) to SAT database.

#11 drom opened 3 years ago
0
UInt<0>(0)

#10 drom opened 3 years ago
0
add registers

#9 drom closed 3 years ago
1
regenerate circuit if got empty

#8 drom closed 3 years ago
0
clean unused wires

#7 drom closed 3 years ago
1
clean unused inputs

#6 drom closed 3 years ago
0
signed literals in range

#5 drom closed 3 years ago
2
add mutations

#4 drom opened 3 years ago
0
generate forest of trees

#3 drom opened 3 years ago
0
add mux

#2 drom closed 3 years ago
1
add literals

#1 drom closed 3 years ago
0