Add Over/underflow noting version of UMul & SMul to abstract evaluator.

PiperOrigin-RevId: 734756110

Merge pull request #1977 from xlsynth:cdleary/2025-03-05-simple-start…

Rename ChannelReference to ChannelInterface in the IR.

A ChannelInterface (formerly ChannelReference) is a construct in the proc-scoped channel world which binds to a channel. A ChannelInterface is referred to by send and receive nodes and contains the necessary metadata for interfacing with a channel.

An alternative name considered is channel endpoint or channel end, but I think interface better captures the concept as multiple channel interfaces may be stacked on top of each other (nested) via proc instantiation. An end point implies the single termination point of a channel.

PiperOrigin-RevId: 734000400

Bump jinja dep.

Fixes: https://github.com/google/xls/security/dependabot/12
Fixes: https://github.com/google/xls/security/dependabot/14
PiperOrigin-RevId: 733499507

[XLS] Delay collapsing select chains to one-hot selects

Since one-hot selects are harder to analyze, converting select chains to one-hot selects can block later optimizations. In one real-world (private) case, this actually blocks a 10x area improvement; we're currently getting the 10x area improvement due to good luck in phase ordering - the BDD query engine gets stale during the first BDD simplification pass, effectively delaying the select chain collapse until the next BDD simplification pass (which happens to be opt-level-3).

We need to resolve this before we can land a lazy BDD query engine, since that fixes the issue & ends up blocking the 10x area improvement!

PiperOrigin-RevId: 733098985

Merge pull request #1971 from xlsynth:cdleary/2025-03-01-comment-fix

PiperOrigin-RevId: 732718811

In the fuzzer use synchronous reset when reset_data_path is false.

This works around a simulator quirk which caused asserts to fail.

Also, enable rest_data_path=true for functions. A previous reworking of reset handling enabled this capability.

PiperOrigin-RevId: 732479524

Merge pull request #1966 from xlsynth:cdleary/2025-02-13-c-api-functi…

Remove some unused includes in mutual_exclusion_pass.

PiperOrigin-RevId: 731888526

Support zero bits everywhere in Z3.

PiperOrigin-RevId: 731496262