Rachit Nigam

Yeah, seconded! The goal of this project (if I understand correctly) is to express as much of the logic needed to move data around within Calyx itself. This includes the...

Fly-by comment but there is something unsaid about the expressive power of `ref` in all of this. It's enabling us to do some cool things so we should eventually spend...

I think @calebmkim and I should sit down and think about how to build this. IIRC, he is already using a Polygiest flow for evaluating the static paper.

Precisely: this is mostly supposed to be a "glue code" exercise to see how far we can get with the tools today. You're right that Polygeist will be the limitation...

Hey @evanmwilliams! I'm unfortunately not super available these days. What do you think about starting a new thread our Zulip channel for calyx and starting a discussion about what to...

Thanks for the explanation! I'm not sure if there is anything to do about this. The `readmemh` and `writememh` functions hide the latency to read and write IO memories and...

CC @andrewb1999 @sampsyo @EclecticGriffin

Note from looking at timing reports: ``` Max Delay Paths -------------------------------------------------------------------------------------- Slack (MET) : 2.507ns (required time - arrival time) Source: W_32/G_3970/c0/state0/out_reg[0]/C (rising edge-triggered cell FDRE clocked by clk {[email protected]...

Woo! Awesome! This is exactly what I had in mind as well! Couple of things: - To get the CI working, you need to open a branch in the repo....

Thanks for getting started on this @sampsyo! What do you think about the following milestone: getting all of the tests in the monorepo working with `fud2`? We can maintain a...