Support methods with multiple output ports#849

Open

krame505 wants to merge 89 commits intoB-Lang-org:mainfrom

MatX-inc:split-output-ports

Commits on Jan 13, 2026

Commits on Jan 14, 2026

Improve error message when a synthesized method or noinline function uses a type lacking a Bit or SplitPorts instance
krame505
committed
Add docs for new tuple utilites (mostly written by Claude)
krame505
committed
Add test cases for tuple utilites (generated by Claude)
krame505
committed
Pass the current module name into handleContextReduction for better error message
krame505
committed
Simplify vMkRWire1, rename to __mkRWireSubmodule, expand the comment
quark17
committed
Testsuite: Update expected PreludeBSV positions
quark17
committed
Revert id_to_vName change
quark17
committed

Commits on Jan 15, 2026