Rachit Nigam

We should add this to [`RESERVED_NAMES`](https://github.com/cucapra/calyx/blob/e1641e6b03c653f3f3659aacbf2f6c275f0d44b6/calyx-ir/src/reserved_names.rs#L2) and make sure that port names go through the name generator.

This has a lot of generated files (`.btor2`). Is that intentional? CC @EclecticGriffin

@nathanielnrn, can you try dumping out the version of the program from lowering `fud e --to calyx-lowered ...` and without optimizations `fud e -s calyx.flags ' -p no-opt' ...` and...

Yeah, something is borked with the CI that needs to be fixed...

> group2seq is weird w/ static groups. How do we infer the latency of the split groups? We can leave it to infer-static-timing, but then, would that mean turning the...

> group2seq is weird w/ static groups. How do we infer the latency of the split groups? We can leave it to infer-static-timing, but then, would that mean turning the...

Once we're done with the Static groups milestone, we'll go over this again and create issues from all the relevant bullet points and close this tracker

@calebmkim @paili0628 can y'all go over this and update it?

Thank you for the super awesome writeup @calebmkim! > One thing to note is that sometimes, we might sometimes want different "labels" for different tokens. This is something I've been...

Oh, that’s funky! Maybe it would be useful to see what the raw dumped data looks like. The right thing to do would be to use the same infrastructure that...