Assignment Propagation#271

Merged

ekiwi merged 12 commits into

mainfrom

Jul 8, 2026

Commits on Jul 8, 2026

transactions need to relinquish ports on exit

Nikil-Shyamsunder
authored and
ekiwi
committed
reaching definitions analysis

Nikil-Shyamsunder
authored and
ekiwi
committed
change the assignment representation

Nikil-Shyamsunder
authored and
ekiwi
committed
finish the transfer function

Nikil-Shyamsunder
authored and
ekiwi
committed
track the assignment guards for propogtion

Nikil-Shyamsunder
authored and
ekiwi
committed
need to deal with hanging nodes

Nikil-Shyamsunder
authored and
ekiwi
committed
handle wveform tests

Nikil-Shyamsunder
authored and
ekiwi
committed
modify the reaching def analysis

Nikil-Shyamsunder
authored and
ekiwi
committed
switch to returning and using out_defs

Nikil-Shyamsunder
authored and
ekiwi
committed
switch to keying by full port name instead of choosing a canonical symbolid

Nikil-Shyamsunder
authored and
ekiwi
committed
canonicalization improvements

Nikil-Shyamsunder
authored and
ekiwi
committed
Default DontCare assignemnts for each lowered protocol

Nikil-Shyamsunder
authored and
ekiwi
committed