aboutsummaryrefslogtreecommitdiffstats
path: root/passes/cmds/xprop.cc
Commit message (Collapse)AuthorAgeFilesLines
* xprop: Improve signal splitting codeJannis Harder2022-12-121-14/+10
| | | | | Avoid splitting output ports twice when combining -split-outputs with -split-public and clean up the corresponding code.
* xprop: Add -split-public optionJannis Harder2022-12-081-0/+39
|
* New xprop pass to encode 3-valued x-propagation using 2-valued logicJannis Harder2022-11-301-0/+1198