| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| no_ctps/ | 12-May-2024 | - | 11,862 | 10,875 | ||
| plain/ | 12-May-2024 | - | 8,523 | 7,941 | ||
| typeof_based/ | 12-May-2024 | - | 1,771 | 1,541 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| no_ctps/ | 12-May-2024 | - | 11,862 | 10,875 | ||
| plain/ | 12-May-2024 | - | 8,523 | 7,941 | ||
| typeof_based/ | 12-May-2024 | - | 1,771 | 1,541 |