v0.0.0-5184-g5f8de03f4

Merge pull request #1443 from xlsynth:cdleary/2024-05-30-xls-value-c-api

PiperOrigin-RevId: 639919532

v0.0.0-5178-g07bd3a3c9

Tweaks to VAST type inference logic.

- Constant-fold the expressions within type definitions, for more accurate inference of affected types.
- Infer the types of untyped parameters.
- Bug fixes such as some previously missing operand recursion.

PiperOrigin-RevId: 639118619

v0.0.0-5177-gd2da1045e

Merge pull request #935 from proppy:gcd

PiperOrigin-RevId: 638888730

v0.0.0-5169-g55a5decb0

Remove unnecessary BUILD dependencies after recent refactorings.

PiperOrigin-RevId: 638324770

v0.0.0-5164-g70de42812

Use AOT compiled JIT code for several proc tests

This speeds up proc-testing significantly.

Fixes: https://github.com/google/xls/issues/1403
PiperOrigin-RevId: 638080318

v0.0.0-5155-gec4df616b

Extract a single proc in ir_minimizer

PiperOrigin-RevId: 637665333

v0.0.0-5154-g66262cdb7

xls/codegen: make output port name configurable

Fixes #448

PiperOrigin-RevId: 637506237

v0.0.0-5153-g3942eafb4

mkdocs generated documentation from 044c2323bc608f18accd85194d42bb417…

…84e736f

v0.0.0-5146-gdf5464a30

DSLX: Always convert old-style proc-next to new-style

This is the first step in removing support for old-style proc-next.

Part of the cleanup effort for #1401

PiperOrigin-RevId: 636754206

v0.0.0-5141-gba6060c9e

No need to link gtest alongside benchmark; latter sufficient.

PiperOrigin-RevId: 636281952