diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-08-30 01:34:04 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-08-30 01:34:04 +0200 |
| commit | 4ea7054b56c568e15ffe9ee3560fd458fabcdf00 (patch) | |
| tree | 6492989beaaac44daa1d939d5a59fe6bcf197b73 /backends/smt2/smtio.py | |
| parent | c417421495c3510add13859b2e33983880b4a224 (diff) | |
| download | yosys-4ea7054b56c568e15ffe9ee3560fd458fabcdf00.tar.gz yosys-4ea7054b56c568e15ffe9ee3560fd458fabcdf00.tar.bz2 yosys-4ea7054b56c568e15ffe9ee3560fd458fabcdf00.zip | |
Improved init spec handling in opt_rmdff, modernized the code a bit
Diffstat (limited to 'backends/smt2/smtio.py')
0 files changed, 0 insertions, 0 deletions