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