| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 12-Dec-2023 | - | ||||
| IAll.hal | H A D | 12-Dec-2023 | 785 | 26 | 24 | |
| IAll2.hal | H A D | 12-Dec-2023 | 806 | 26 | 24 | |
| ICount.hal | H A D | 12-Dec-2023 | 757 | 25 | 22 | |
| ICount2.hal | H A D | 12-Dec-2023 | 768 | 25 | 22 | |
| IFoo.hal | H A D | 12-Dec-2023 | 864 | 29 | 26 | |
| IMax.hal | H A D | 12-Dec-2023 | 750 | 24 | 22 | |
| IMax2.hal | H A D | 12-Dec-2023 | 761 | 24 | 22 |