Tags: google/xls

Add proc_constancy_checker_main.

The idea of this tool is to use Z3 to search for provably-constant nodes that aren't represented as literals. Ideally, opt would be able to see all of these, although this is of course difficult in general.

PiperOrigin-RevId: 961202686

Check if committing a folding action would create a cycle.

Folding it could either create a visibility expression cycle, or a data cycle.

PiperOrigin-RevId: 960665768

API checking if performing a folding action would create a cyclical v…

…isibility expression.

The actual cycle analysis is in a following patch, this is the visibility-related primitive.

PiperOrigin-RevId: 960028412

Fix bug where legacy proc converter dropped I/O at the end of statele…

…ss proc.

PiperOrigin-RevId: 959169571

[Explicit State Access] Rename constructor methods `ProcBuilder::Stat…

…eElement` to `ProcBuilder::ReadStateElement` and `ProcBuilder::UnreadStateElement` to `ProcBuilder::StateElement`

PiperOrigin-RevId: 958669581

Change legacy proc converter to turn type aliases into parametric typ…

…e defaults.

Previously, the converter just did not support legacy procs with type aliases.

PiperOrigin-RevId: 957334910

Migrate XLS from custom status macros and StatusBuilder to OSS Abseil.

- Migrate from `xabsl::SourceLocation` to `absl::SourceLocation` now that it is in abseil. This requires bumping abseil and patching ortools for now.
- Redefine XLS_RETURN_IF_ERROR to ABSL_RETURN_IF_ERROR (globally qualifying ::absl:: for namespace robustness).
- Redefine XLS_ASSIGN_OR_RETURN to ABSL_ASSIGN_OR_RETURN.
- Add a template specialization for absl::status_macro_internal::IsAllowedStatusOrMacroType for xls::StatusOrRef<T> in status_or_ref.h to enable custom XLS reference status-ors with ABSL_ASSIGN_OR_RETURN.
- Migrate xabsl::StatusBuilder to absl::StatusBuilder across XLS and replace/ xls/common/status/status_builder.h with absl/status/status_builder.h.

PiperOrigin-RevId: 956925846

Internal Only Changes

PiperOrigin-RevId: 956185208

Make the resource sharing pass a TEST_P

PiperOrigin-RevId: 955341357

Clean up includes in xls/examples.

PiperOrigin-RevId: 954953757