Leo 3364d9186d Memory16 (#1871) ...

Extracted from https://github.com/powdr-labs/powdr/pull/1790

This PR adds std and witgen support for the new 16-bit limb memory
machine.

- The current version only supports 24-bit addresses. I think it's fine
for now, but we should fix it later.
- Github fails miserably at showing the proper diff, but:
- the new file `double_sorted_32.rs` is the same as the old unique
`double_sorted.rs`, minus the common parts which
- were left in the outermost `double_sorted.rs` which dispatches calls
depending on the field
- the new file `double_sorted_16.rs` is very similar to the 32 case, but
adjusted for 2 value fields.
- There are probably more common things we can extract, but this here is
enough for a first version.

---------

Co-authored-by: Leo Alt <leo@ethereum.org>
Co-authored-by: Georg Wiese <georgwiese@gmail.com>

2024-10-09 17:10:45 +00:00

..

constant_evaluator

Use jit compiler to generate fixed column values. (#1825)

2024-10-03 17:10:58 +00:00

witgen

Memory16 (#1871)

2024-10-09 17:10:45 +00:00

lib.rs

Allow blocks to be empty (#1435)

2024-07-01 15:05:32 +00:00