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

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

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

Make visitor for block elaborations.

PiperOrigin-RevId: 624326262

[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

dist: add prove_quickcheck_main

- add prove_quickcheck_main target

PiperOrigin-RevId: 623677461

Add truncate/extend support for InlineBitmap.

Since these are used to implement Bits and similar things this functionality is only exposed as creating a new bitmap with the given size (or operating on an RValue).

Update bits_ops::Zero/SignExtend to work using this and add a new Truncate.

Micro-benchmarks show these as being an 75% less time.

PiperOrigin-RevId: 623290302

Automated Code Change

PiperOrigin-RevId: 623048936

Add state index to selector for "select before loop" in merge states …

Automated Code Change

PiperOrigin-RevId: 622371722