| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| IEmpty.hal | D | 23-Mar-2024 | 672 | 19 | 17 | |
| IMixed.hal | D | 23-Mar-2024 | 723 | 22 | 20 | |
| IMixedMixedChild.hal | D | 23-Mar-2024 | 780 | 24 | 21 | |
| IMixedNonOnewayChild.hal | D | 23-Mar-2024 | 752 | 23 | 20 | |
| IMixedOnewayChild.hal | D | 23-Mar-2024 | 753 | 23 | 20 | |
| INonOneway.hal | D | 23-Mar-2024 | 704 | 21 | 19 | |
| INonOnewayChild.hal | D | 23-Mar-2024 | 755 | 23 | 20 | |
| INonOnewayOpposite.hal | D | 23-Mar-2024 | 762 | 23 | 20 | |
| IOneway.hal | D | 23-Mar-2024 | 705 | 21 | 19 | |
| IOnewayChild.hal | D | 23-Mar-2024 | 750 | 23 | 20 | |
| IOnewayOpposite.hal | D | 23-Mar-2024 | 749 | 23 | 20 |