| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| IAll.hal | D | 04-Jul-2025 | 785 | 26 | 24 | |
| IAll2.hal | D | 04-Jul-2025 | 806 | 26 | 24 | |
| ICount.hal | D | 04-Jul-2025 | 757 | 25 | 22 | |
| ICount2.hal | D | 04-Jul-2025 | 768 | 25 | 22 | |
| IFoo.hal | D | 04-Jul-2025 | 864 | 29 | 26 | |
| IMax.hal | D | 04-Jul-2025 | 750 | 24 | 22 | |
| IMax2.hal | D | 04-Jul-2025 | 761 | 24 | 22 |