Leo 5d162d8fda remove unaligned memory check in double sorted memory machine in witgen (#1271) ...

This is only needed for RISCV, but witgen is more general than RISCV and
should allow memory accesses anywhere, especially since we have the std
memory machine.

The RISCV executor also checks this so it won't go unchecked.

2024-04-15 12:44:20 +00:00

..

src

remove unaligned memory check in double sorted memory machine in witgen (#1271)

2024-04-15 12:44:20 +00:00

Cargo.toml

Some dependency cleanup. (#1209)

2024-03-28 12:23:35 +00:00