v0.0.0-5199-gf59b8a886

Propagate typedef names in VAST type inference more optimistically.

Previously, we would aggressively replace them with generic types to avoid weird promotions to typedefs. The rules now try to target weird promotions more specifically.

PiperOrigin-RevId: 640721864

v0.0.0-5190-g94b465430

Change visibility of design_stats_py_pb2 to allow other Python code t…

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…