@fraczak/k 6.3.3 → 6.5.0

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 (157) hide show
  1. package/CHANGELOG.md +17 -0
  2. package/DOCS/CODECS.md +258 -0
  3. package/DOCS/DICTIONARY.md +1172 -0
  4. package/DOCS/KIR_SPECIALIZATION_DESIGN.md +51 -46
  5. package/DOCS/KIR_V1.md +221 -0
  6. package/DOCS/KVM_EXECUTION_MODEL.md +56 -19
  7. package/DOCS/OBJECT_FILE_AND_PATTERN.md +2 -1
  8. package/DOCS/PROFILING_AND_TRACING.md +196 -0
  9. package/DOCS/REPL.md +61 -4
  10. package/DOCS/WEB_REPL_REQUIREMENTS.md +135 -0
  11. package/DOCS/dependency-graph.md +144 -0
  12. package/Examples/arithmetics.k +108 -82
  13. package/Examples/bnat.k +1 -1
  14. package/Examples/buda.k +44 -0
  15. package/Examples/ieee.k +300 -8671
  16. package/Examples/poly.k +67 -0
  17. package/README.md +68 -19
  18. package/Value.mjs +8 -2
  19. package/augmentation.mjs +9 -7
  20. package/backend-api.mjs +11 -2
  21. package/backends/arm64/README.md +104 -0
  22. package/backends/arm64/bin/k-arm64-compile.mjs +101 -0
  23. package/backends/arm64/bin/k-arm64-run.mjs +58 -0
  24. package/backends/arm64/bin/k-arm64.mjs +88 -0
  25. package/backends/arm64/scripts/run-tests.mjs +41 -0
  26. package/backends/arm64/src/arm64.mjs +229 -0
  27. package/backends/arm64/src/cli.mjs +155 -0
  28. package/backends/arm64/src/kvm2arm64.mjs +906 -0
  29. package/backends/arm64/src/runtime.c +728 -0
  30. package/backends/arm64/tests/integration.sh +112 -0
  31. package/backends/arm64/tests/test-arm64.mjs +240 -0
  32. package/backends/llvm/README.md +135 -0
  33. package/backends/llvm/bin/k-llvm-build.mjs +71 -0
  34. package/backends/llvm/bin/k-llvm-compile.mjs +68 -0
  35. package/backends/llvm/bin/k-llvm-jit.mjs +160 -0
  36. package/backends/llvm/bin/k-llvm-run.mjs +90 -0
  37. package/backends/llvm/runtime/krt.c +1508 -0
  38. package/backends/llvm/runtime/krt.h +109 -0
  39. package/backends/llvm/scripts/conformance.mjs +76 -0
  40. package/backends/llvm/scripts/run-tests.mjs +28 -0
  41. package/backends/llvm/src/executable.mjs +562 -0
  42. package/backends/llvm/src/kvm2llvm.mjs +998 -0
  43. package/backends/llvm/src/llvm.mjs +1092 -0
  44. package/backends/llvm/tests/composition-driver.c +22 -0
  45. package/backends/llvm/tests/identity-driver.c +27 -0
  46. package/backends/llvm/tests/integration.sh +153 -0
  47. package/backends/llvm/tests/perf-support.mjs +735 -0
  48. package/backends/llvm/tests/product-driver.c +23 -0
  49. package/backends/llvm/tests/projection-driver.c +19 -0
  50. package/backends/llvm/tests/relation-driver.c +29 -0
  51. package/backends/llvm/tests/test-llvm.mjs +240 -0
  52. package/backends/llvm/tests/union-driver.c +31 -0
  53. package/backends/llvm/tests/variant-driver.c +19 -0
  54. package/backends/llvm/tests/variant-projection-driver.c +21 -0
  55. package/backends/wasm/DOCS/USE-WEB-ASSEMBLY.md +233 -0
  56. package/backends/wasm/README.md +97 -0
  57. package/backends/wasm/TECHNICAL-DEBT.md +58 -0
  58. package/backends/wasm/bin/k-wasm-compile.mjs +50 -0
  59. package/backends/wasm/bin/k-wasm-run.mjs +140 -0
  60. package/backends/wasm/bin/k-wasm.mjs +49 -0
  61. package/backends/wasm/demo_ieee.mjs +319 -0
  62. package/backends/wasm/runtime.wat +475 -0
  63. package/backends/wasm/scripts/run-tests.mjs +41 -0
  64. package/backends/wasm/src/cli.mjs +133 -0
  65. package/backends/wasm/src/kvm2wasm.mjs +697 -0
  66. package/backends/wasm/src/wasm.mjs +1054 -0
  67. package/backends/wasm/tests/integration.sh +182 -0
  68. package/backends/wasm/tests/perf-support.mjs +336 -0
  69. package/backends/wasm/tests/test-wasm.mjs +625 -0
  70. package/browser/repl-browser.mjs +1584 -0
  71. package/browser/shims/assert.mjs +19 -0
  72. package/browser/shims/buffer.mjs +224 -0
  73. package/browser/shims/crypto.mjs +103 -0
  74. package/browser/shims/fs.mjs +159 -0
  75. package/browser/shims/os.mjs +17 -0
  76. package/browser/shims/path.mjs +54 -0
  77. package/browser/shims/process.mjs +44 -0
  78. package/browser/shims/readline.mjs +11 -0
  79. package/browser/shims/url.mjs +12 -0
  80. package/browser/vfs-data.mjs +19 -0
  81. package/codecs/README.md +3 -0
  82. package/codecs/runtime/show-value.mjs +12 -3
  83. package/conformance/helper-reuse/case.json +8 -0
  84. package/conformance/helper-reuse/expected.kv +1 -0
  85. package/conformance/helper-reuse/input.kv +1 -0
  86. package/conformance/helper-reuse/program.k +2 -0
  87. package/conformance/identity/case.json +8 -0
  88. package/conformance/identity/expected.kv +1 -0
  89. package/conformance/identity/input.kv +1 -0
  90. package/conformance/identity/program.k +1 -0
  91. package/conformance/product-projection/case.json +8 -0
  92. package/conformance/product-projection/expected.kv +1 -0
  93. package/conformance/product-projection/input.kv +1 -0
  94. package/conformance/product-projection/program.k +1 -0
  95. package/conformance/run.mjs +149 -0
  96. package/conformance/variant-construction/case.json +8 -0
  97. package/conformance/variant-construction/expected.kv +1 -0
  98. package/conformance/variant-construction/input.kv +1 -0
  99. package/conformance/variant-construction/program.k +1 -0
  100. package/harness/adapters/arm64.mjs +105 -0
  101. package/harness/adapters/kvm.mjs +144 -0
  102. package/harness/adapters/llvm.mjs +118 -0
  103. package/harness/adapters/native.mjs +77 -0
  104. package/harness/adapters/wasm.mjs +169 -0
  105. package/harness/backend.mjs +95 -0
  106. package/harness/cli.mjs +130 -0
  107. package/harness/format.mjs +95 -0
  108. package/harness/index.mjs +25 -0
  109. package/harness/persistent.mjs +121 -0
  110. package/harness/registry.mjs +44 -0
  111. package/harness/suite.mjs +257 -0
  112. package/harness/suites/poly.mjs +156 -0
  113. package/harness/trace.mjs +50 -0
  114. package/harness/util.mjs +92 -0
  115. package/intrinsics.mjs +41 -0
  116. package/kir.mjs +399 -0
  117. package/kvm.mjs +585 -81
  118. package/objects/README.md +37 -3
  119. package/objects/compile.mjs +15 -22
  120. package/objects/inspect.mjs +96 -0
  121. package/objects/validate.mjs +415 -0
  122. package/package.json +51 -19
  123. package/repl-codecs.mjs +105 -6
  124. package/repl.mjs +335 -49
  125. package/run.mjs +2 -7
  126. package/scripts/benchmark.mjs +406 -22
  127. package/scripts/build-repl-html.mjs +1784 -0
  128. package/scripts/perf-ieee.mjs +586 -0
  129. package/scripts/perf-int.mjs +531 -0
  130. package/scripts/perf-poly.mjs +945 -0
  131. package/scripts/render-benchmark.mjs +12 -8
  132. package/scripts/run-tests.mjs +6 -0
  133. package/tests/integration.sh +19 -2
  134. package/tests/test-arithmetics.mjs +54 -0
  135. package/tests/test-ieee-arithmetic.mjs +4 -0
  136. package/tests/test-kir.mjs +85 -0
  137. package/tests/test-kvm-polymorphic.mjs +278 -0
  138. package/tests/test-kvm.mjs +25 -6
  139. package/tests/test-poly.mjs +129 -0
  140. package/tests/test-repl-html.mjs +303 -0
  141. package/tests/test-repl.mjs +144 -1
  142. package/tests/test-validate-object.mjs +40 -0
  143. package/a.klib +0 -1
  144. package/a.kvm +0 -142676
  145. package/a.wasm +0 -0
  146. package/benchmark-results.html +0 -532
  147. package/benchmark-results.json +0 -480
  148. package/k-vscode/.vscode/launch.json +0 -14
  149. package/k-vscode/README.md +0 -75
  150. package/k-vscode/extension.js +0 -273
  151. package/k-vscode/language-configuration.json +0 -42
  152. package/k-vscode/package.json +0 -79
  153. package/k-vscode/snippets/k.json +0 -92
  154. package/k-vscode/syntaxes/k.tmLanguage.json +0 -599
  155. package/k-vscode/test/background-ranges.test.js +0 -50
  156. package/k-vscode/themes/k-contrast-color-theme.json +0 -104
  157. package/scripts/git-hooks/pre-commit +0 -10
package/a.wasm DELETED
Binary file
package/benchmark-results.html DELETED
@@ -1,532 +0,0 @@
1
- <!doctype html>
2
- <html lang="en">
3
- <head>
4
- <meta charset="utf-8">
5
- <meta name="viewport" content="width=device-width, initial-scale=1">
6
- <title>k Benchmark Results</title>
7
- <style>
8
- :root {
9
- color-scheme: light;
10
- --ink: #17212f;
11
- --muted: #627083;
12
- --line: #d9e0ea;
13
- --paper: #f5f7fa;
14
- --panel: #fff;
15
- --accent: #1d5fd1;
16
- --soft: #eef3fb;
17
- --bad: #b42318;
18
- }
19
- * { box-sizing: border-box; }
20
- body {
21
- margin: 0;
22
- font-family: ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
23
- color: var(--ink);
24
- background: var(--paper);
25
- }
26
- header {
27
- padding: 28px 32px 20px;
28
- background: var(--panel);
29
- border-bottom: 1px solid var(--line);
30
- }
31
- h1 { margin: 0 0 10px; font-size: 30px; letter-spacing: 0; }
32
- .meta {
33
- display: flex;
34
- flex-wrap: wrap;
35
- gap: 14px;
36
- color: var(--muted);
37
- font-size: 14px;
38
- }
39
- main {
40
- max-width: 1320px;
41
- margin: 0 auto;
42
- padding: 24px 32px 40px;
43
- }
44
- .summary {
45
- display: grid;
46
- grid-template-columns: repeat(4, minmax(0, 1fr));
47
- gap: 12px;
48
- margin-bottom: 18px;
49
- }
50
- .metric, .panel {
51
- background: var(--panel);
52
- border: 1px solid var(--line);
53
- border-radius: 8px;
54
- }
55
- .metric { padding: 14px 16px; }
56
- .metric .label { color: var(--muted); font-size: 13px; }
57
- .metric .value { margin-top: 5px; font-size: 22px; font-weight: 700; }
58
- .panel { overflow: auto; }
59
- table {
60
- width: 100%;
61
- border-collapse: collapse;
62
- }
63
- th, td {
64
- border-bottom: 1px solid var(--line);
65
- padding: 12px;
66
- text-align: left;
67
- vertical-align: top;
68
- font-size: 13px;
69
- }
70
- thead th {
71
- background: #fafbfd;
72
- color: var(--muted);
73
- font-weight: 700;
74
- }
75
- .matrix {
76
- min-width: 980px;
77
- }
78
- .matrix .group {
79
- text-align: center;
80
- color: var(--ink);
81
- font-size: 15px;
82
- background: var(--soft);
83
- }
84
- .matrix .group span {
85
- display: block;
86
- color: var(--muted);
87
- font-size: 12px;
88
- font-weight: 500;
89
- margin-top: 2px;
90
- }
91
- .row-head {
92
- width: 230px;
93
- color: var(--ink);
94
- font-weight: 800;
95
- background: #fbfcfe;
96
- }
97
- .time {
98
- font-weight: 800;
99
- font-variant-numeric: tabular-nums;
100
- white-space: nowrap;
101
- }
102
- .time span {
103
- color: var(--muted);
104
- font-weight: 600;
105
- margin-left: 4px;
106
- }
107
- .sub {
108
- margin-top: 3px;
109
- color: var(--muted);
110
- font-size: 12px;
111
- white-space: nowrap;
112
- }
113
- .mini {
114
- display: grid;
115
- grid-template-columns: 42px 1fr;
116
- gap: 8px;
117
- padding: 5px 0;
118
- border-bottom: 1px solid #edf1f6;
119
- }
120
- .mini:last-child { border-bottom: 0; }
121
- .mini-label {
122
- color: var(--muted);
123
- font-weight: 800;
124
- font-variant-numeric: tabular-nums;
125
- }
126
- .muted { color: var(--muted); }
127
- .bad { color: var(--bad); font-weight: 800; }
128
- h2 { margin: 24px 0 10px; font-size: 18px; }
129
- .details { margin-top: 16px; }
130
- .details table { min-width: 920px; }
131
- .num { text-align: right; font-variant-numeric: tabular-nums; }
132
- .hash { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; color: var(--muted); }
133
- @media (max-width: 900px) {
134
- header, main { padding-left: 16px; padding-right: 16px; }
135
- .summary { grid-template-columns: 1fr; }
136
- }
137
- </style>
138
- </head>
139
- <body>
140
- <header>
141
- <h1>k Benchmark Results</h1>
142
- <div class="meta">
143
- <span>Generated: 6/7/2026, 10:35:31 PM</span>
144
- <span>Node: v22.22.2</span>
145
- <span>Platform: linux arm64</span>
146
- <span>CPUs: 8</span>
147
- <span>Samples/job: 3</span>
148
- </div>
149
- </header>
150
- <main>
151
- <section class="summary">
152
- <div class="metric"><div class="label">Completed Jobs</div><div class="value">23/27</div></div>
153
- <div class="metric"><div class="label">Timeout</div><div class="value">10.0 min</div></div>
154
- <div class="metric"><div class="label">Parallel Jobs</div><div class="value">8</div></div>
155
- <div class="metric"><div class="label">Result Rows</div><div class="value">27</div></div>
156
- </section>
157
- <section class="panel">
158
-
159
- <table class="matrix">
160
- <thead>
161
- <tr><th></th><th colspan="4" class="group">ieee <span>Examples/ieee.k</span></th><th colspan="3" class="group">int <span>Examples/arithmetics.k</span></th></tr>
162
- <tr><th>implementation</th><th>add</th><th>div</th><th>mul</th><th>sub</th><th>factorial</th><th>gcd</th><th>times</th></tr>
163
- </thead>
164
- <tbody><tr><th class="row-head">Native JS (Envelope-Aware)</th><td>
165
- <div class="time">149.71 ms <span>16.60x</span></div>
166
- <div class="sub">rss 255.0 MiB</div></td><td>
167
- <div class="time">2340.00 ms <span>29.87x</span></div>
168
- <div class="sub">rss 273.6 MiB</div></td><td>
169
- <div class="time">2172.00 ms <span>32.18x</span></div>
170
- <div class="sub">rss 269.7 MiB</div></td><td>
171
- <div class="time">373.87 ms <span>16.67x</span></div>
172
- <div class="sub">rss 251.3 MiB</div></td><td>
173
- <div class="mini">
174
- <span class="mini-label">101</span>
175
- <div>
176
- <div class="time">4004.14 ms <span>17.74x</span></div>
177
- <div class="sub">rss 186.6 MiB</div></div>
178
- </div>
179
- <div class="mini">
180
- <span class="mini-label">242</span>
181
- <div>
182
- <div class="time">31270.73 ms <span>14.51x</span></div>
183
- <div class="sub">rss 189.8 MiB</div></div>
184
- </div>
185
- <div class="mini">
186
- <span class="mini-label">1174</span>
187
- <div><span class="bad">failed</span></div>
188
- </div></td><td>
189
- <div class="time">8413.21 ms <span>18.45x</span></div>
190
- <div class="sub">rss 183.2 MiB</div></td><td>
191
- <div class="time">16544.80 ms <span>14.15x</span></div>
192
- <div class="sub">rss 173.6 MiB</div></td></tr><tr><th class="row-head">Native JS (Envelope-Free)</th><td>
193
- <div class="time">9.02 ms <span>1.00x</span></div>
194
- <div class="sub">rss 248.5 MiB</div></td><td>
195
- <div class="time">78.33 ms <span>1.00x</span></div>
196
- <div class="sub">rss 258.8 MiB</div></td><td>
197
- <div class="time">67.49 ms <span>1.00x</span></div>
198
- <div class="sub">rss 257.3 MiB</div></td><td>
199
- <div class="time">22.42 ms <span>1.00x</span></div>
200
- <div class="sub">rss 252.1 MiB</div></td><td>
201
- <div class="mini">
202
- <span class="mini-label">101</span>
203
- <div>
204
- <div class="time">225.68 ms <span>1.00x</span></div>
205
- <div class="sub">rss 135.7 MiB</div></div>
206
- </div>
207
- <div class="mini">
208
- <span class="mini-label">242</span>
209
- <div>
210
- <div class="time">2154.83 ms <span>1.00x</span></div>
211
- <div class="sub">rss 175.0 MiB</div></div>
212
- </div>
213
- <div class="mini">
214
- <span class="mini-label">1174</span>
215
- <div><span class="bad">failed</span></div>
216
- </div></td><td>
217
- <div class="time">455.99 ms <span>1.00x</span></div>
218
- <div class="sub">rss 144.8 MiB</div></td><td>
219
- <div class="time">1169.56 ms <span>1.00x</span></div>
220
- <div class="sub">rss 175.2 MiB</div></td></tr><tr><th class="row-head">kVM Interpreter (Env-Free)</th><td>
221
- <div class="time">171.46 ms <span>19.02x</span></div>
222
- <div class="sub">rss 266.2 MiB</div></td><td>
223
- <div class="time">637.21 ms <span>8.14x</span></div>
224
- <div class="sub">rss 228.9 MiB</div></td><td>
225
- <div class="time">565.73 ms <span>8.38x</span></div>
226
- <div class="sub">rss 329.4 MiB</div></td><td>
227
- <div class="time">204.74 ms <span>9.13x</span></div>
228
- <div class="sub">rss 271.4 MiB</div></td><td>
229
- <div class="mini">
230
- <span class="mini-label">101</span>
231
- <div>
232
- <div class="time">1024.21 ms <span>4.54x</span></div>
233
- <div class="sub">rss 143.7 MiB</div></div>
234
- </div>
235
- <div class="mini">
236
- <span class="mini-label">242</span>
237
- <div>
238
- <div class="time">8699.99 ms <span>4.04x</span></div>
239
- <div class="sub">rss 193.7 MiB</div></div>
240
- </div>
241
- <div class="mini">
242
- <span class="mini-label">1174</span>
243
- <div><span class="bad">failed</span></div>
244
- </div></td><td>
245
- <div class="time">1559.48 ms <span>3.42x</span></div>
246
- <div class="sub">rss 148.7 MiB</div></td><td><span class="bad">failed</span></td></tr></tbody>
247
- </table>
248
- </section>
249
- <section class="details">
250
- <h2>Raw Result Rows</h2>
251
- <div class="panel">
252
- <table>
253
- <thead>
254
- <tr><th>Case</th><th>Mode</th><th>Status</th><th>Avg</th><th>Min</th><th>Max</th><th>Max RSS</th><th>Digest</th></tr>
255
- </thead>
256
- <tbody>
257
- <tr>
258
- <td>ieee.add</td>
259
- <td>kVM Interpreter (Env-Free)</td>
260
- <td>ok</td>
261
- <td class="num">171.46 ms</td>
262
- <td class="num">10.65 ms</td>
263
- <td class="num">483.83 ms</td>
264
- <td class="num">266.2 MiB</td>
265
- <td class="hash">d7b0ed6ef57dd554</td>
266
- </tr>
267
- <tr>
268
- <td>ieee.add</td>
269
- <td>Native JS (Envelope-Aware)</td>
270
- <td>ok</td>
271
- <td class="num">149.71 ms</td>
272
- <td class="num">83.64 ms</td>
273
- <td class="num">257.07 ms</td>
274
- <td class="num">255.0 MiB</td>
275
- <td class="hash">d7b0ed6ef57dd554</td>
276
- </tr>
277
- <tr>
278
- <td>ieee.add</td>
279
- <td>Native JS (Envelope-Free)</td>
280
- <td>ok</td>
281
- <td class="num">9.02 ms</td>
282
- <td class="num">2.39 ms</td>
283
- <td class="num">21.22 ms</td>
284
- <td class="num">248.5 MiB</td>
285
- <td class="hash">d7b0ed6ef57dd554</td>
286
- </tr>
287
- <tr>
288
- <td>ieee.div</td>
289
- <td>kVM Interpreter (Env-Free)</td>
290
- <td>ok</td>
291
- <td class="num">637.21 ms</td>
292
- <td class="num">228.78 ms</td>
293
- <td class="num">1435.69 ms</td>
294
- <td class="num">228.9 MiB</td>
295
- <td class="hash">238b6430f024764d</td>
296
- </tr>
297
- <tr>
298
- <td>ieee.div</td>
299
- <td>Native JS (Envelope-Aware)</td>
300
- <td>ok</td>
301
- <td class="num">2340.00 ms</td>
302
- <td class="num">2216.36 ms</td>
303
- <td class="num">2417.38 ms</td>
304
- <td class="num">273.6 MiB</td>
305
- <td class="hash">238b6430f024764d</td>
306
- </tr>
307
- <tr>
308
- <td>ieee.div</td>
309
- <td>Native JS (Envelope-Free)</td>
310
- <td>ok</td>
311
- <td class="num">78.33 ms</td>
312
- <td class="num">58.70 ms</td>
313
- <td class="num">112.71 ms</td>
314
- <td class="num">258.8 MiB</td>
315
- <td class="hash">238b6430f024764d</td>
316
- </tr>
317
- <tr>
318
- <td>ieee.mul</td>
319
- <td>kVM Interpreter (Env-Free)</td>
320
- <td>ok</td>
321
- <td class="num">565.73 ms</td>
322
- <td class="num">160.91 ms</td>
323
- <td class="num">1358.92 ms</td>
324
- <td class="num">329.4 MiB</td>
325
- <td class="hash">4c83c565baa5bb08</td>
326
- </tr>
327
- <tr>
328
- <td>ieee.mul</td>
329
- <td>Native JS (Envelope-Aware)</td>
330
- <td>ok</td>
331
- <td class="num">2172.00 ms</td>
332
- <td class="num">2004.32 ms</td>
333
- <td class="num">2494.99 ms</td>
334
- <td class="num">269.7 MiB</td>
335
- <td class="hash">4c83c565baa5bb08</td>
336
- </tr>
337
- <tr>
338
- <td>ieee.mul</td>
339
- <td>Native JS (Envelope-Free)</td>
340
- <td>ok</td>
341
- <td class="num">67.49 ms</td>
342
- <td class="num">54.30 ms</td>
343
- <td class="num">92.29 ms</td>
344
- <td class="num">257.3 MiB</td>
345
- <td class="hash">4c83c565baa5bb08</td>
346
- </tr>
347
- <tr>
348
- <td>ieee.sub</td>
349
- <td>kVM Interpreter (Env-Free)</td>
350
- <td>ok</td>
351
- <td class="num">204.74 ms</td>
352
- <td class="num">23.96 ms</td>
353
- <td class="num">548.78 ms</td>
354
- <td class="num">271.4 MiB</td>
355
- <td class="hash">5c7179ae0117965a</td>
356
- </tr>
357
- <tr>
358
- <td>ieee.sub</td>
359
- <td>Native JS (Envelope-Aware)</td>
360
- <td>ok</td>
361
- <td class="num">373.87 ms</td>
362
- <td class="num">265.97 ms</td>
363
- <td class="num">571.97 ms</td>
364
- <td class="num">251.3 MiB</td>
365
- <td class="hash">5c7179ae0117965a</td>
366
- </tr>
367
- <tr>
368
- <td>ieee.sub</td>
369
- <td>Native JS (Envelope-Free)</td>
370
- <td>ok</td>
371
- <td class="num">22.42 ms</td>
372
- <td class="num">10.34 ms</td>
373
- <td class="num">43.38 ms</td>
374
- <td class="num">252.1 MiB</td>
375
- <td class="hash">5c7179ae0117965a</td>
376
- </tr>
377
- <tr>
378
- <td>int.factorial.101</td>
379
- <td>kVM Interpreter (Env-Free)</td>
380
- <td>ok</td>
381
- <td class="num">1024.21 ms</td>
382
- <td class="num">935.90 ms</td>
383
- <td class="num">1121.82 ms</td>
384
- <td class="num">143.7 MiB</td>
385
- <td class="hash">c48039eab26792fd</td>
386
- </tr>
387
- <tr>
388
- <td>int.factorial.101</td>
389
- <td>Native JS (Envelope-Aware)</td>
390
- <td>ok</td>
391
- <td class="num">4004.14 ms</td>
392
- <td class="num">3796.05 ms</td>
393
- <td class="num">4299.93 ms</td>
394
- <td class="num">186.6 MiB</td>
395
- <td class="hash">c48039eab26792fd</td>
396
- </tr>
397
- <tr>
398
- <td>int.factorial.101</td>
399
- <td>Native JS (Envelope-Free)</td>
400
- <td>ok</td>
401
- <td class="num">225.68 ms</td>
402
- <td class="num">218.87 ms</td>
403
- <td class="num">229.72 ms</td>
404
- <td class="num">135.7 MiB</td>
405
- <td class="hash">c48039eab26792fd</td>
406
- </tr>
407
- <tr>
408
- <td>int.factorial.1174</td>
409
- <td>kVM Interpreter (Env-Free)</td>
410
- <td>failed</td>
411
- <td class="num">n/a</td>
412
- <td class="num">n/a</td>
413
- <td class="num">n/a</td>
414
- <td class="num">n/a</td>
415
- <td class="hash"></td>
416
- </tr>
417
- <tr>
418
- <td>int.factorial.1174</td>
419
- <td>Native JS (Envelope-Aware)</td>
420
- <td>failed</td>
421
- <td class="num">n/a</td>
422
- <td class="num">n/a</td>
423
- <td class="num">n/a</td>
424
- <td class="num">n/a</td>
425
- <td class="hash"></td>
426
- </tr>
427
- <tr>
428
- <td>int.factorial.1174</td>
429
- <td>Native JS (Envelope-Free)</td>
430
- <td>failed</td>
431
- <td class="num">n/a</td>
432
- <td class="num">n/a</td>
433
- <td class="num">n/a</td>
434
- <td class="num">n/a</td>
435
- <td class="hash"></td>
436
- </tr>
437
- <tr>
438
- <td>int.factorial.242</td>
439
- <td>kVM Interpreter (Env-Free)</td>
440
- <td>ok</td>
441
- <td class="num">8699.99 ms</td>
442
- <td class="num">8385.83 ms</td>
443
- <td class="num">9128.06 ms</td>
444
- <td class="num">193.7 MiB</td>
445
- <td class="hash">2d5fded69485a5de</td>
446
- </tr>
447
- <tr>
448
- <td>int.factorial.242</td>
449
- <td>Native JS (Envelope-Aware)</td>
450
- <td>ok</td>
451
- <td class="num">31270.73 ms</td>
452
- <td class="num">29278.14 ms</td>
453
- <td class="num">35071.36 ms</td>
454
- <td class="num">189.8 MiB</td>
455
- <td class="hash">2d5fded69485a5de</td>
456
- </tr>
457
- <tr>
458
- <td>int.factorial.242</td>
459
- <td>Native JS (Envelope-Free)</td>
460
- <td>ok</td>
461
- <td class="num">2154.83 ms</td>
462
- <td class="num">2017.98 ms</td>
463
- <td class="num">2338.02 ms</td>
464
- <td class="num">175.0 MiB</td>
465
- <td class="hash">2d5fded69485a5de</td>
466
- </tr>
467
- <tr>
468
- <td>int.gcd.90d</td>
469
- <td>kVM Interpreter (Env-Free)</td>
470
- <td>ok</td>
471
- <td class="num">1559.48 ms</td>
472
- <td class="num">1543.88 ms</td>
473
- <td class="num">1582.34 ms</td>
474
- <td class="num">148.7 MiB</td>
475
- <td class="hash">5d1377581b4f4558</td>
476
- </tr>
477
- <tr>
478
- <td>int.gcd.90d</td>
479
- <td>Native JS (Envelope-Aware)</td>
480
- <td>ok</td>
481
- <td class="num">8413.21 ms</td>
482
- <td class="num">7840.97 ms</td>
483
- <td class="num">9243.36 ms</td>
484
- <td class="num">183.2 MiB</td>
485
- <td class="hash">5d1377581b4f4558</td>
486
- </tr>
487
- <tr>
488
- <td>int.gcd.90d</td>
489
- <td>Native JS (Envelope-Free)</td>
490
- <td>ok</td>
491
- <td class="num">455.99 ms</td>
492
- <td class="num">430.45 ms</td>
493
- <td class="num">483.03 ms</td>
494
- <td class="num">144.8 MiB</td>
495
- <td class="hash">5d1377581b4f4558</td>
496
- </tr>
497
- <tr>
498
- <td>int.times.220d</td>
499
- <td>kVM Interpreter (Env-Free)</td>
500
- <td>failed</td>
501
- <td class="num">n/a</td>
502
- <td class="num">n/a</td>
503
- <td class="num">n/a</td>
504
- <td class="num">n/a</td>
505
- <td class="hash"></td>
506
- </tr>
507
- <tr>
508
- <td>int.times.220d</td>
509
- <td>Native JS (Envelope-Aware)</td>
510
- <td>ok</td>
511
- <td class="num">16544.80 ms</td>
512
- <td class="num">14800.02 ms</td>
513
- <td class="num">18699.35 ms</td>
514
- <td class="num">173.6 MiB</td>
515
- <td class="hash">fe1d1bb07a950218</td>
516
- </tr>
517
- <tr>
518
- <td>int.times.220d</td>
519
- <td>Native JS (Envelope-Free)</td>
520
- <td>ok</td>
521
- <td class="num">1169.56 ms</td>
522
- <td class="num">1131.87 ms</td>
523
- <td class="num">1196.75 ms</td>
524
- <td class="num">175.2 MiB</td>
525
- <td class="hash">fe1d1bb07a950218</td>
526
- </tr></tbody>
527
- </table>
528
- </div>
529
- </section>
530
- </main>
531
- </body>
532
- </html>