File tree
91 files changed
+159
-136
lines changed- devtools
- x
- src/lint
- x-core
- x-lint
- language
- benchmarks
- documentation/examples/diem-framework/crates
- cli
- crypto
- crypto-derive
- natives
- evm
- extract-ethereum-abi
- move-ethereum-abi
- move-to-yul
- src
- tests
- move-analyzer
- move-binary-format
- serializer-tests
- move-borrow-graph
- src
- move-bytecode-verifier
- bytecode-verifier-tests
- invalid-mutations
- transactional-tests
- move-command-line-common
- move-compiler
- src
- diagnostics
- expansion
- naming
- transactional-tests
- move-core/types
- move-ir/types
- move-ir-compiler
- move-bytecode-source-map
- move-ir-to-bytecode
- src
- syntax
- src/unit_tests
- transactional-tests
- move-model
- move-prover
- boogie-backend
- bytecode
- src
- interpreter
- crypto
- src
- interpreter-testsuite
- lab
- src
- move-abigen
- move-docgen
- src
- move-errmapgen
- mutation
- test-utils
- tools/spec-flatten
- move-symbol-pool
- move-vm
- integration-tests
- runtime
- src
- test-utils
- transactional-tests
- types
- testing-infra
- module-generation
- test-generation
- src
- transactional-test-runner
- src
- tools
- move-bytecode-utils
- move-bytecode-viewer
- src
- move-cli
- src/sandbox
- commands
- utils
- move-coverage
- move-disassembler
- move-explain
- move-package
- move-resource-viewer
- move-unit-test
- src
- read-write-set
- dynamic
- types
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
91 files changed
+159
-136
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
| 16 | + | |
16 | 17 |
| |
17 | 18 |
| |
18 | 19 |
| |
| |||
269 | 270 |
| |
270 | 271 |
| |
271 | 272 |
| |
272 |
| - | |
273 |
| - | |
274 |
| - | |
| 273 | + | |
275 | 274 |
| |
276 | 275 |
| |
277 | 276 |
| |
| |||
360 | 359 |
| |
361 | 360 |
| |
362 | 361 |
| |
363 |
| - | |
364 |
| - | |
| 362 | + | |
| 363 | + | |
| 364 | + | |
365 | 365 |
| |
366 | 366 |
| |
367 | 367 |
| |
368 |
| - | |
| 368 | + | |
| 369 | + | |
369 | 370 |
| |
370 | 371 |
| |
371 | 372 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 |
| - | |
| 8 | + | |
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 |
| - | |
| 7 | + | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 |
| - | |
| 7 | + | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 |
| - | |
| 7 | + | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
25 | 25 |
| |
26 | 26 |
| |
27 | 27 |
| |
28 |
| - | |
| 28 | + | |
29 | 29 |
| |
30 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
35 | 35 |
| |
36 |
| - | |
| 36 | + | |
37 | 37 |
| |
38 | 38 |
| |
39 | 39 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
353 | 353 |
| |
354 | 354 |
| |
355 | 355 |
| |
356 |
| - | |
357 |
| - | |
| 356 | + | |
358 | 357 |
| |
359 | 358 |
| |
360 | 359 |
| |
| |||
607 | 606 |
| |
608 | 607 |
| |
609 | 608 |
| |
610 |
| - | |
| 609 | + | |
611 | 610 |
| |
612 | 611 |
| |
613 | 612 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
260 | 260 |
| |
261 | 261 |
| |
262 | 262 |
| |
263 |
| - | |
264 |
| - | |
| 263 | + | |
| 264 | + | |
265 | 265 |
| |
266 | 266 |
| |
267 | 267 |
| |
| |||
308 | 308 |
| |
309 | 309 |
| |
310 | 310 |
| |
311 |
| - | |
312 |
| - | |
| 311 | + | |
| 312 | + | |
313 | 313 |
| |
314 | 314 |
| |
315 | 315 |
| |
| |||
559 | 559 |
| |
560 | 560 |
| |
561 | 561 |
| |
562 |
| - | |
| 562 | + | |
563 | 563 |
| |
564 | 564 |
| |
565 | 565 |
| |
| |||
1453 | 1453 |
| |
1454 | 1454 |
| |
1455 | 1455 |
| |
1456 |
| - | |
| 1456 | + | |
1457 | 1457 |
| |
1458 | 1458 |
| |
1459 | 1459 |
| |
| |||
1473 | 1473 |
| |
1474 | 1474 |
| |
1475 | 1475 |
| |
1476 |
| - | |
| 1476 | + | |
1477 | 1477 |
| |
1478 | 1478 |
| |
1479 | 1479 |
| |
| |||
1487 | 1487 |
| |
1488 | 1488 |
| |
1489 | 1489 |
| |
1490 |
| - | |
| 1490 | + | |
1491 | 1491 |
| |
1492 | 1492 |
| |
1493 | 1493 |
| |
| |||
1506 | 1506 |
| |
1507 | 1507 |
| |
1508 | 1508 |
| |
1509 |
| - | |
| 1509 | + | |
1510 | 1510 |
| |
1511 | 1511 |
| |
1512 | 1512 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
397 | 397 |
| |
398 | 398 |
| |
399 | 399 |
| |
400 |
| - | |
| 400 | + | |
401 | 401 |
| |
402 | 402 |
| |
403 | 403 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1050 | 1050 |
| |
1051 | 1051 |
| |
1052 | 1052 |
| |
1053 |
| - | |
| 1053 | + | |
1054 | 1054 |
| |
1055 | 1055 |
| |
1056 | 1056 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
| 21 | + | |
21 | 22 |
| |
22 | 23 |
| |
23 | 24 |
| |
| |||
115 | 116 |
| |
116 | 117 |
| |
117 | 118 |
| |
118 |
| - | |
119 |
| - | |
| 119 | + | |
| 120 | + | |
| 121 | + | |
120 | 122 |
| |
121 |
| - | |
| 123 | + | |
| 124 | + | |
122 | 125 |
| |
123 |
| - | |
124 |
| - | |
| 126 | + | |
| 127 | + | |
| 128 | + | |
125 | 129 |
| |
126 | 130 |
| |
127 |
| - | |
| 131 | + | |
128 | 132 |
| |
129 | 133 |
| |
130 | 134 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
7 | 7 |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
228 | 228 |
| |
229 | 229 |
| |
230 | 230 |
| |
231 |
| - | |
| 231 | + | |
232 | 232 |
| |
233 | 233 |
| |
234 | 234 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
| 4 | + | |
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 |
| - | |
| 7 | + | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
|
0 commit comments