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

v0.0.0-4921-gb3b9e86ca

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

v0.0.0-4915-ge1b64b2b6

Automated Code Change

PiperOrigin-RevId: 623048936

v0.0.0-4912-g541c53bb7

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

v0.0.0-4911-g69c01ae0d

Automated Code Change

PiperOrigin-RevId: 622371722

v0.0.0-4899-gc93d25cb7

github/workflows/nightly:  fix release filename

GitHub action yaml attributes use `${{ env.VAR }}` to access env variables; but since we need a lowercase version use a wildcard to capture the arch dependent parts of the filename.

PiperOrigin-RevId: 622167553

v0.0.0-4883-g62d353748

Use `BlockContinuation` in benchmark main.

It abstracts the register initialization.

PiperOrigin-RevId: 621670157

v0.0.0-4871-g1f32f1988

[DSLX:TS] Rename InstantiateParametricArgs to AppendArgsForInstantiat…

v0.0.0-4862-g7de4143d5

dependency_support: switch lzma to a safer repo

- update rules_hdl to current HEAD
- also apply lzma patch to xls workspace's boost dep

PiperOrigin-RevId: 621077231