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