Leandro Pacheco 2b5a308484 Machine arguments (#1356) ...

Fixes #1493

Allow passing machines as argument when instantiating submachines, as
in:
```
use std::machines::binary::Binary;

machine Main with degree: 262144 {
    reg pc[@pc];
    reg X[<=];
    reg Y[<=];
    reg Z[<=];
    reg A;

    Binary binary;
    WithArg sub(binary);

    instr and X, Y -> Z ~ binary.and;
    instr or X, Y -> Z ~ binary.or;
    instr xor X, Y -> Z ~ binary.xor;
    ...
}

machine WithArg(bin: Binary) {
    reg pc[@pc];
    reg X[<=];
    reg Y[<=];
    reg Z[<=];
    reg A;
    reg B;

    instr and X, Y -> Z ~ bin.and;
    instr or X, Y -> Z ~ bin.or;
    instr xor X, Y -> Z ~ bin.xor;
    ...
}
```

2024-07-01 10:38:08 +00:00

..

asm

Machine arguments (#1356)

2024-07-01 10:38:08 +00:00

pil

Add plonky3 support (#1158)

2024-06-26 20:05:05 +00:00

polygon-hermez

Distinguish between integer and field element.

2024-01-25 17:40:23 +01:00

std

implement lookup arguments from logarithmic derivatives in pil (#1477)

2024-06-30 13:04:15 +00:00