Adrian Sampson

Ah, that makes sense!! Cool!!!

Thanks for getting this going in a proper thread; it has indeed been a long time coming. I very much agree with your suggestion about measuring resource usage… I think...

It's a tricky question, I think… the weird thing is that, in an ideal world, Calyx memories _would_ have their index size inferred (as `ceil(log2(count-1))`, I believe). We can't do...

Yes indeed; thanks for the really useful writeup, @calebmkim! I think you did a good job mapping out what it would take to approach either of these two ideas. Perhaps...

Argh; that is annoying! And probably my fault (as the person who introduced `xclrun` to replace the funky built-in fud stuff). One upside to `xclrun` being independent is that, hopefully,...

Sounds good. I am contractually obligated to also mention that flattening (#1183 et al.) would address this problem too by tying all AST nodes' lifetimes to a single lifetime for...

Ah yes, you are very wise—integers-as-pointers wouldn't itself solve the problem of "notifying" the `invoke` AST node that the comb group it refers to is gone. Good idea to play...

Good point about pulling in a pre-built Docker thing; that would make things a lot easier! Barring that, setting up this kind of testing as a nightly workflow (as opposed...

Yeah, seems cool. It would be great if the interpreter/debugger treated this as an automatic breakpoint (i.e., execution stops by default when one of these fails, just as if you...

Thanks for the detailed repro instructions! We should totally get to the bottom of this. Here are some notes on attempting to understand the problem. To summarize what's going on,...