| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| concept/ | H | 25-Jun-2021 | - | 7 | 2 | |
| temp.arg/ | H | 25-Jun-2021 | - | 802 | 515 | |
| temp.constr/ | H | 08-Jul-2024 | - | 900 | 573 | |
| temp.decls/ | H | 29-Jan-2025 | - | 4,731 | 3,312 | |
| temp.deduct/ | H | 08-Jul-2024 | - | 74 | 42 | |
| temp.deduct.guide/ | H | 29-Jan-2025 | - | 199 | 135 | |
| temp.explicit/ | H | 18-Feb-2022 | - | 23 | 8 | |
| temp.fct.spec/ | H | 25-Jun-2021 | - | 1,907 | 1,242 | |
| temp.names/ | H | 08-Jul-2024 | - | 252 | 182 | |
| temp.param/ | H | 29-Jan-2025 | - | 952 | 589 | |
| temp.pre/ | H | 25-Jun-2021 | - | 80 | 51 | |
| temp.res/ | H | 29-Jan-2025 | - | 1,482 | 1,140 | |
| temp.spec/ | H | 08-Jul-2024 | - | 4,015 | 2,660 | |
| temp.type/ | H | 25-Jun-2021 | - | 24 | 18 | |
| p3.cpp | H A D | 08-Jul-2024 | 904 | 24 | 14 |