Add std::array compatibility header to synth_only

PiperOrigin-RevId: 930866129

Fix parametric ProcDefs in bytecode interpreter.

There are several problems being fixed here, all of which are verified by the added interpreter test case:
* Mapping of data by ProcDef* without the effective parametrics.
* Lack of knowledge of the effective parametrics in the ProcInitializer.
* The ProcInitializer being created based on evaluation of member initializers before their types were determined (wrong ordering in flatten_in_type_order).
* Missing storage of TypeReference constexpr values for generics.
* Incorrect comparison of TypeReference constants in interp_value.cc
* An auxiliary proc map in type_info.cc using unstable pointers to objects in a vector.

PiperOrigin-RevId: 930116263

Replace zero-latency buffer with FIFO instantiation in RAM rewrite pass.

This change updates the RAM rewrite pass to use a FIFO instantiation instead of a zero-latency buffer for buffering RAM response data, valid, and ready signals.

PiperOrigin-RevId: 928916294

[DSLX Fuzz testing] Implement type-checking of nested and imported st…

Fix XLS fuzzer hang by limiting BDD evaluations of wide shifts and sl…

[Explicit State Access] Add library functions to check for ambiguous …

Bytecode interpreter support for explicit state access.

The basic idea is:
* Introduce a new kind of InterpValue for a reference to a state element.
* Have type inference store these as the constexpr value for a state element NameDef in a proc with explicit state access.
* Add bytecode operations for read and write, corresponding to the builtin functions, and emit these operations for the builtin calls.
* Add a map of state element InterpValue by NameDef when interpreting a proc, and have the read and write operations use it.
* Stop expecting next() to return updated state when using explicit state access.

PiperOrigin-RevId: 925817995

Add --live_only flag to ir_to_cytoscape.py.

This flag enables filtering out nodes that are marked as 'dead_after_synthesis' from the generated Cytoscape JSON. When enabled, only nodes not marked as dead and edges between such live nodes are included in the output.

PiperOrigin-RevId: 924954504

Merge pull request #4326 from antmicro:update-enumerate-docs

PiperOrigin-RevId: 924541217

fuzz: Add fuzzer crasher regression test for cf550c89

PiperOrigin-RevId: 923607315