riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
yosys/backends/smt2/.gitignore

2 lines
11 B
Plaintext
Raw Permalink Normal View History

Various fixes and improvements in "write_smt2 -bv"
2014-12-25 13:28:16 -06:00
test_cells