leo-disassembler 4.0.2

A disassembler for the Leo programming language
Documentation 
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242

import credits.aleo;

program large_functions.aleo;

function join_3:
    input r0 as credits.aleo/credits.record;
    input r1 as credits.aleo/credits.record;
    input r2 as credits.aleo/credits.record;
    assert.eq r0.owner r1.owner;
    assert.eq r1.owner r2.owner;
    call credits.aleo/join r0 r1 into r3;
    call credits.aleo/join r3 r2 into r4;
    output r4 as credits.aleo/credits.record;

function join_5:
    input r0 as credits.aleo/credits.record;
    input r1 as credits.aleo/credits.record;
    input r2 as credits.aleo/credits.record;
    input r3 as credits.aleo/credits.record;
    input r4 as credits.aleo/credits.record;
    assert.eq r0.owner r1.owner;
    assert.eq r1.owner r2.owner;
    assert.eq r2.owner r3.owner;
    assert.eq r3.owner r4.owner;
    call credits.aleo/join r0 r1 into r5;
    call credits.aleo/join r2 r3 into r6;
    call credits.aleo/join r5 r6 into r7;
    call credits.aleo/join r7 r4 into r8;
    output r8 as credits.aleo/credits.record;

function join6:
    input r0 as credits.aleo/credits.record;
    input r1 as credits.aleo/credits.record;
    input r2 as credits.aleo/credits.record;
    input r3 as credits.aleo/credits.record;
    input r4 as credits.aleo/credits.record;
    input r5 as credits.aleo/credits.record;
    assert.eq r0.owner r1.owner;
    assert.eq r1.owner r2.owner;
    assert.eq r2.owner r3.owner;
    assert.eq r3.owner r4.owner;
    assert.eq r4.owner r5.owner;
    call credits.aleo/join r0 r1 into r6;
    call credits.aleo/join r2 r3 into r7;
    call credits.aleo/join r4 r5 into r8;
    call credits.aleo/join r6 r7 into r9;
    call credits.aleo/join r9 r8 into r10;
    output r10 as credits.aleo/credits.record;

function join7:
    input r0 as credits.aleo/credits.record;
    input r1 as credits.aleo/credits.record;
    input r2 as credits.aleo/credits.record;
    input r3 as credits.aleo/credits.record;
    input r4 as credits.aleo/credits.record;
    input r5 as credits.aleo/credits.record;
    input r6 as credits.aleo/credits.record;
    assert.eq r0.owner r1.owner;
    assert.eq r1.owner r2.owner;
    assert.eq r2.owner r3.owner;
    assert.eq r3.owner r4.owner;
    assert.eq r4.owner r5.owner;
    assert.eq r5.owner r6.owner;
    call credits.aleo/join r0 r1 into r7;
    call credits.aleo/join r2 r3 into r8;
    call credits.aleo/join r4 r5 into r9;
    call credits.aleo/join r7 r8 into r10;
    call credits.aleo/join r10 r9 into r11;
    call credits.aleo/join r11 r6 into r12;
    output r12 as credits.aleo/credits.record;

function join8:
    input r0 as credits.aleo/credits.record;
    input r1 as credits.aleo/credits.record;
    input r2 as credits.aleo/credits.record;
    input r3 as credits.aleo/credits.record;
    input r4 as credits.aleo/credits.record;
    input r5 as credits.aleo/credits.record;
    input r6 as credits.aleo/credits.record;
    input r7 as credits.aleo/credits.record;
    assert.eq r0.owner r1.owner;
    assert.eq r1.owner r2.owner;
    assert.eq r2.owner r3.owner;
    assert.eq r3.owner r4.owner;
    assert.eq r4.owner r5.owner;
    assert.eq r5.owner r6.owner;
    assert.eq r6.owner r7.owner;
    call credits.aleo/join r0 r1 into r8;
    call credits.aleo/join r2 r3 into r9;
    call credits.aleo/join r4 r5 into r10;
    call credits.aleo/join r6 r7 into r11;
    call credits.aleo/join r8 r9 into r12;
    call credits.aleo/join r11 r10 into r13;
    call credits.aleo/join r12 r13 into r14;
    output r14 as credits.aleo/credits.record;

function join9:
    input r0 as credits.aleo/credits.record;
    input r1 as credits.aleo/credits.record;
    input r2 as credits.aleo/credits.record;
    input r3 as credits.aleo/credits.record;
    input r4 as credits.aleo/credits.record;
    input r5 as credits.aleo/credits.record;
    input r6 as credits.aleo/credits.record;
    input r7 as credits.aleo/credits.record;
    input r8 as credits.aleo/credits.record;
    assert.eq r0.owner r1.owner;
    assert.eq r1.owner r2.owner;
    assert.eq r2.owner r3.owner;
    assert.eq r3.owner r4.owner;
    assert.eq r4.owner r5.owner;
    assert.eq r5.owner r6.owner;
    assert.eq r6.owner r7.owner;
    assert.eq r7.owner r8.owner;
    call credits.aleo/join r0 r1 into r9;
    call credits.aleo/join r2 r3 into r10;
    call credits.aleo/join r4 r5 into r11;
    call credits.aleo/join r6 r7 into r12;
    call credits.aleo/join r9 r10 into r13;
    call credits.aleo/join r12 r11 into r14;
    call credits.aleo/join r13 r14 into r15;
    call credits.aleo/join r15 r8 into r16;
    output r16 as credits.aleo/credits.record;

function join10:
    input r0 as credits.aleo/credits.record;
    input r1 as credits.aleo/credits.record;
    input r2 as credits.aleo/credits.record;
    input r3 as credits.aleo/credits.record;
    input r4 as credits.aleo/credits.record;
    input r5 as credits.aleo/credits.record;
    input r6 as credits.aleo/credits.record;
    input r7 as credits.aleo/credits.record;
    input r8 as credits.aleo/credits.record;
    input r9 as credits.aleo/credits.record;
    assert.eq r0.owner r1.owner;
    assert.eq r1.owner r2.owner;
    assert.eq r2.owner r3.owner;
    assert.eq r3.owner r4.owner;
    assert.eq r4.owner r5.owner;
    assert.eq r5.owner r6.owner;
    assert.eq r6.owner r7.owner;
    assert.eq r7.owner r8.owner;
    assert.eq r8.owner r9.owner;
    call credits.aleo/join r0 r1 into r10;
    call credits.aleo/join r2 r3 into r11;
    call credits.aleo/join r4 r5 into r12;
    call credits.aleo/join r6 r7 into r13;
    call credits.aleo/join r8 r9 into r14;
    call credits.aleo/join r10 r11 into r15;
    call credits.aleo/join r13 r12 into r16;
    call credits.aleo/join r15 r16 into r17;
    call credits.aleo/join r17 r14 into r18;
    output r18 as credits.aleo/credits.record;

function transfer_3:
    input r0 as address.private;
    input r1 as credits.aleo/credits.record;
    input r2 as credits.aleo/credits.record;
    input r3 as credits.aleo/credits.record;
    assert.eq r1.owner r2.owner;
    assert.eq r2.owner r3.owner;
    call credits.aleo/transfer_private r1 r0 r1.microcredits into r4 r5;
    call credits.aleo/transfer_private r2 r0 r2.microcredits into r6 r7;
    call credits.aleo/transfer_private r3 r0 r3.microcredits into r8 r9;
    output r4 as credits.aleo/credits.record;
    output r5 as credits.aleo/credits.record;
    output r6 as credits.aleo/credits.record;
    output r7 as credits.aleo/credits.record;
    output r8 as credits.aleo/credits.record;
    output r9 as credits.aleo/credits.record;

function transfer_5:
    input r0 as address.private;
    input r1 as credits.aleo/credits.record;
    input r2 as credits.aleo/credits.record;
    input r3 as credits.aleo/credits.record;
    input r4 as credits.aleo/credits.record;
    input r5 as credits.aleo/credits.record;
    assert.eq r1.owner r2.owner;
    assert.eq r2.owner r3.owner;
    assert.eq r3.owner r4.owner;
    assert.eq r4.owner r5.owner;
    call credits.aleo/transfer_private r1 r0 r1.microcredits into r6 r7;
    call credits.aleo/transfer_private r2 r0 r2.microcredits into r8 r9;
    call credits.aleo/transfer_private r3 r0 r3.microcredits into r10 r11;
    call credits.aleo/transfer_private r4 r0 r4.microcredits into r12 r13;
    call credits.aleo/transfer_private r5 r0 r5.microcredits into r14 r15;
    output r6 as credits.aleo/credits.record;
    output r7 as credits.aleo/credits.record;
    output r8 as credits.aleo/credits.record;
    output r9 as credits.aleo/credits.record;
    output r10 as credits.aleo/credits.record;
    output r11 as credits.aleo/credits.record;
    output r12 as credits.aleo/credits.record;
    output r13 as credits.aleo/credits.record;
    output r14 as credits.aleo/credits.record;
    output r15 as credits.aleo/credits.record;

function split_3:
    input r0 as u64.private;
    input r1 as credits.aleo/credits.record;
    input r2 as credits.aleo/credits.record;
    input r3 as credits.aleo/credits.record;
    assert.eq r1.owner r2.owner;
    assert.eq r2.owner r3.owner;
    call credits.aleo/split r1 r0 into r4 r5;
    call credits.aleo/split r2 r0 into r6 r7;
    call credits.aleo/split r3 r0 into r8 r9;
    output r4 as credits.aleo/credits.record;
    output r5 as credits.aleo/credits.record;
    output r6 as credits.aleo/credits.record;
    output r7 as credits.aleo/credits.record;
    output r8 as credits.aleo/credits.record;
    output r9 as credits.aleo/credits.record;

function split_5:
    input r0 as u64.private;
    input r1 as credits.aleo/credits.record;
    input r2 as credits.aleo/credits.record;
    input r3 as credits.aleo/credits.record;
    input r4 as credits.aleo/credits.record;
    input r5 as credits.aleo/credits.record;
    assert.eq r1.owner r2.owner;
    assert.eq r2.owner r3.owner;
    assert.eq r3.owner r4.owner;
    assert.eq r4.owner r5.owner;
    call credits.aleo/split r1 r0 into r6 r7;
    call credits.aleo/split r2 r0 into r8 r9;
    call credits.aleo/split r3 r0 into r10 r11;
    call credits.aleo/split r4 r0 into r12 r13;
    call credits.aleo/split r5 r0 into r14 r15;
    output r6 as credits.aleo/credits.record;
    output r7 as credits.aleo/credits.record;
    output r8 as credits.aleo/credits.record;
    output r9 as credits.aleo/credits.record;
    output r10 as credits.aleo/credits.record;
    output r11 as credits.aleo/credits.record;
    output r12 as credits.aleo/credits.record;
    output r13 as credits.aleo/credits.record;
    output r14 as credits.aleo/credits.record;
    output r15 as credits.aleo/credits.record;