Merge pull request #714 from daveshah1/abc_preserve_naming
[yosys.git] / tests / opt /
drwxr-xr-x   ..
-rw-r--r-- 6 .gitignore
-rw-r--r-- 107 ice40_carry.v
-rw-r--r-- 321 opt_lut.v
-rw-r--r-- 331 opt_lut.ys
-rw-r--r-- 363 opt_lut_port.il
-rw-r--r-- 57 opt_lut_port.ys
-rwxr-xr-x 98 run-test.sh