v0.0.0-4996-ged8e7f1fe

Fix incorrect serialization of `bypass` on channels.

PiperOrigin-RevId: 627545541

v0.0.0-4987-g611f12b40

Don't extract stages in benchmark_main when `--compare_delay_to_synth…

v0.0.0-4980-ga8ff162fa

[DSLX:FE][cleanup] Switch from kChannel to kChan to reflect the keyword.

PiperOrigin-RevId: 626460923

v0.0.0-4973-g3a37270a5

[DSLX:TS] Use type zipper to print mismatches in types more nicely.

Remaining to be done: we should identify when tuples have "substring matches";
e.g. they won't structurally match but some elements inside of them will. This
will help make messages better for cases e.g. where we leave off a tuple
element by accident.

Towards google/xls#1379

PiperOrigin-RevId: 626218553

v0.0.0-4964-g4b57b373f

[DSLX:TS] Make type mismatch errors multiline when the types are aggr…

v0.0.0-4953-g35c51140f

Fix `eval_proc_main`'s Block simulation

Broken for channels with empty expected values after commit 66424e6, as we failed to initialize the queues.

PiperOrigin-RevId: 625461582

v0.0.0-4952-g1745a13ce

[DSLX][docs] Add some docs on DSLX type system and parametric instant…

v0.0.0-4945-g24be2c494

Make visitor for block elaborations.

PiperOrigin-RevId: 624326262

v0.0.0-4939-g772cbed28

[solvers] Add counterexample extraction helper.

Right now this only works on bits types -- starting simple to hook up to the
DSLX quickcheck prover as a next step so it can dump out counterexamples in
unit test form.

PiperOrigin-RevId: 623952106

v0.0.0-4930-g0bea646ad

dist: add prove_quickcheck_main

- add prove_quickcheck_main target

PiperOrigin-RevId: 623677461