Merge pull request #1261 from YosysHQ/clifford/verific_init
[yosys.git] / tests / opt /
drwxr-xr-x   ..
-rw-r--r-- 6 .gitignore
-rw-r--r-- 2919 opt_expr.ys
-rw-r--r-- 1065 opt_expr_cmp.v
-rw-r--r-- 129 opt_expr_cmp.ys
-rw-r--r-- 321 opt_lut.v
-rw-r--r-- 78 opt_lut.ys
-rw-r--r-- 337 opt_lut_elim.il
-rw-r--r-- 65 opt_lut_elim.ys
-rw-r--r-- 363 opt_lut_port.il
-rw-r--r-- 65 opt_lut_port.ys
-rw-r--r-- 4406 opt_rmdff.v
-rw-r--r-- 446 opt_rmdff.ys
-rw-r--r-- 167 opt_rmdff_sat.v
-rw-r--r-- 98 opt_rmdff_sat.ys
-rwxr-xr-x 98 run-test.sh