Bug-fix batch - #451

Merged

soronpo merged 13 commits into

mainfrom

Aug 7, 2026

Commits on Aug 5, 2026

internals+core+plugin: `sel` via exactOp3 with positioned errors; max/min chain absorption

Oron Port
and
claude
committed
fe701e2
ir+lib: symbolic slice calculus for parametric connectivity (#442, #447)

Oron Port
and
claude
committed
3b9600f
ir+lib: reject mixed := / :== writes to one variable per process (#446)

Oron Port
and
claude
committed
6b2fe6c
ir+core+lib: symbolic max/min elimination in parametric width-fit checks

Oron Port
and
claude
committed
1b7cbc8

Commits on Aug 6, 2026

core+ir+compiler_stages: op simplifications never revise or remove members (#449)

Oron Port
and
claude
committed
6fe77a0
devdocs: drop the issue #449 plan doc

Oron Port
and
claude
committed
1979fb6
lib: regression test for a defaulted parametric Bits input tied to all(0) (#450)

Oron Port
and
claude
committed
a36b558
core+docs: carry ops adapt `Int <> CONST` wildcards; both-Int carry rejected (#445)

Oron Port
and
claude
committed
b4b4c12
core+lib: width/length error messages qualify names relative to the error site (#448)

Oron Port
and
claude
committed
df50211
core: implement the documented `Enum -> UInt` conversion `.uint` (#443)

Oron Port
and
claude
committed
c74cf6f
core+lib: Verilog-semantics warning fires for parametric operand widths (#452)

Oron Port
and
claude
committed
0f5effb
core+compiler_stages: widen sign-converted implicit-Int chains; keep written operand order (#452)

Oron Port
and
claude
committed
3c8b412

Commits on Aug 7, 2026

core+docs: drop wider-target Verilog-semantics warning as a false positive (#453)

Oron Port
and
claude
committed
ba527c3