File tree Expand file tree Collapse file tree 5 files changed +1480
-880
lines changed Expand file tree Collapse file tree 5 files changed +1480
-880
lines changed Original file line number Diff line number Diff line change 77 {
88 "args" : [
99 {
10- "abitype" : {
11- "size" : " 256" ,
12- "type" : " UInt"
13- },
1410 "type" : " int" ,
15- "var" : " z"
11+ "var" : {
12+ "abitype" : {
13+ "size" : " 256" ,
14+ "type" : " UInt"
15+ },
16+ "kind" : " Var" ,
17+ "var" : " z"
18+ }
1619 },
1720 {
1821 "literal" : " 0" ,
6669 "type" : " int"
6770 },
6871 {
69- "abitype" : {
70- "size" : " 256" ,
71- "type" : " UInt"
72- },
7372 "type" : " int" ,
74- "var" : " z"
73+ "var" : {
74+ "abitype" : {
75+ "size" : " 256" ,
76+ "type" : " UInt"
77+ },
78+ "kind" : " Var" ,
79+ "var" : " z"
80+ }
7581 }
7682 ],
7783 "arity" : 2 ,
8086 {
8187 "args" : [
8288 {
83- "abitype" : {
84- "size" : " 256" ,
85- "type" : " UInt"
86- },
8789 "type" : " int" ,
88- "var" : " z"
90+ "var" : {
91+ "abitype" : {
92+ "size" : " 256" ,
93+ "type" : " UInt"
94+ },
95+ "kind" : " Var" ,
96+ "var" : " z"
97+ }
8998 },
9099 {
91100 "literal" : " 115792089237316195423570985008687907853269984665640564039457584007913129639935" ,
194203 "type" : " int"
195204 },
196205 "value" : {
197- "abitype" : {
198- "size" : " 256" ,
199- "type" : " UInt"
200- },
201206 "type" : " int" ,
202- "var" : " z"
207+ "var" : {
208+ "abitype" : {
209+ "size" : " 256" ,
210+ "type" : " UInt"
211+ },
212+ "kind" : " Var" ,
213+ "var" : " z"
214+ }
203215 }
204216 }
205217 ]
209221 {
210222 "args" : [
211223 {
212- "abitype" : {
213- "size" : " 256" ,
214- "type" : " UInt"
215- },
216224 "type" : " int" ,
217- "var" : " z"
225+ "var" : {
226+ "abitype" : {
227+ "size" : " 256" ,
228+ "type" : " UInt"
229+ },
230+ "kind" : " Var" ,
231+ "var" : " z"
232+ }
218233 },
219234 {
220235 "literal" : " 1" ,
268283 "type" : " int"
269284 },
270285 {
271- "abitype" : {
272- "size" : " 256" ,
273- "type" : " UInt"
274- },
275286 "type" : " int" ,
276- "var" : " z"
287+ "var" : {
288+ "abitype" : {
289+ "size" : " 256" ,
290+ "type" : " UInt"
291+ },
292+ "kind" : " Var" ,
293+ "var" : " z"
294+ }
277295 }
278296 ],
279297 "arity" : 2 ,
282300 {
283301 "args" : [
284302 {
285- "abitype" : {
286- "size" : " 256" ,
287- "type" : " UInt"
288- },
289303 "type" : " int" ,
290- "var" : " z"
304+ "var" : {
305+ "abitype" : {
306+ "size" : " 256" ,
307+ "type" : " UInt"
308+ },
309+ "kind" : " Var" ,
310+ "var" : " z"
311+ }
291312 },
292313 {
293314 "literal" : " 115792089237316195423570985008687907853269984665640564039457584007913129639935" ,
398419 "value" : {
399420 "args" : [
400421 {
401- "abitype" : {
402- "size" : " 256" ,
403- "type" : " UInt"
404- },
405422 "type" : " int" ,
406- "var" : " z"
423+ "var" : {
424+ "abitype" : {
425+ "size" : " 256" ,
426+ "type" : " UInt"
427+ },
428+ "kind" : " Var" ,
429+ "var" : " z"
430+ }
407431 },
408432 {
409433 "literal" : " 1" ,
421445 {
422446 "args" : [
423447 {
424- "abitype" : {
425- "size" : " 256" ,
426- "type" : " UInt"
427- },
428448 "type" : " int" ,
429- "var" : " z"
449+ "var" : {
450+ "abitype" : {
451+ "size" : " 256" ,
452+ "type" : " UInt"
453+ },
454+ "kind" : " Var" ,
455+ "var" : " z"
456+ }
430457 },
431458 {
432459 "literal" : " 1" ,
480507 "type" : " int"
481508 },
482509 {
483- "abitype" : {
484- "size" : " 256" ,
485- "type" : " UInt"
486- },
487510 "type" : " int" ,
488- "var" : " z"
511+ "var" : {
512+ "abitype" : {
513+ "size" : " 256" ,
514+ "type" : " UInt"
515+ },
516+ "kind" : " Var" ,
517+ "var" : " z"
518+ }
489519 }
490520 ],
491521 "arity" : 2 ,
494524 {
495525 "args" : [
496526 {
497- "abitype" : {
498- "size" : " 256" ,
499- "type" : " UInt"
500- },
501527 "type" : " int" ,
502- "var" : " z"
528+ "var" : {
529+ "abitype" : {
530+ "size" : " 256" ,
531+ "type" : " UInt"
532+ },
533+ "kind" : " Var" ,
534+ "var" : " z"
535+ }
503536 },
504537 {
505538 "literal" : " 115792089237316195423570985008687907853269984665640564039457584007913129639935" ,
610643 "value" : {
611644 "args" : [
612645 {
613- "abitype" : {
614- "size" : " 256" ,
615- "type" : " UInt"
616- },
617646 "type" : " int" ,
618- "var" : " z"
647+ "var" : {
648+ "abitype" : {
649+ "size" : " 256" ,
650+ "type" : " UInt"
651+ },
652+ "kind" : " Var" ,
653+ "var" : " z"
654+ }
619655 },
620656 {
621657 "literal" : " 2" ,
Original file line number Diff line number Diff line change 8585 "type" : " int"
8686 },
8787 {
88- "abitype" : {
89- "size" : " 256" ,
90- "type" : " UInt"
91- },
9288 "type" : " int" ,
93- "var" : " z"
89+ "var" : {
90+ "abitype" : {
91+ "size" : " 256" ,
92+ "type" : " UInt"
93+ },
94+ "kind" : " Var" ,
95+ "var" : " z"
96+ }
9497 }
9598 ],
9699 "arity" : 2 ,
99102 {
100103 "args" : [
101104 {
102- "abitype" : {
103- "size" : " 256" ,
104- "type" : " UInt"
105- },
106105 "type" : " int" ,
107- "var" : " z"
106+ "var" : {
107+ "abitype" : {
108+ "size" : " 256" ,
109+ "type" : " UInt"
110+ },
111+ "kind" : " Var" ,
112+ "var" : " z"
113+ }
108114 },
109115 {
110116 "literal" : " 115792089237316195423570985008687907853269984665640564039457584007913129639935" ,
228234 "type" : " int"
229235 },
230236 "value" : {
231- "abitype" : {
232- "size" : " 256" ,
233- "type" : " UInt"
234- },
235237 "type" : " int" ,
236- "var" : " z"
238+ "var" : {
239+ "abitype" : {
240+ "size" : " 256" ,
241+ "type" : " UInt"
242+ },
243+ "kind" : " Var" ,
244+ "var" : " z"
245+ }
237246 }
238247 }
239248 ]
288297 "type" : " int"
289298 },
290299 {
291- "abitype" : {
292- "size" : " 256" ,
293- "type" : " UInt"
294- },
295300 "type" : " int" ,
296- "var" : " z"
301+ "var" : {
302+ "abitype" : {
303+ "size" : " 256" ,
304+ "type" : " UInt"
305+ },
306+ "kind" : " Var" ,
307+ "var" : " z"
308+ }
297309 }
298310 ],
299311 "arity" : 2 ,
302314 {
303315 "args" : [
304316 {
305- "abitype" : {
306- "size" : " 256" ,
307- "type" : " UInt"
308- },
309317 "type" : " int" ,
310- "var" : " z"
318+ "var" : {
319+ "abitype" : {
320+ "size" : " 256" ,
321+ "type" : " UInt"
322+ },
323+ "kind" : " Var" ,
324+ "var" : " z"
325+ }
311326 },
312327 {
313328 "literal" : " 115792089237316195423570985008687907853269984665640564039457584007913129639935" ,
493508 "type" : " int"
494509 },
495510 "value" : {
496- "abitype" : {
497- "size" : " 256" ,
498- "type" : " UInt"
499- },
500511 "type" : " int" ,
501- "var" : " z"
512+ "var" : {
513+ "abitype" : {
514+ "size" : " 256" ,
515+ "type" : " UInt"
516+ },
517+ "kind" : " Var" ,
518+ "var" : " z"
519+ }
502520 }
503521 }
504522 ]
You can’t perform that action at this time.
0 commit comments