| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| check/ | H | 03-May-2022 | - | 4,884 | 3,905 | |
| doc/ | H | 03-May-2022 | - | 2,498 | 1,920 | |
| instances/ | H | 03-May-2022 | - | 1,602 | 1,581 | |
| src/ | H | 03-May-2022 | - | 7,177 | 4,854 | |
| INSTALL.md | H A D | 27-May-2021 | 193 | 5 | 3 | |
| Makefile | H A D | 27-May-2021 | 8.2 KiB | 198 | 126 |