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	Fix tests for check in equiv_opt	2022-10-07 16:04:51 +02:00
opt_dff_mux.ys	Fix tests for check in equiv_opt	2022-10-07 16:04:51 +02:00
opt_dff_qd.ys	Fix tests for check in equiv_opt	2022-10-07 16:04:51 +02:00
opt_dff_sr.ys	…
opt_dff_srst.ys	…
opt_expr.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_lut.v	…
opt_lut.ys	…
opt_lut_elim.il	…
opt_lut_elim.ys	…
opt_lut_ins.ys	…
opt_lut_port.il	…
opt_lut_port.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.v	…
opt_rmdff.ys	…
opt_rmdff_sat.v	…
opt_rmdff_sat.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.v	…
opt_share_cat.ys	…
opt_share_cat_multiuser.v	…
opt_share_cat_multiuser.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.v	…
opt_share_large_pmux_cat.ys	…
opt_share_large_pmux_cat_multipart.v	…
opt_share_large_pmux_cat_multipart.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	…