Fix cloning a function within a parametric `proc` so it properly clon…

Re-add included needed include.

Follow-up to recent change in this file.

PiperOrigin-RevId: 693519811

[XLS] When using a target clock for guidance, apply the user's relaxa…

Print the mismatching sha256sum values when frozen build rules fail.

Previously the targets check_sha256sum_frozen and check_sha256sum_test would just emit that a sum mismatched. Now both hashes are printed. For example:

  Error: sha256sum checksum mismatch for file 'foo':
    expected: a8000f5f5431b05592d876f568c1c34dc73633a3de3d11eba30d87d03f4441e5
    actual:   cb04ccd886a4191d5ed6ddb3ac213b9d4eb9144b6d52880544d72ae6f055e432

PiperOrigin-RevId: 692327335

Fixes for importing struct constants and related TypeAliases.

https://github.com/google/xls/issues/1277

PiperOrigin-RevId: 691892390

Fix several sources of build nondeteriminism in XLS.

The following nondeterminism problems were fixed:

  *  VerilogLineMapping generated by iterating over a flat_hash_map.

  *  Run-files paths (e.g., "/build/work/.../runtimes/...") were embedded into build artifacts, for example, as source locations. These paths are dependent on the build environment such as build path and build mode. This is not exactly nondeterminism but does affect repeatability as the build context affects the result.

  *  Channel legalization pass iterated over a flat_hash_map for some of its work.

PiperOrigin-RevId: 691552163

[mlir] Add linkage kind to translate linkage.

This currently is just a EnumAttr and if sets marks the function such that its assuming there is an existing function with exactly the same name that should be used instead when generating Verilog.

Some follow up work to change code_template & other refinement.

PiperOrigin-RevId: 691213040

Merge #1665 by cdleary: [public:c_api] Add some missing symbols, make…

[XLS] Fix a scheduling command line flag; `--minimize_worst_case_thro…

[XLScc] Remove support for intrinsic-based loop annotations

These are now obsolete, replaced by the new attribute-based loop annotations.

NOTE: Users can still use the pragma-based loop annotations for compatibility; these are translated to attribute-based annotations internally.
PiperOrigin-RevId: 689583676