Rachit Nigam

@nathanielnrn if you'd like, feel free to press the big green button! Congratulations on a successful summer research project!

We need to say something stronger here: > If it is used as an input for another @control instance In general, a lot of the computations are going to end...

Yup! Guards are not allowed to "glitch" and hold `'x` values ever. Maybe there is some deeper principle at play here that puts guards in the same category as `@control`...

This is subsumed in some ways by #1423 since generating non-priority logic requires generating structural verilog that performs a similar task as explicit mux instantiation

I think this will be a good use case for evaluating the new Calyx static stuff

That sounds like a great starting point! Couple of notes: 1. We don't want to generate just a delay 2 module. We want to be able to generate any delay_n...

@priyasrikumar would you consider this closed by the newest PR?

The current problem is that we don't rewrite the indices when we access a `decl` memory on line 481 in lowerunroll

yeah, seems like this project doesn't have a `.rustfmt` file which describes the default formatting rules which is why `rustfmt` did this. I'm okay with committing some of them.

That's really weird. The commands run for the workflow are here: https://github.com/vegaluisjose/vast/blob/main/Makefile Can you try running the rules in the Makefile and see if you can locally reproduce the errors?...