Jannis Harder 0113f44faa Reenable existing equiv_opt tests

2022-10-07 16:04:51 +02:00

..

.gitignore

…

bug1525.ys

…

bug1758.ys

…

bug1854.ys

…

bug2010.ys

…

bug2221.ys

…

bug2311.ys

…

bug2318.ys

…

bug2623.ys

…

bug2765.ys

…

bug2766.ys

…

bug2824.ys

…

bug2920.ys

…

bug3047.ys

…

bug3117.ys

…

memory_bmux2rom.ys

…

memory_dff_trans.ys

…

memory_map_offset.ys

…

opt_clean_init.ys

…

opt_clean_mem.ys

…

opt_dff_arst.ys

…

opt_dff_clk.ys

…

opt_dff_const.ys

…

opt_dff_dffmux.ys

…

opt_dff_en.ys

…

opt_dff_mux.ys

…

opt_dff_qd.ys

…

opt_dff_sr.ys

…

opt_dff_srst.ys

…

opt_expr_alu.ys

…

opt_expr_and.ys

…

opt_expr_cmp.v

…

opt_expr_cmp.ys

…

opt_expr_combined_assign.ys

…

opt_expr_constconn.v

…

opt_expr_constconn.ys

…

opt_expr_consumex.ys

…

opt_expr_or.ys

…

opt_expr_xnor.ys

…

opt_expr_xor.ys

Reenable existing equiv_opt tests

2022-10-07 16:04:51 +02:00

opt_expr.ys

…

opt_lut_elim.il

…

opt_lut_elim.ys

…

opt_lut_ins.ys

…

opt_lut_port.il

…

opt_lut_port.ys

…

opt_lut.v

…

opt_lut.ys

…

opt_mem_feedback.ys

…

opt_mem_priority.ys

…

opt_merge_init.ys

…

opt_merge_keep.ys

…

opt_reduce_bmux.ys

…

opt_reduce_demux.ys

…

opt_rmdff_sat.v

…

opt_rmdff_sat.ys

…

opt_rmdff.v

…

opt_rmdff.ys

…

opt_share_add_sub.v

…

opt_share_add_sub.ys

…

opt_share_bug2334.ys

…

opt_share_bug2335.ys

…

opt_share_bug2336.ys

…

opt_share_bug2538.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

…

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

…