mirror of
https://github.com/YosysHQ/yosys
synced 2025-08-13 06:30:56 +00:00
11 lines
155 B
Text
11 lines
155 B
Text
/*.log
|
|
/*.out
|
|
/aiger2*.aig
|
|
/write_gzip.v
|
|
/write_gzip.v.gz
|
|
/run-test.mk
|
|
/plugin.so
|
|
/plugin.so.dSYM
|
|
/temp
|
|
/smtlib2_module.smt2
|
|
/smtlib2_module-filtered.smt2
|