Structsยง
- Rv32
Heap Adapter Air - This adapter reads from NUM_READS <= 2 pointers and writes to 1 pointer.
- Rv32
Heap Adapter Executor - Rv32
Heap Adapter Filler - Rv32
Heap Branch Adapter Air - Rv32
Heap Branch Adapter Cols - This adapter reads from NUM_READS <= 2 pointers.
- Rv32
Heap Branch Adapter Executor - Rv32
Heap Branch Adapter Filler - Rv32
Heap Branch Adapter Record - Rv32
IsEqual ModAdapter Air - Rv32
IsEqual ModAdapter Cols - This adapter reads from NUM_READS <= 2 pointers and writes to a register.
- Rv32
IsEqual ModAdapter Executor - Rv32
IsEqual ModAdapter Filler - Rv32
IsEqual ModAdapter Record - Rv32
VecHeap Adapter Air - Rv32
VecHeap Adapter Cols - This adapter reads from R (R <= 2) pointers and writes to 1 pointer.
- Rv32
VecHeap Adapter Executor - Rv32
VecHeap Adapter Filler - Rv32
VecHeap Adapter Record