Adrian Sampson

Sounds good!

I suppose I don't mind leaving it available in case someone has a moment to help with it, perhaps as a warmup? The goal is pretty clearly defined, so it...

Good call; making this a separate binary would be nice. One could fantasize that this greater separation could be a first step toward implementing more of the AXI stuff in...

Interesting! I know this is a big topic, but I wouldn't quite go so far as to say that `seq` is misbehaving here per se, since we kinda like the...

Cool idea! FWIW, the typical name for this optimization is "copy propagation." As a thought experiment, I wonder if it's worth trying to decompose this into two versions: (1) successive...

Ah, thanks! My grep for `@stable` failed me because it doesn't have the sigil. 🤣 Anyway, maybe we need to nail it down in a bit more detail to do...

Right, that's a good way of putting it. In both interpretations, the answer to the "how long does it last?" question is different, although I'm still not exactly sure what...

Yo! Yes, this is indeed a problem! The overall issue is actually tracked in #856. The configuration of all this stuff is a total mess; some places it's hard-coded, and...

Very very tricky. I wonder if there's any way to configure Icarus to just throw errors the first time "x" appears instead of propagating "x"… seems unlikely, but just thought...

Cool. FWIW, it might not be a bad idea to try C-Reduce itself or hacking up LLVM's bugpoint somehow. The philosophy of those tools is often _not_ to be particularly...