Rachit Nigam

Ah, if that is the only limitation then we should change registers to also accept `@external` attributes on them. Should be straightforward since we just need to emit `readmemh` and...

@calyxir/semantics (because I just made a team)

@EclecticGriffin is this tracker still being actively used? If not, we should close this and migrate to the new one.

Just as a reminder for why making inlining work more generally is a good idea, it makes all the other optimizations so much more powerful. For example, see the results...

Yes, this is tricky! If we think about the kind of circuit that is generated when everything is compiled down, we'll end up muxing the inputs to the `in` signal...

Thanks for the analysis @calebmkim! We should also define some optimizations that shrink the scope of `with` before these optimizations kick in so as to reduce its overall impact. A...

`par { group; comb group }` is pretty weird. I see why this works (because you know exactly how long `group` runs for). Do we actually need a `static with`...

@calebmkim @paili0628 @sampsyo This seems like a good example of places where `static` disable optimizations that are otherwise easy to use in the dynamic context. The "free synchronization" semantics come...

Ah right! I forgot we have access to [`StaticParAnalysis`](https://docs.rs/calyx-opt/0.4.0/calyx_opt/analysis/struct.StaticParTiming.html) which would give this information to us and enalbe optimizing these programs.

Awesome, thanks for writing this up. A couple of thoughts and references to look at: 1. Optimality is definitely a hard thing to define, especially when it comes to hardware...