Eric Astor

Not spotted by a compiler error, surprisingly enough - we had an issue with inconsistent results when using the library in a prototype. We eventually tracked it back to this...

This is also impacted by the fact that `fix unusedLoads` will not remove loads with a comment attached to them... so if a load is first in the block after...

Would it be reasonable to ship with a *very* small cross-platform launcher executable built with https://github.com/jart/cosmopolitan ? (Mostly joking, I suspect the solutions above are far more practical.)

On closer inspection - everything looks correct until the final range analysis substitution. Probably a bug in range analysis?

Nevermind previous comments, we can fix them up after landing this. (Just noticed how long this was sitting, and that I'd already approved it ages ago.)

Clarifying question - how does the test proc sync its viewpoint to the proc-under-test to check its state? The state of a proc is well-defined per proc activation, but if...

I very much like this idea... but I think it needs some fleshing out, particularly around nested conditional expressions. For example, what sort of rewrite should apply to this: ```...

Profiling indicates that LLVM might be getting stuck in the DAGCombiner; it's spending 99.97% of the first two minutes inside `DAGCombiner::Run`. I might try to dump the LLVM IR &...

Though it's not obvious, I believe this will be addressed when we resolve #1023. XLS already supports generation of adapters that manage the simple case of this problem; DSLX just...

Conditional receives/sends can do a lot, especially if we expose reduced strictness through DSLX... The main limitation remaining is that you can't make arbitration decisions based on the fullness of...