@fluffylabs/anan-as 1.2.0 → 1.3.0-39d3435

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (110) hide show
  1. package/dist/bin/index.js +138 -5
  2. package/dist/bin/src/fuzz.js +2 -2
  3. package/dist/bin/src/test-json.js +2 -6
  4. package/dist/bin/src/trace-parse.js +1 -0
  5. package/dist/bin/src/trace-replay.js +14 -9
  6. package/dist/bin/src/tracer.js +16 -13
  7. package/dist/bin/src/utils.js +2 -2
  8. package/dist/build/compiler-inline.js +1 -1
  9. package/dist/build/compiler.d.ts +17 -13
  10. package/dist/build/compiler.js +13 -21
  11. package/dist/build/compiler.wasm +0 -0
  12. package/dist/build/debug-inline.js +1 -1
  13. package/dist/build/debug-raw-inline.js +1 -1
  14. package/dist/build/debug-raw.d.ts +50 -112
  15. package/dist/build/debug-raw.js +78 -139
  16. package/dist/build/debug-raw.wasm +0 -0
  17. package/dist/build/debug.d.ts +50 -112
  18. package/dist/build/debug.js +81 -147
  19. package/dist/build/debug.wasm +0 -0
  20. package/dist/build/js/assembly/api-debugger.d.ts +55 -0
  21. package/dist/build/js/assembly/api-debugger.js +245 -0
  22. package/dist/build/js/assembly/api-internal.d.ts +13 -0
  23. package/dist/build/js/assembly/api-internal.js +191 -0
  24. package/dist/build/js/assembly/api-types.d.ts +45 -0
  25. package/dist/build/js/assembly/api-types.js +52 -0
  26. package/dist/build/js/assembly/api-utils.d.ts +79 -0
  27. package/dist/build/js/assembly/api-utils.js +221 -0
  28. package/dist/build/js/assembly/arguments.d.ts +44 -0
  29. package/dist/build/js/assembly/arguments.js +164 -0
  30. package/dist/build/js/assembly/codec.d.ts +24 -0
  31. package/dist/build/js/assembly/codec.js +139 -0
  32. package/dist/build/js/assembly/gas.d.ts +11 -0
  33. package/dist/build/js/assembly/gas.js +33 -0
  34. package/dist/build/js/assembly/index-shared.d.ts +4 -0
  35. package/dist/build/js/assembly/index-shared.js +4 -0
  36. package/dist/build/js/assembly/instructions/bit.d.ts +11 -0
  37. package/dist/build/js/assembly/instructions/bit.js +53 -0
  38. package/dist/build/js/assembly/instructions/branch.d.ts +17 -0
  39. package/dist/build/js/assembly/instructions/branch.js +120 -0
  40. package/dist/build/js/assembly/instructions/jump.d.ts +5 -0
  41. package/dist/build/js/assembly/instructions/jump.js +21 -0
  42. package/dist/build/js/assembly/instructions/load.d.ts +17 -0
  43. package/dist/build/js/assembly/instructions/load.js +134 -0
  44. package/dist/build/js/assembly/instructions/logic.d.ts +10 -0
  45. package/dist/build/js/assembly/instructions/logic.js +47 -0
  46. package/dist/build/js/assembly/instructions/math.d.ts +28 -0
  47. package/dist/build/js/assembly/instructions/math.js +225 -0
  48. package/dist/build/js/assembly/instructions/misc.d.ts +6 -0
  49. package/dist/build/js/assembly/instructions/misc.js +22 -0
  50. package/dist/build/js/assembly/instructions/mov.d.ts +6 -0
  51. package/dist/build/js/assembly/instructions/mov.js +35 -0
  52. package/dist/build/js/assembly/instructions/outcome.d.ts +30 -0
  53. package/dist/build/js/assembly/instructions/outcome.js +88 -0
  54. package/dist/build/js/assembly/instructions/rot.d.ts +15 -0
  55. package/dist/build/js/assembly/instructions/rot.js +66 -0
  56. package/dist/build/js/assembly/instructions/set.d.ts +7 -0
  57. package/dist/build/js/assembly/instructions/set.js +36 -0
  58. package/dist/build/js/assembly/instructions/shift.d.ts +19 -0
  59. package/dist/build/js/assembly/instructions/shift.js +121 -0
  60. package/dist/build/js/assembly/instructions/store.d.ts +17 -0
  61. package/dist/build/js/assembly/instructions/store.js +101 -0
  62. package/dist/build/js/assembly/instructions/utils.d.ts +25 -0
  63. package/dist/build/js/assembly/instructions/utils.js +91 -0
  64. package/dist/build/js/assembly/instructions-exe.d.ts +2 -0
  65. package/dist/build/js/assembly/instructions-exe.js +245 -0
  66. package/dist/build/js/assembly/instructions.d.ts +10 -0
  67. package/dist/build/js/assembly/instructions.js +252 -0
  68. package/dist/build/js/assembly/interpreter.d.ts +28 -0
  69. package/dist/build/js/assembly/interpreter.js +221 -0
  70. package/dist/build/js/assembly/math.d.ts +6 -0
  71. package/dist/build/js/assembly/math.js +22 -0
  72. package/dist/build/js/assembly/memory-page.d.ts +36 -0
  73. package/dist/build/js/assembly/memory-page.js +74 -0
  74. package/dist/build/js/assembly/memory.d.ts +83 -0
  75. package/dist/build/js/assembly/memory.js +482 -0
  76. package/dist/build/js/assembly/portable.d.ts +24 -0
  77. package/dist/build/js/assembly/portable.js +363 -0
  78. package/dist/build/js/assembly/program-build.d.ts +2 -0
  79. package/dist/build/js/assembly/program-build.js +104 -0
  80. package/dist/build/js/assembly/program.d.ts +85 -0
  81. package/dist/build/js/assembly/program.js +340 -0
  82. package/dist/build/js/assembly/registers.d.ts +6 -0
  83. package/dist/build/js/assembly/registers.js +9 -0
  84. package/dist/build/js/assembly/spi.d.ts +92 -0
  85. package/dist/build/js/assembly/spi.js +152 -0
  86. package/dist/build/js/portable/bootstrap.d.ts +1 -0
  87. package/dist/build/js/portable/bootstrap.js +6 -0
  88. package/dist/build/js/portable/index.d.ts +4 -0
  89. package/dist/build/js/portable/index.js +6 -0
  90. package/dist/build/js/portable-bundle.js +4497 -0
  91. package/dist/build/release-inline.js +1 -1
  92. package/dist/build/release-mini-inline.js +1 -1
  93. package/dist/build/release-mini.d.ts +50 -112
  94. package/dist/build/release-mini.js +81 -147
  95. package/dist/build/release-mini.wasm +0 -0
  96. package/dist/build/release-stub-inline.js +1 -1
  97. package/dist/build/release-stub.d.ts +50 -112
  98. package/dist/build/release-stub.js +81 -147
  99. package/dist/build/release-stub.wasm +0 -0
  100. package/dist/build/release.d.ts +50 -112
  101. package/dist/build/release.js +81 -147
  102. package/dist/build/release.wasm +0 -0
  103. package/dist/build/test-inline.js +1 -1
  104. package/dist/build/test.wasm +0 -0
  105. package/dist/test/test-gas-cost.js +2 -3
  106. package/dist/test/test-trace-format.js +166 -0
  107. package/dist/test/test-w3f-common.js +125 -0
  108. package/dist/test/test-w3f-portable.js +5 -0
  109. package/dist/test/test-w3f.js +3 -120
  110. package/package.json +22 -11
@@ -1,32 +1,47 @@
1
1
  /** Exported memory */
2
2
  export declare const memory: WebAssembly.Memory;
3
+ /**
4
+ * assembly/api-internal/getAssembly
5
+ * @param p `assembly/program/Program`
6
+ * @returns `~lib/string/String`
7
+ */
8
+ export declare function getAssembly(p: __Internref35): string;
9
+ /**
10
+ * assembly/program-build/wrapAsProgram
11
+ * @param bytecode `~lib/typedarray/Uint8Array`
12
+ * @returns `~lib/typedarray/Uint8Array`
13
+ */
14
+ export declare function wrapAsProgram(bytecode: Uint8Array): Uint8Array;
3
15
  /**
4
16
  * assembly/api-debugger/resetJAM
5
17
  * @param program `~lib/array/Array<u8>`
6
18
  * @param pc `u32`
7
- * @param initialGas `i64`
19
+ * @param initialGas `u64`
8
20
  * @param args `~lib/array/Array<u8>`
9
21
  * @param hasMetadata `bool`
22
+ * @param useBlockGas `bool`
10
23
  */
11
- export declare function resetJAM(program: Array<number>, pc: number, initialGas: bigint, args: Array<number>, hasMetadata?: boolean): void;
24
+ export declare function resetJAM(program: Array<number>, pc: number, initialGas: bigint, args: Array<number>, hasMetadata?: boolean, useBlockGas?: boolean): void;
12
25
  /**
13
26
  * assembly/api-debugger/resetGeneric
14
27
  * @param program `~lib/array/Array<u8>`
15
28
  * @param flatRegisters `~lib/array/Array<u8>`
16
- * @param initialGas `i64`
29
+ * @param initialGas `u64`
17
30
  * @param hasMetadata `bool`
31
+ * @param useBlockGas `bool`
18
32
  */
19
- export declare function resetGeneric(program: Array<number>, flatRegisters: Array<number>, initialGas: bigint, hasMetadata?: boolean): void;
33
+ export declare function resetGeneric(program: Array<number>, flatRegisters: Array<number>, initialGas: bigint, hasMetadata?: boolean, useBlockGas?: boolean): void;
20
34
  /**
21
35
  * assembly/api-debugger/resetGenericWithMemory
22
36
  * @param program `~lib/array/Array<u8>`
23
37
  * @param flatRegisters `~lib/array/Array<u8>`
24
38
  * @param pageMap `~lib/typedarray/Uint8Array`
25
39
  * @param chunks `~lib/typedarray/Uint8Array`
26
- * @param initialGas `i64`
40
+ * @param initialGas `u64`
27
41
  * @param hasMetadata `bool`
42
+ * @param useBlockGas `bool`
28
43
  */
29
- export declare function resetGenericWithMemory(program: Array<number>, flatRegisters: Array<number>, pageMap: Uint8Array, chunks: Uint8Array, initialGas: bigint, hasMetadata?: boolean): void;
44
+ export declare function resetGenericWithMemory(program: Array<number>, flatRegisters: Array<number>, pageMap: Uint8Array, chunks: Uint8Array, initialGas: bigint, hasMetadata?: boolean, useBlockGas?: boolean): void;
30
45
  /**
31
46
  * assembly/api-debugger/nextStep
32
47
  * @returns `bool`
@@ -65,7 +80,7 @@ export declare function getExitArg(): number;
65
80
  export declare function getGasLeft(): bigint;
66
81
  /**
67
82
  * assembly/api-debugger/setGasLeft
68
- * @param gas `i64`
83
+ * @param gas `u64`
69
84
  */
70
85
  export declare function setGasLeft(gas: bigint): void;
71
86
  /**
@@ -104,47 +119,6 @@ export declare function getMemory(address: number, length: number): Uint8Array |
104
119
  * @returns `bool`
105
120
  */
106
121
  export declare function setMemory(address: number, data: Uint8Array): boolean;
107
- /**
108
- * assembly/api-internal/getAssembly
109
- * @param p `assembly/program/Program`
110
- * @returns `~lib/string/String`
111
- */
112
- export declare function getAssembly(p: __Internref26): string;
113
- /**
114
- * assembly/api-internal/buildMemory
115
- * @param builder `assembly/memory/MemoryBuilder`
116
- * @param pages `~lib/array/Array<assembly/api-types/InitialPage>`
117
- * @param chunks `~lib/array/Array<assembly/api-types/InitialChunk>`
118
- * @returns `assembly/memory/Memory`
119
- */
120
- export declare function buildMemory(builder: __Internref41, pages: Array<__Record44<undefined>>, chunks: Array<__Record46<undefined>>): __Internref15;
121
- /**
122
- * assembly/api-internal/vmInit
123
- * @param input `assembly/api-types/VmInput`
124
- * @param useSbrkGas `bool`
125
- * @returns `assembly/interpreter/Interpreter`
126
- */
127
- export declare function vmInit(input: __Internref49, useSbrkGas?: boolean): __Internref25;
128
- /**
129
- * assembly/api-internal/vmRunOnce
130
- * @param input `assembly/api-types/VmInput`
131
- * @param options `assembly/api-types/VmRunOptions`
132
- * @returns `assembly/api-types/VmOutput`
133
- */
134
- export declare function vmRunOnce(input: __Internref49, options: __Record50<undefined>): __Record51<never>;
135
- /**
136
- * assembly/api-internal/vmExecute
137
- * @param int `assembly/interpreter/Interpreter`
138
- * @param logs `bool`
139
- */
140
- export declare function vmExecute(int: __Internref25, logs?: boolean): void;
141
- /**
142
- * assembly/api-internal/vmDestroy
143
- * @param int `assembly/interpreter/Interpreter`
144
- * @param dumpMemory `bool`
145
- * @returns `assembly/api-types/VmOutput`
146
- */
147
- export declare function vmDestroy(int: __Internref25, dumpMemory?: boolean): __Record51<never>;
148
122
  /** assembly/api-utils/InputKind */
149
123
  export declare enum InputKind {
150
124
  /** @type `i32` */
@@ -160,13 +134,13 @@ export declare enum HasMetadata {
160
134
  No,
161
135
  }
162
136
  /**
163
- * assembly/api-utils/getGasCosts
137
+ * assembly/api-utils/getBlockGasCosts
164
138
  * @param input `~lib/array/Array<u8>`
165
139
  * @param kind `i32`
166
140
  * @param withMetadata `i32`
167
- * @returns `~lib/array/Array<assembly/gas-costs/BlockGasCost>`
141
+ * @returns `~lib/array/Array<assembly/api-utils/BlockGasCost>`
168
142
  */
169
- export declare function getGasCosts(input: Array<number>, kind: number, withMetadata: number): Array<__Record56<never>>;
143
+ export declare function getBlockGasCosts(input: Array<number>, kind: number, withMetadata: number): Array<__Record58<never>>;
170
144
  /**
171
145
  * assembly/api-utils/disassemble
172
146
  * @param input `~lib/array/Array<u8>`
@@ -185,33 +159,32 @@ export declare function disassemble(input: Array<number>, kind: number, withMeta
185
159
  * @param initialMemory `~lib/array/Array<assembly/api-types/InitialChunk>`
186
160
  * @param args `~lib/array/Array<u8>`
187
161
  * @param preallocateMemoryPages `u32`
162
+ * @param useBlockGas `bool`
188
163
  * @returns `assembly/spi/StandardProgram`
189
164
  */
190
- export declare function prepareProgram(kind: number, hasMetadata: number, program: Array<number>, initialRegisters: Array<bigint>, initialPageMap: Array<__Record44<undefined>>, initialMemory: Array<__Record46<undefined>>, args: Array<number>, preallocateMemoryPages: number): __Internref40;
165
+ export declare function prepareProgram(kind: number, hasMetadata: number, program: Array<number>, initialRegisters: Array<bigint>, initialPageMap: Array<__Record54<undefined>>, initialMemory: Array<__Record56<undefined>>, args: Array<number>, preallocateMemoryPages: number, useBlockGas: boolean): __Internref51;
191
166
  /**
192
167
  * assembly/api-utils/runProgram
193
168
  * @param program `assembly/spi/StandardProgram`
194
169
  * @param initialGas `i64`
195
170
  * @param programCounter `u32`
196
171
  * @param logs `bool`
197
- * @param useSbrkGas `bool`
198
172
  * @param dumpMemory `bool`
199
173
  * @returns `assembly/api-types/VmOutput`
200
174
  */
201
- export declare function runProgram(program: __Internref40, initialGas?: bigint, programCounter?: number, logs?: boolean, useSbrkGas?: boolean, dumpMemory?: boolean): __Record51<never>;
175
+ export declare function runProgram(program: __Internref51, initialGas?: bigint, programCounter?: number, logs?: boolean, dumpMemory?: boolean): __Record62<never>;
202
176
  /**
203
177
  * assembly/api-utils/pvmStart
204
178
  * @param program `assembly/spi/StandardProgram`
205
- * @param useSbrkGas `bool`
206
179
  * @returns `u32`
207
180
  */
208
- export declare function pvmStart(program: __Internref40, useSbrkGas?: boolean): number;
181
+ export declare function pvmStart(program: __Internref51): number;
209
182
  /**
210
183
  * assembly/api-utils/pvmDestroy
211
184
  * @param pvmId `u32`
212
185
  * @returns `assembly/api-types/VmOutput | null`
213
186
  */
214
- export declare function pvmDestroy(pvmId: number): __Record51<never> | null;
187
+ export declare function pvmDestroy(pvmId: number): __Record62<never> | null;
215
188
  /**
216
189
  * assembly/api-utils/pvmSetRegisters
217
190
  * @param pvmId `u32`
@@ -244,30 +217,26 @@ export declare function pvmWriteMemory(pvmId: number, address: number, data: Uin
244
217
  /**
245
218
  * assembly/api-utils/pvmResume
246
219
  * @param pvmId `u32`
247
- * @param gas `i64`
220
+ * @param gas `u64`
248
221
  * @param pc `u32`
249
222
  * @param logs `bool`
250
223
  * @returns `assembly/api-types/VmPause | null`
251
224
  */
252
- export declare function pvmResume(pvmId: number, gas: bigint, pc: number, logs?: boolean): __Record60<never> | null;
253
- /**
254
- * assembly/program-build/wrapAsProgram
255
- * @param bytecode `~lib/typedarray/Uint8Array`
256
- * @returns `~lib/typedarray/Uint8Array`
257
- */
258
- export declare function wrapAsProgram(bytecode: Uint8Array): Uint8Array;
225
+ export declare function pvmResume(pvmId: number, gas: bigint, pc: number, logs?: boolean): __Record68<never> | null;
259
226
  /** assembly/program/Program */
260
- declare class __Internref26 extends Number {
261
- private __nominal26: symbol;
227
+ declare class __Internref35 extends Number {
228
+ private __nominal35: symbol;
262
229
  private __nominal0: symbol;
263
230
  }
264
- /** assembly/memory/MemoryBuilder */
265
- declare class __Internref41 extends Number {
266
- private __nominal41: symbol;
267
- private __nominal0: symbol;
231
+ /** assembly/api-utils/BlockGasCost */
232
+ declare interface __Record58<TOmittable> {
233
+ /** @type `u32` */
234
+ pc: number | TOmittable;
235
+ /** @type `u64` */
236
+ gas: bigint | TOmittable;
268
237
  }
269
238
  /** assembly/api-types/InitialPage */
270
- declare interface __Record44<TOmittable> {
239
+ declare interface __Record54<TOmittable> {
271
240
  /** @type `u32` */
272
241
  address: number | TOmittable;
273
242
  /** @type `u32` */
@@ -276,67 +245,36 @@ declare interface __Record44<TOmittable> {
276
245
  access: number | TOmittable;
277
246
  }
278
247
  /** assembly/api-types/InitialChunk */
279
- declare interface __Record46<TOmittable> {
248
+ declare interface __Record56<TOmittable> {
280
249
  /** @type `u32` */
281
250
  address: number | TOmittable;
282
251
  /** @type `~lib/array/Array<u8>` */
283
252
  data: Array<number>;
284
253
  }
285
- /** assembly/memory/Memory */
286
- declare class __Internref15 extends Number {
287
- private __nominal15: symbol;
288
- private __nominal0: symbol;
289
- }
290
- /** assembly/api-types/VmInput */
291
- declare class __Internref49 extends Number {
292
- private __nominal49: symbol;
293
- private __nominal0: symbol;
294
- }
295
- /** assembly/interpreter/Interpreter */
296
- declare class __Internref25 extends Number {
297
- private __nominal25: symbol;
254
+ /** assembly/spi/StandardProgram */
255
+ declare class __Internref51 extends Number {
256
+ private __nominal51: symbol;
298
257
  private __nominal0: symbol;
299
258
  }
300
- /** assembly/api-types/VmRunOptions */
301
- declare interface __Record50<TOmittable> {
302
- /** @type `bool` */
303
- useSbrkGas: boolean | TOmittable;
304
- /** @type `bool` */
305
- logs: boolean | TOmittable;
306
- /** @type `bool` */
307
- dumpMemory: boolean | TOmittable;
308
- }
309
259
  /** assembly/api-types/VmOutput */
310
- declare interface __Record51<TOmittable> {
260
+ declare interface __Record62<TOmittable> {
311
261
  /** @type `i32` */
312
262
  status: number | TOmittable;
313
263
  /** @type `u32` */
314
264
  exitCode: number | TOmittable;
315
265
  /** @type `u32` */
316
266
  pc: number | TOmittable;
317
- /** @type `i64` */
267
+ /** @type `u64` */
318
268
  gas: bigint | TOmittable;
319
269
  /** @type `~lib/array/Array<u8>` */
320
270
  result: Array<number>;
321
271
  /** @type `~lib/array/Array<u64>` */
322
272
  registers: Array<bigint>;
323
273
  /** @type `~lib/array/Array<assembly/api-types/InitialChunk>` */
324
- memory: Array<__Record46<never>>;
325
- }
326
- /** assembly/gas-costs/BlockGasCost */
327
- declare interface __Record56<TOmittable> {
328
- /** @type `u32` */
329
- pc: number | TOmittable;
330
- /** @type `u64` */
331
- gas: bigint | TOmittable;
332
- }
333
- /** assembly/spi/StandardProgram */
334
- declare class __Internref40 extends Number {
335
- private __nominal40: symbol;
336
- private __nominal0: symbol;
274
+ memory: Array<__Record56<never>>;
337
275
  }
338
276
  /** assembly/api-types/VmPause */
339
- declare interface __Record60<TOmittable> {
277
+ declare interface __Record68<TOmittable> {
340
278
  /** @type `i32` */
341
279
  status: number | TOmittable;
342
280
  /** @type `u32` */
@@ -345,7 +283,7 @@ declare interface __Record60<TOmittable> {
345
283
  pc: number | TOmittable;
346
284
  /** @type `u32` */
347
285
  nextPc: number | TOmittable;
348
- /** @type `i64` */
286
+ /** @type `u64` */
349
287
  gas: bigint | TOmittable;
350
288
  /** @type `~lib/array/Array<u64>` */
351
289
  registers: Array<bigint>;