mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-05-13 03:00:26 -04:00
11 lines
240 B
NASM
11 lines
240 B
NASM
machine Intermediate(latch, operation_id) {
|
|
constraints {
|
|
col fixed latch = [1]*;
|
|
col fixed operation_id = [0]*;
|
|
col witness x;
|
|
col intermediate = x;
|
|
col int2 = intermediate;
|
|
col int3 = int2 + intermediate;
|
|
int3 = 2 * x;
|
|
}
|
|
} |