syrup-backend/examples/add/input.json at master · costa-group/syrup-backend · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
{
  "max_progr_len": 6,
  "init_progr_len": 6,
  "max_sk_sz": 6,
  "vars": [
    "x0",
    "x1",
    "x2",
    "x3",
    "x0+x1",
    "x2+x3"
  ],
  "src_ws": [
    "x0",
    "x1",
    "x2",
    "x3"
  ],
  "tgt_ws": [
    "x0+x1",
    "x2+x3"
  ],
  "current_cost": 12,
  "user_instrs": [
    {
      "id": "ADD_1",
      "opcode": "01",
      "disasm": "ADD",
      "inpt_sk": [
        "x0",
        "x1"
      ],
      "outpt_sk": [
        "x0+x1"
      ],
      "commutative": true,
      "gas": 3
    },
    {
      "id": "ADD_2",
      "opcode": "01",
      "disasm": "ADD",
      "inpt_sk": [
        "x2",
        "x3"
      ],
      "outpt_sk": [
        "x2+x3"
      ],
      "commutative": true,
      "gas": 3
    }
  ]
}