Semantic port properties: derive from the APackage, feed every backend#1058

Closed

nanavati wants to merge 25 commits into

B-Lang-org:mainfrom

nanavati:claude/vioprops-apackage-3pmbya

Commits on Jul 17, 2026

Fix getIOProps: an inout argument exposed at an interface inout is live

claude
and
nanavati
committed
Add tests for inout feedthrough port tracking

claude
and
nanavati
committed

Commits on Jul 18, 2026

Add getIOPropsA: a version of the VIOProps pass that works on APackage

claude
and
nanavati
committed
Make getIOPropsA more accurate by deducing properties from the APackage

claude
and
nanavati
committed
Look through inlined wire instances in getIOPropsA's deductions

claude
and
nanavati
committed
Treat only hardware uses as uses in getIOPropsA (foreign calls, dead rules)

claude
and
nanavati
committed
Evaluate the schedule's consequences in getIOPropsA

claude
and
nanavati
committed
Look through CReg instances and more optimizer reductions in getIOPropsA

claude
and
nanavati
committed
Model AState's argument muxes in getIOPropsA using the schedule

claude
and
nanavati
committed
Look through wire and CReg instances regardless of the inlining flags

claude
and
nanavati
committed
Document getIOPropsA as a semantic definition of port properties

claude
and
nanavati
committed
Add a proposal document for semantic port properties

claude
and
nanavati
committed
Record the portprops-directory accounting in the proposal

claude
and
nanavati
committed
Add portprops tests covering the remaining deduction mechanisms

claude
and
nanavati
committed
Record the full-testsuite run in the proposal evidence

claude
and
nanavati
committed
Propagate expressions through wires; merge by agreement, not enumeration

claude
and
nanavati
committed
Sharpen the proposal: non-goals versus pending work

claude
and
nanavati
committed
Model the value-method argument muxes and the WILL_FIRE reference folding

claude
and
nanavati
committed
Feed the port properties from the APackage analysis, for every backend

claude
and
nanavati
committed
Regenerate golden Verilog for the semantically derived Ports comments

claude
and
nanavati
committed
Regenerate golden Verilog whose comparisons were dormant without a simulator

claude
and
nanavati
committed
Regenerate the last dormant golden; record the final flip accounting

claude
and
nanavati
committed
Adapt getIOPropsA to split method ports

nanavati
and
claude
committed
Regenerate the b302 golden, stale since port splitting

nanavati
and
claude
committed
Restore the proposal's account of the inout fix, now in the base

nanavati
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Semantic port properties: derive from the APackage, feed every backend#1058

Semantic port properties: derive from the APackage, feed every backend#1058
nanavati wants to merge 25 commits into
B-Lang-org:mainfrom
nanavati:claude/vioprops-apackage-3pmbya

Commits on Jul 17, 2026

Fix getIOProps: an inout argument exposed at an interface inout is live

Add tests for inout feedthrough port tracking

Commits on Jul 18, 2026

Add getIOPropsA: a version of the VIOProps pass that works on APackage

Make getIOPropsA more accurate by deducing properties from the APackage

Look through inlined wire instances in getIOPropsA's deductions

Treat only hardware uses as uses in getIOPropsA (foreign calls, dead rules)

Evaluate the schedule's consequences in getIOPropsA

Look through CReg instances and more optimizer reductions in getIOPropsA

Model AState's argument muxes in getIOPropsA using the schedule

Look through wire and CReg instances regardless of the inlining flags

Document getIOPropsA as a semantic definition of port properties

Add a proposal document for semantic port properties

Record the portprops-directory accounting in the proposal

Add portprops tests covering the remaining deduction mechanisms

Record the full-testsuite run in the proposal evidence

Propagate expressions through wires; merge by agreement, not enumeration

Sharpen the proposal: non-goals versus pending work

Model the value-method argument muxes and the WILL_FIRE reference folding

Feed the port properties from the APackage analysis, for every backend

Regenerate golden Verilog for the semantically derived Ports comments

Regenerate golden Verilog whose comparisons were dormant without a simulator

Regenerate the last dormant golden; record the final flip accounting

Adapt getIOPropsA to split method ports

Regenerate the b302 golden, stale since port splitting

Restore the proposal's account of the inout fix, now in the base