opencompl
Handshake-DC: add support for Int in Streams
This PR enables defining streams of int and bool for the formalization of DC and Handshake dialects from CIRCT
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
Nice. I am happy to see this being merged if you feel this is sensible.
Yes! Syncing with main broke the example but as soon as that's fixed I'm happy to merge
Overall LGTM. I didn't take too close a look, but I trust you, and it seems like we're trying to figure out the precise modelling, so bikeshedding isn't worth it!
thank you @bollu for the review! Indeed this model is not definitive and potentially subject to changes as we refine it
Can we now press the merge button. I am afraid the upcoming lean updates will risk this code to become outdated again. As soon as its merged, I can look into why the example breaks.