|
bug5164.ys
|
tests: add test for #5164 opt_dff -sat UAF
|
2025-06-06 23:46:23 +01:00 |
|
bug5398.ys
|
opt_hier: Fix two optimizations conflicting
|
2025-09-29 12:27:27 +02:00 |
|
generate_mk.py
|
Convert gen-tests shell script to python
|
2026-04-16 11:00:44 +02:00 |
|
opt_balance_tree.ys
|
fix tests with truncation issues
|
2026-01-14 18:03:30 -08:00 |
|
opt_dff-simplify.il
|
opt_dff: add test
|
2025-08-14 00:13:23 +03:00 |
|
opt_dff-simplify.ys
|
opt_dff: more explicit testing, typo
|
2025-08-27 11:29:57 +02:00 |
|
opt_expr.ys
|
opt_expr: fix const lhs of $pow to $shl
|
2026-02-03 11:59:00 +01:00 |
|
opt_hier.tcl
|
opt_hier: fix test
|
2026-02-03 18:10:29 +01:00 |
|
opt_hier_simple1.v
|
Start opt_hier
|
2025-07-05 16:45:52 +02:00 |
|
opt_hier_simple2.v
|
Start opt_hier
|
2025-07-05 16:45:52 +02:00 |
|
opt_hier_test1.v
|
Start opt_hier
|
2025-07-05 16:45:52 +02:00 |
|
opt_lut_port.ys
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
|
opt_merge_properties.ys
|
avoid merging formal properties
|
2025-12-17 20:25:24 +01:00 |
