Enable kEmptyRangeLiteral warning for TIv2

PiperOrigin-RevId: 805224805

Fix unused variables in XLS source code since they will create warnin…

Automated Code Change

PiperOrigin-RevId: 803750074

[opt] Enhance Select Lifting to leverage commutativity of binary oper…

Switch Yosys statistics parsing from text to JSON output.

The Yosys synthesis service now uses `yosys tee` to write the output of `yosys stat` to a JSON file. The `yosys_util` library has been updated to parse this JSON file using `json11` to extract cell counts, area, and sequential area, replacing the previous regex-based parsing of the standard output.

PiperOrigin-RevId: 802850205

Add check for `cover!` builtin in TIv2.

PiperOrigin-RevId: 802336540

Fix bug that IR converter fails to emit special attribute of parametr…

Fix dslx_to_verilog when using TIv2, and cover both TI versions with …

Merge pull request #2940 from xlsynth:siruilu-20250823-show-dslx-body

PiperOrigin-RevId: 800215463

Enable TIv2 for xls/dslx/interpreter_test.py

Updated expected error messages in test cases when switching to TIv2
Removed tests that are no longer considered invalid in TIv2.

PiperOrigin-RevId: 799749593