| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 12-Dec-2023 | - | ||||
| known_diffs1000.prototxt | H A D | 12-Dec-2023 | 121.3 KiB | 5,700 | 5,699 | |
| known_diffs15000.prototxt | H A D | 12-Dec-2023 | 25.1 KiB | 1,205 | 1,204 | |
| known_diffs500.prototxt | H A D | 12-Dec-2023 | 82.9 KiB | 4,087 | 4,086 | |
| known_diffs5000.prototxt | H A D | 12-Dec-2023 | 13.9 KiB | 667 | 666 |