File tree
75 files changed
+315
-298
lines changed- crates
- anvil
- core/src/eth/transaction
- src/eth
- backend/mem
- otterscan
- pool
- cast/src
- cheatcodes/src
- test
- chisel/src
- cli/src
- opts
- build
- utils
- common/fmt/src
- config/src
- debugger/src/tui
- doc/src
- parser
- writer
- evm
- core/src
- backend
- fork
- fuzz/src
- invariant
- strategies
- traces/src/identifier
- fmt/src
- solang_ext
- forge
- src
- cmd
- test
- tests
- cli
- it
- macros/src
- script/src
- script-sequence/src
- sol-macro-gen/src
- test-utils/src
- verify/src
- etherscan
- wallets/src
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
75 files changed
+315
-298
lines changedLines changed: 61 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
38 | 38 |
| |
39 | 39 |
| |
40 | 40 |
| |
41 |
| - | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
42 | 52 |
| |
43 | 53 |
| |
| 54 | + | |
44 | 55 |
| |
45 |
| - | |
46 |
| - | |
47 |
| - | |
48 |
| - | |
49 |
| - | |
50 |
| - | |
51 |
| - | |
| 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 | + | |
52 | 82 |
| |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
| 92 | + | |
| 93 | + | |
| 94 | + | |
| 95 | + | |
| 96 | + | |
| 97 | + | |
| 98 | + | |
| 99 | + | |
| 100 | + | |
| 101 | + | |
| 102 | + | |
| 103 | + | |
| 104 | + | |
| 105 | + | |
53 | 106 |
| |
54 | 107 |
| |
55 | 108 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
999 | 999 |
| |
1000 | 1000 |
| |
1001 | 1001 |
| |
1002 |
| - | |
1003 |
| - | |
1004 |
| - | |
| 1002 | + | |
1005 | 1003 |
| |
| 1004 | + | |
| 1005 | + | |
1006 | 1006 |
| |
1007 | 1007 |
| |
1008 | 1008 |
| |
|
Lines changed: 7 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
958 | 958 |
| |
959 | 959 |
| |
960 | 960 |
| |
961 |
| - | |
| 961 | + | |
962 | 962 |
| |
963 | 963 |
| |
964 | 964 |
| |
| |||
986 | 986 |
| |
987 | 987 |
| |
988 | 988 |
| |
989 |
| - | |
| 989 | + | |
990 | 990 |
| |
991 | 991 |
| |
992 | 992 |
| |
| |||
2037 | 2037 |
| |
2038 | 2038 |
| |
2039 | 2039 |
| |
2040 |
| - | |
| 2040 | + | |
2041 | 2041 |
| |
2042 | 2042 |
| |
2043 | 2043 |
| |
| |||
2253 | 2253 |
| |
2254 | 2254 |
| |
2255 | 2255 |
| |
2256 |
| - | |
| 2256 | + | |
2257 | 2257 |
| |
2258 | 2258 |
| |
2259 | 2259 |
| |
| |||
3123 | 3123 |
| |
3124 | 3124 |
| |
3125 | 3125 |
| |
3126 |
| - | |
| 3126 | + | |
| 3127 | + | |
| 3128 | + | |
3127 | 3129 |
| |
3128 | 3130 |
| |
3129 | 3131 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1413 | 1413 |
| |
1414 | 1414 |
| |
1415 | 1415 |
| |
1416 |
| - | |
1417 |
| - | |
1418 |
| - | |
| 1416 | + | |
1419 | 1417 |
| |
| 1418 | + | |
| 1419 | + | |
1420 | 1420 |
| |
1421 | 1421 |
| |
1422 | 1422 |
| |
| |||
2594 | 2594 |
| |
2595 | 2595 |
| |
2596 | 2596 |
| |
2597 |
| - | |
| 2597 | + | |
2598 | 2598 |
| |
2599 | 2599 |
| |
2600 | 2600 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
315 | 315 |
| |
316 | 316 |
| |
317 | 317 |
| |
318 |
| - | |
| 318 | + | |
319 | 319 |
| |
320 | 320 |
| |
321 | 321 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
418 | 418 |
| |
419 | 419 |
| |
420 | 420 |
| |
421 |
| - | |
| 421 | + | |
422 | 422 |
| |
423 | 423 |
| |
424 | 424 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
516 | 516 |
| |
517 | 517 |
| |
518 | 518 |
| |
519 |
| - | |
| 519 | + | |
520 | 520 |
| |
521 | 521 |
| |
522 | 522 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
52 | 52 |
| |
53 | 53 |
| |
54 | 54 |
| |
55 |
| - | |
| 55 | + | |
56 | 56 |
| |
57 | 57 |
| |
58 | 58 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
184 | 184 |
| |
185 | 185 |
| |
186 | 186 |
| |
187 |
| - | |
188 |
| - | |
189 |
| - | |
| 187 | + | |
190 | 188 |
| |
| 189 | + | |
| 190 | + | |
191 | 191 |
| |
192 | 192 |
| |
193 | 193 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
239 | 239 |
| |
240 | 240 |
| |
241 | 241 |
| |
242 |
| - | |
| 242 | + | |
243 | 243 |
| |
244 | 244 |
| |
245 | 245 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1555 | 1555 |
| |
1556 | 1556 |
| |
1557 | 1557 |
| |
1558 |
| - | |
1559 |
| - | |
1560 |
| - | |
| 1558 | + | |
1561 | 1559 |
| |
| 1560 | + | |
| 1561 | + | |
1562 | 1562 |
| |
1563 | 1563 |
| |
1564 | 1564 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
493 | 493 |
| |
494 | 494 |
| |
495 | 495 |
| |
496 |
| - | |
497 |
| - | |
498 |
| - | |
| 496 | + | |
499 | 497 |
| |
| 498 | + | |
| 499 | + | |
500 | 500 |
| |
501 | 501 |
| |
502 | 502 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
223 | 223 |
| |
224 | 224 |
| |
225 | 225 |
| |
226 |
| - | |
| 226 | + | |
227 | 227 |
| |
228 | 228 |
| |
229 | 229 |
| |
| |||
251 | 251 |
| |
252 | 252 |
| |
253 | 253 |
| |
254 |
| - | |
| 254 | + | |
255 | 255 |
| |
256 | 256 |
| |
257 | 257 |
| |
|
Lines changed: 6 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
456 | 456 |
| |
457 | 457 |
| |
458 | 458 |
| |
459 |
| - | |
460 |
| - | |
461 |
| - | |
| 459 | + | |
462 | 460 |
| |
| 461 | + | |
| 462 | + | |
463 | 463 |
| |
464 | 464 |
| |
465 | 465 |
| |
| |||
472 | 472 |
| |
473 | 473 |
| |
474 | 474 |
| |
475 |
| - | |
476 |
| - | |
477 |
| - | |
| 475 | + | |
478 | 476 |
| |
| 477 | + | |
| 478 | + | |
479 | 479 |
| |
480 | 480 |
| |
481 | 481 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
78 | 78 |
| |
79 | 79 |
| |
80 | 80 |
| |
81 |
| - | |
| 81 | + | |
82 | 82 |
| |
83 | 83 |
| |
84 | 84 |
| |
|
Lines changed: 8 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
681 | 681 |
| |
682 | 682 |
| |
683 | 683 |
| |
684 |
| - | |
685 |
| - | |
686 |
| - | |
| 684 | + | |
| 685 | + | |
687 | 686 |
| |
688 | 687 |
| |
689 | 688 |
| |
| |||
953 | 952 |
| |
954 | 953 |
| |
955 | 954 |
| |
956 |
| - | |
| 955 | + | |
957 | 956 |
| |
958 | 957 |
| |
959 | 958 |
| |
| |||
1210 | 1209 |
| |
1211 | 1210 |
| |
1212 | 1211 |
| |
1213 |
| - | |
| 1212 | + | |
1214 | 1213 |
| |
1215 | 1214 |
| |
1216 |
| - | |
1217 |
| - | |
1218 |
| - | |
| 1215 | + | |
1219 | 1216 |
| |
1220 | 1217 |
| |
1221 | 1218 |
| |
| |||
1240 | 1237 |
| |
1241 | 1238 |
| |
1242 | 1239 |
| |
1243 |
| - | |
1244 |
| - | |
1245 |
| - | |
1246 |
| - | |
| 1240 | + | |
| 1241 | + | |
1247 | 1242 |
| |
1248 | 1243 |
| |
1249 | 1244 |
| |
| |||
1272 | 1267 |
| |
1273 | 1268 |
| |
1274 | 1269 |
| |
1275 |
| - | |
| 1270 | + | |
1276 | 1271 |
| |
1277 | 1272 |
| |
1278 | 1273 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
59 | 59 |
| |
60 | 60 |
| |
61 | 61 |
| |
62 |
| - | |
| 62 | + | |
63 | 63 |
| |
64 | 64 |
| |
65 | 65 |
| |
| |||
438 | 438 |
| |
439 | 439 |
| |
440 | 440 |
| |
441 |
| - | |
| 441 | + | |
442 | 442 |
| |
443 | 443 |
| |
444 | 444 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
246 | 246 |
| |
247 | 247 |
| |
248 | 248 |
| |
249 |
| - | |
| 249 | + | |
250 | 250 |
| |
251 | 251 |
| |
252 | 252 |
| |
|
0 commit comments