Nathaniel Navarro

Made things nested, checks still fail due to other files' formatting from what I can tell, but should be good I think.

There has been substantial progress with getting the read portion of the AXI interface to work #1820. Also some updated tracking in the original comment

As the semester is coming up I thought it seemed like a good place to stop and more concretely consider next steps and take stock of where we are with...

Just a little something to chime in on, migrating from `@external` to `ref` would reduce the amount of boiler plate needed to get our [AXI-wrapper](https://github.com/calyxir/calyx/issues/1733) working and is currently how...

I think the dependencies look better now, could either/both of you confirm? @EclecticGriffin @rachitnigam The `yxi` backend now only gets compiled with a `cargo build --features yxi`

> Most changes seems fine except the one comment I left. Overall, I'd like for YXI to be a separate tool from the Calyx compiler because it doesn't need the...

It seems to me like the dynamic `->` static description covers the cases we are encountering in AXI.

@calebmkim and I spoke synchronously about this. The scenarios we came up with are dynamic `->` static transitions like those discussed above as well as a likely-useful optimization for transitions...

Unfortunately this is not working as intended, see #1993

Just posting some updates as I find them. If we disable optimizations the following program also does not simulate (with optimizations this is fine). It produces an error similar to...