File tree
21 files changed
+80
-64
lines changed- doc/specs
- example/hashmaps
- src
- test/hashmaps
21 files changed
+80
-64
lines changedLines changed: 8 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
763 | 763 |
| |
764 | 764 |
| |
765 | 765 |
| |
766 |
| - | |
| 766 | + | |
767 | 767 |
| |
768 | 768 |
| |
769 | 769 |
| |
| |||
782 | 782 |
| |
783 | 783 |
| |
784 | 784 |
| |
| 785 | + | |
| 786 | + | |
785 | 787 |
| |
786 | 788 |
| |
787 | 789 |
| |
| |||
1074 | 1076 |
| |
1075 | 1077 |
| |
1076 | 1078 |
| |
1077 |
| - | |
| 1079 | + | |
1078 | 1080 |
| |
1079 | 1081 |
| |
1080 | 1082 |
| |
| |||
1295 | 1297 |
| |
1296 | 1298 |
| |
1297 | 1299 |
| |
1298 |
| - | |
| 1300 | + | |
1299 | 1301 |
| |
1300 | 1302 |
| |
1301 | 1303 |
| |
| |||
1308 | 1310 |
| |
1309 | 1311 |
| |
1310 | 1312 |
| |
1311 |
| - | |
| 1313 | + | |
1312 | 1314 |
| |
1313 |
| - | |
| 1315 | + | |
| 1316 | + | |
1314 | 1317 |
| |
1315 | 1318 |
| |
1316 | 1319 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 | 3 |
| |
5 | 4 |
| |
6 | 5 |
| |
7 |
| - | |
| 6 | + | |
8 | 7 |
| |
9 | 8 |
| |
10 | 9 |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 | 3 |
| |
5 | 4 |
| |
6 | 5 |
| |
7 |
| - | |
| 6 | + | |
8 | 7 |
| |
9 | 8 |
| |
10 | 9 |
|
Lines changed: 1 addition & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
5 |
| - | |
| 4 | + | |
6 | 5 |
| |
7 | 6 |
| |
8 | 7 |
| |
| |||
12 | 11 |
| |
13 | 12 |
| |
14 | 13 |
| |
15 |
| - | |
16 |
| - | |
17 | 14 |
| |
18 | 15 |
| |
19 | 16 |
| |
|
Lines changed: 1 addition & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
| 4 | + | |
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
| |||
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
17 |
| - | |
18 |
| - | |
19 |
| - | |
20 | 17 |
| |
21 | 18 |
| |
22 | 19 |
| |
|
Lines changed: 21 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
| 2 | + | |
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
7 | 26 |
|
Lines changed: 4 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
| 4 | + | |
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
| 9 | + | |
| 10 | + | |
10 | 11 |
| |
11 | 12 |
| |
12 | 13 |
| |
| 14 | + | |
13 | 15 |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 | 3 |
| |
5 | 4 |
| |
6 | 5 |
| |
7 |
| - | |
| 6 | + | |
8 | 7 |
| |
9 | 8 |
| |
10 | 9 |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
| 4 | + | |
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
| |||
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
19 |
| - | |
| 19 | + | |
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 | 3 |
| |
5 | 4 |
| |
6 | 5 |
| |
7 |
| - | |
| 6 | + | |
8 | 7 |
| |
9 | 8 |
| |
10 | 9 |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 | 3 |
| |
5 | 4 |
| |
6 | 5 |
| |
7 |
| - | |
| 6 | + | |
8 | 7 |
| |
9 | 8 |
| |
10 | 9 |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
| 4 | + | |
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
| 9 | + | |
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
|
Lines changed: 2 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
5 |
| - | |
| 4 | + | |
6 | 5 |
| |
7 | 6 |
| |
8 | 7 |
| |
| |||
11 | 10 |
| |
12 | 11 |
| |
13 | 12 |
| |
14 |
| - | |
| 13 | + | |
15 | 14 |
| |
16 | 15 |
| |
17 | 16 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
| 4 | + | |
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
| |||
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
14 |
| - | |
| 14 | + | |
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 | 3 |
| |
5 | 4 |
| |
6 | 5 |
| |
7 |
| - | |
| 6 | + | |
8 | 7 |
| |
9 | 8 |
| |
10 | 9 |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 | 3 |
| |
5 | 4 |
| |
6 | 5 |
| |
7 |
| - | |
| 6 | + | |
8 | 7 |
| |
9 | 8 |
| |
10 | 9 |
|
Lines changed: 9 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
434 | 434 |
| |
435 | 435 |
| |
436 | 436 |
| |
437 |
| - | |
| 437 | + | |
438 | 438 |
| |
439 | 439 |
| |
440 | 440 |
| |
| |||
448 | 448 |
| |
449 | 449 |
| |
450 | 450 |
| |
451 |
| - | |
452 |
| - | |
| 451 | + | |
| 452 | + | |
| 453 | + | |
453 | 454 |
| |
454 | 455 |
| |
455 | 456 |
| |
| |||
502 | 503 |
| |
503 | 504 |
| |
504 | 505 |
| |
| 506 | + | |
| 507 | + | |
505 | 508 |
| |
506 | 509 |
| |
507 | 510 |
| |
| |||
545 | 548 |
| |
546 | 549 |
| |
547 | 550 |
| |
| 551 | + | |
| 552 | + | |
| 553 | + | |
548 | 554 |
| |
549 | 555 |
| |
550 | 556 |
| |
|
Lines changed: 10 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
410 | 410 |
| |
411 | 411 |
| |
412 | 412 |
| |
413 |
| - | |
| 413 | + | |
414 | 414 |
| |
415 | 415 |
| |
416 | 416 |
| |
| |||
424 | 424 |
| |
425 | 425 |
| |
426 | 426 |
| |
427 |
| - | |
428 |
| - | |
| 427 | + | |
| 428 | + | |
| 429 | + | |
429 | 430 |
| |
430 | 431 |
| |
431 | 432 |
| |
| |||
491 | 492 |
| |
492 | 493 |
| |
493 | 494 |
| |
| 495 | + | |
| 496 | + | |
494 | 497 |
| |
495 | 498 |
| |
496 | 499 |
| |
| |||
533 | 536 |
| |
534 | 537 |
| |
535 | 538 |
| |
536 |
| - | |
| 539 | + | |
| 540 | + | |
| 541 | + | |
| 542 | + | |
537 | 543 |
| |
538 | 544 |
| |
539 | 545 |
| |
|
0 commit comments