Rachit Nigam

Ah got it! What are the custom vector operations that you ended up adding to Calyx. Maybe we can figure out a way to support them natively.

@calyxir/static-calyx this is another example of how the static extensions help the overall compiler pipeline. We should implement this for the camera ready and brag out resource benefits we get.

One well formedness rule in calyx, that isn’t enforced, is that all components must take at least one cycle to execute (same as groups) so there are no components that...

In my eyes, both programs exhibit undefined behavior because they don’t have any internal signaling to force them to take at least one cucle

A decision about `control { seq {} }` doesn't have to affect the semantics of `control { static seq {} }`. The latter is provably a zero-cycle program and can...

Also, a related issue is #621 which also happens because we haven't really nailed down the timing restrictions for component

Is there anything actionable for this issue? If we've decided on a particular semantics, let's document that in the docs page and close this issue?

Absolutely! Do you want to take a shot at implementing a version that had both a start index and an end index? @andrewb1999 do you know if this matches the...

@EclecticGriffin Agreed! This is weird. There should be exactly one equality and it should handle all these different formats. Also, yeah, each unsigned thing should have a signed counterpart. I'm...

> they're not strictly speaking unsynthesizable I think combinational multipliers are also not technically unsynthesizable but maybe a different point here is that unsynthesizable is a little strong; these modules...