<p><span class="h-card" translate="no"><a href="https://not.acu.lt/@ignaloidas" class="u-url mention">@<span>ignaloidas</span></a></span> "but retiming" you could say</p><p>for retiming i think i'll try to make the passes that do it inject a witness of the transformation into the netlist that turns into a transformation on the state bits or... something. i haven't fully thought it through yet</p>
