Ármin Zavada

> otherwise I think the best would be to convert a channel to a ReadStream and then use ReadStream#pipe to a write stream that does the same internally. How does...

@grbeni If you have the time, please check this PR again. I have implemented the composition transformation, the lowlevel activity optimizing is yet to be done. If possible, it would...

I still need to modify the contributors guide. @grbeni I will check it with a clean install of Eclipse, and remove any redundant steps from the guide.

> @arminzavada, would this still be useful if this got merged? If so, please add some details to the description of this PR, and we should take a look, otherwise,...

> I think this would be challenging to introduce to Theta, because in a Theta choice statement, assumptions can appear in arbitrary places (inside very complicated control structures), not just...

After a brief discussion, we arrived at the following conclusion. Choice-else operations can not be efficiently mapped to SMT formulae because they require a `not exist` quantifier since the `else`...

Update: the use-case this feature was originally required for is no longer valid, as I have found a much better and clearer solution. I am closing this issue as not...