Looks good to me! I have one question about the propagated inputs, though: why are they needed? Is it obvious (and I just fail to see it), or could you explain this in a comment?
~~ Ricardo
Looks good to me! I have one question about the propagated inputs, though: why are they needed? Is it obvious (and I just fail to see it), or could you explain this in a comment?
~~ Ricardo