From 726e0c15e1bfd9641e8e8dfcc9ec3b38a646b12d Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Mon, 19 Oct 2026 16:59:56 +0700 Subject: [PATCH] ledger: nine widgets rows, drop eval_hslm (the reference no longer compiles it), cap 130 -> 129 (Closes #10974) Co-Authored-By: Claude Sonnet 5.5 --- docs/reports/t27b_expectations.json | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/docs/reports/t27b_expectations.json b/docs/reports/t27b_expectations.json index 4ec002cd4e..a95ac49b63 100644 --- a/docs/reports/t27b_expectations.json +++ b/docs/reports/t27b_expectations.json @@ -12,7 +12,7 @@ "reference-bug": "the reference passes it for the wrong reason; t27b is right not to", "n/a": "outside what t27b is for (say why in the PR that sets it)" }, - "max_not_pass": 130, + "max_not_pass": 129, "entries": [ {"path": "specs/a/b_c.t27", "t27b": "pass"}, {"path": "specs/a_b/c.t27", "t27b": "pass"}, @@ -559,7 +559,6 @@ {"path": "specs/ml/activation/softmax.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/activation/tanh_activation.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/arena_heap.t27", "t27b": "pass"}, - {"path": "specs/ml/eval_hslm.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/file_io_contract.t27", "t27b": "pass"}, {"path": "specs/ml/host_io_model.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/hslm_corpus.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, @@ -2136,9 +2135,18 @@ {"path": "specs/vsa/trinity_compat.t27", "t27b": "pass"}, {"path": "specs/vsa/vsa_core.t27", "t27b": "blocked", "blocker": "ExprArrayLiteral", "reason": "unimplemented"}, {"path": "specs/widgets/catalog.t27", "t27b": "pass"}, + {"path": "specs/widgets/fasm_skyline_logic.t27", "t27b": "pass"}, {"path": "specs/widgets/gallery_rules.t27", "t27b": "pass"}, {"path": "specs/widgets/gatle_rule.t27", "t27b": "pass"}, + {"path": "specs/widgets/html_out.t27", "t27b": "pass"}, + {"path": "specs/widgets/json_scan.t27", "t27b": "pass"}, + {"path": "specs/widgets/jtag_verdict.t27", "t27b": "pass"}, + {"path": "specs/widgets/lut_depth_logic.t27", "t27b": "pass"}, + {"path": "specs/widgets/lut_explain_logic.t27", "t27b": "pass"}, + {"path": "specs/widgets/lut_treemap_logic.t27", "t27b": "pass"}, {"path": "specs/widgets/page_reader.t27", "t27b": "pass"}, + {"path": "specs/widgets/race_the_bee.t27", "t27b": "pass"}, + {"path": "specs/widgets/stat_card_logic.t27", "t27b": "pass"}, {"path": "specs/xilinx7/bench_coverage.t27", "t27b": "pass"}, {"path": "specs/xilinx7/far.t27", "t27b": "pass"}, {"path": "specs/xilinx7/flow.t27", "t27b": "pass"},