Adrian Sampson

Seems like a fun thing to try! Here are a couple of high-level thoughts: * To state the probably-obvious, the utility here depends strongly on how well Polygeist does. "Plain...

Indeed; thanks, @ayakayorihiro, for the detailed reproduction instructions! I could even reproduce the effect for the simpler `language-tutorial-compute.futil`: 3 cycles vs. 5 cycles. I admit I got a little nerdsniped...

Indeed, that would be awesome! Then we would have only one testbench where the `readmemh`/`writememh`s live, and we could remove a lot of intelligence from the compiler itself that currently...

This is a super exciting direction! It's obviously part of a much longer discussion, but just to think through a few high-level discussion points: * This would have enormous researchy...

Yes! That seems like the milestone to shoot for. I think we are a few steps away from that being feasible (mostly the documentation/QoL stuff in the first stanza of...

Yes, having "secondary inputs" be treated as first-class citizens would be really really satisfying…

Excellent. I'm late to the party, but I agree with where everything has ended up: namely, @jiahanxie353, your plan enumerated above sounds right to me, and @rachitnigam's suggested next steps...

One extra category of logistical discussion: * Do we need to think about licensing here? Looks like HardFloat uses an MIT (ish?) license, which means we need to preserve the...

Ah yes, exciting!! Makes sense to force (e.g.) Calyx compilation rules to have an implicit dependency on the Calyx compiler binary. This is mostly a note to myself, but making...

Adding an idea to the tracker above that might make sense in the medium term: *internal ops*. Currently, fud2 *only* orchestrates external commands. Everything it does must be implemented in...