Make fuzzer CONFIG contain proto-message type comment.

This makes it faster for a reader to find out where the
details are defined.

PiperOrigin-RevId: 673578406

Shatter proc state when they are small arrays.

PiperOrigin-RevId: 673142029

Automated Code Change

PiperOrigin-RevId: 672807370

Improve abstract-evaluator handling of select-ops

The abstract evaluator is constructed to use boolean logic to implement various operations. This includes implementing an implementation of (a 1 bit-wide)'if' that looks like `(or (and selector consequent) (and (not selector) alternate)`. This uses the law of the excluded middle to ensure that either the consequent or alternate are selected. Unfortunately the Ternary abstract evaluator violates the excluded middle since it does not keep track of the fact that the two uses of `selector` are linked. This means the ternary evaluator is unable to see some quite simple facts. This was most prominent on priority-select but could occur with other selects as well (though not with the ternary evaluator).

This adds a 'If' primitive operation to the abstract-evaluator which implementers can use to ensure the excluded middle is respected to the largest extent possible.

PiperOrigin-RevId: 671938752

Generalize delay_model to estimator_model

The delay model contains many estimators that are useful for other metrics
model. This generalization of the delay model enables the reusing these
estimators for other metrics.

PiperOrigin-RevId: 671619658

Automated Code Change

PiperOrigin-RevId: 671235031

[XLS] Store Node operands in an absl::InlinedVector

This is a small optimization that can save heap allocations for many types of nodes.

PiperOrigin-RevId: 670758743

Merge pull request #1577 from google:cdleary/2024-08-24-dslx-ls-goto-…

Fix build

xls/dslx/fmt/ast_fmt_test.cc:538:32: error: use of undeclared identifier 'IsOkAndHolds'; did you mean 'status_testing::IsOkAndHolds'?

PiperOrigin-RevId: 669174492

Automated Code Change

PiperOrigin-RevId: 668759387