Eddie Hung 173c7936c3 Add missing -assert to equiv_opt

2019-09-06 22:51:44 -07:00

..

.gitignore

…

opt_expr_cmp.v

…

opt_expr_cmp.ys

…

opt_expr.ys

Add missing -assert to equiv_opt

2019-09-06 22:51:44 -07:00

opt_lut_elim.il

…

opt_lut_elim.ys

…

opt_lut_port.il

…

opt_lut_port.ys

…

opt_lut.v

…

opt_lut.ys

Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_adder"

2019-08-12 12:06:45 -07:00

opt_rmdff_sat.v

Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_adder"

2019-08-12 12:06:45 -07:00

opt_rmdff_sat.ys

Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_adder"

2019-08-12 12:06:45 -07:00

opt_rmdff.v

Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_adder"

2019-08-12 12:06:45 -07:00

opt_rmdff.ys

Merge remote-tracking branch 'origin/master' into clifford/testfast

2019-08-18 21:29:15 -07:00

opt_share_add_sub.v

…

opt_share_add_sub.ys

…

opt_share_cat_multiuser.v

…

opt_share_cat_multiuser.ys

…

opt_share_cat.v

…

opt_share_cat.ys

…

opt_share_diff_port_widths.v

…

opt_share_diff_port_widths.ys

…

opt_share_extend.v

…

opt_share_extend.ys

…

opt_share_large_pmux_cat_multipart.v

…

opt_share_large_pmux_cat_multipart.ys

Fix wrong results when opt_share called before opt_clean

2019-08-07 09:30:58 +02:00

opt_share_large_pmux_cat.v

…

opt_share_large_pmux_cat.ys

…

opt_share_large_pmux_multipart.v

…

opt_share_large_pmux_multipart.ys

…

opt_share_large_pmux_part.v

…

opt_share_large_pmux_part.ys

…

opt_share_mux_tree.v

…

opt_share_mux_tree.ys

…

run-test.sh

…