| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 24-Apr-2020 | - | ||||
| conformance.gpr | H A D | 24-Apr-2020 | 381 | 15 | 12 | |
| dom_conformance.adb | H A D | 24-Apr-2020 | 17 KiB | 514 | 379 | |
| driver.adb | H A D | 24-Apr-2020 | 3.9 KiB | 158 | 112 | |
| driver.ads | H A D | 24-Apr-2020 | 1 KiB | 39 | 36 | |
| run.sh | H A D | 24-Apr-2020 | 280 | 16 | 7 |