[Proc-scoped channels] Fix the toggling of converting test procs by s…

Automated Code Change

PiperOrigin-RevId: 815109595

Model OHS 2-layer nand reduce for logical-effort delay.

This is not actually used in any delay model but this is a better model for how much logical effort is actually needed to implement a OHS.

PiperOrigin-RevId: 814811564

Merge pull request #3133 from xlsynth:cdleary/2025-09-29-package-name…

[xls][mlir] Move conversions between int/floats and `xls::Value`s to …

Integrate LLVM at llvm/llvm-project@d28c07b7550a

Updates LLVM usage to match
[d28c07b7550a](https://github.com/llvm/llvm-project/commit/d28c07b7550a)

PiperOrigin-RevId: 813490970

Make bdd_query_engine calculate AtMostOneTrue out to 300 bits

We previously wouldn't even try for more than 64 bits. By allowing more depth we get better results.

This also rewrites the checker slightly to avoid creating as large of a BDD improving performance.

PiperOrigin-RevId: 812934517

Optimize node dependency intermediates.

We aggressively prune the intermediate values as we go.

This leads to less memory usage.

PiperOrigin-RevId: 811977383

Create a sign-parameterized std::pow() function and retrofit upow and…

Automated Code Change

PiperOrigin-RevId: 811196146