Charlotte d130f7fca2 tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

..

.gitignore

…

bug1525.ys

…

bug1758.ys

…

bug1854.ys

…

bug2010.ys

…

bug2221.ys

…

bug2311.ys

…

bug2318.ys

…

bug2623.ys

…

bug2765.ys

proc_memwr: Use the v2 memwr cell.

2021-08-11 13:34:10 +02:00

bug2766.ys

…

bug2824.ys

…

bug2920.ys

opt_merge: Use FfInitVals.

2021-08-08 01:19:22 +02:00

bug3047.ys

extract_reduce: Refactor and fix input signal construction.

2021-10-21 04:10:01 +02:00

bug3117.ys

memory_share: Fix SAT-based sharing for wide ports.

2021-12-20 18:40:14 +01:00

bug3848.ys

opt_share: Fix input confusion with ANDNOT, ORNOT gates

2023-07-20 20:58:52 +01:00

bug3867.ys

opt_expr: Fix 'signed X>=0' replacement for wide output ports

2023-08-01 13:50:12 +01:00

memory_bmux2rom.ys

Add memory_bmux2rom pass.

2022-05-18 22:48:55 +02:00

memory_dff_trans.ys

memory_share: Add -nosat and -nowiden options.

2021-08-14 00:09:04 +02:00

memory_map_offset.ys

…

opt_clean_init.ys

…

opt_clean_mem.ys

proc_memwr: Use the v2 memwr cell.

2021-08-11 13:34:10 +02:00

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

Re-enable opt_dff_sr equiv_opt checks

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

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: Propagate constants to port connections.

2021-07-27 20:44:26 +02:00

opt_expr_constconn.ys

opt_expr: Propagate constants to port connections.

2021-07-27 20:44:26 +02:00

opt_expr_consumex.ys

…

opt_expr_or.ys

…

opt_expr_xnor.ys

simplemap: Map $xnor to $_XNOR_ cells

2022-11-29 19:06:45 +01:00

opt_expr_xor.ys

simplemap: Map $xnor to $_XNOR_ cells

2022-11-29 19:06:45 +01: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

Add v2 memory cells.

2021-08-11 13:34:10 +02:00

opt_mem_priority.ys

memory_share: Add -nosat and -nowiden options.

2021-08-14 00:09:04 +02:00

opt_merge_init.ys

opt_merge: Add -keepdc option required for formal verification

2022-04-01 21:03:20 +02:00

opt_merge_keep.ys

…

opt_reduce_bmux.ys

opt_reduce: Add $bmux and $demux optimization patterns.

2022-01-30 03:37:52 +01:00

opt_reduce_demux.ys

opt_reduce: Add $bmux and $demux optimization patterns.

2022-01-30 03:37:52 +01:00

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

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00