| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| temp.arg/ | 03-May-2024 | - | 468 | 334 | ||
| temp.decls/ | 03-May-2024 | - | 3,741 | 2,636 | ||
| temp.fct.spec/ | 03-May-2024 | - | 1,281 | 834 | ||
| temp.names/ | 03-May-2024 | - | 30 | 19 | ||
| temp.param/ | 03-May-2024 | - | 446 | 270 | ||
| temp.res/ | 03-May-2024 | - | 305 | 202 | ||
| temp.spec/ | 03-May-2024 | - | 2,387 | 1,580 | ||
| temp.type/ | 03-May-2024 | - | 24 | 18 | ||
| p3.cpp | D | 03-May-2024 | 771 | 19 | 11 |