| 0 | 0 |
# https://github.com/coq/coq/issues/15182
|
| 1 | 1 |
coq source: maintainer-desktop-entry debian/coqide.desktop
|
| 2 | |
# it's a long list of packages, but legitimate source
|
| 3 | |
coq source: very-long-line-length-in-source-file dev/bench/bench.sh line 55 is 548 characters long (>512)
|
| 4 | |
# it's a whole paragraph of text written on a single line (!)
|
| 5 | |
coq source: very-long-line-length-in-source-file dev/doc/xml-protocol.md line 226 is 685 characters long (>512)
|
| 6 | 2 |
# it's the list of reductions of an original problem to a simpler case by the automatic tool which analysed it
|
| 7 | 3 |
coq source: very-long-line-length-in-source-file test-suite/bugs/closed/bug_4769.v line 3 is 1569 characters long (>512)
|
| 8 | 4 |
coq source: very-long-line-length-in-source-file test-suite/bugs/closed/bug_5578.v line 1 is 1020 characters long (>512)
|
| 9 | 5 |
coq source: very-long-line-length-in-source-file test-suite/bugs/closed/bug_7811.v line 2 is 865 characters long (>512)
|
| 10 | |
# it's a long line of code to check for efficiency
|
| 11 | |
coq source: very-long-line-length-in-source-file test-suite/complexity/patternmatching.v line 5 is 1207 characters long (>512)
|
| 12 | 6 |
# it's a testsuite expected result file -- it's to be compared with a new output
|
| 13 | 7 |
coq source: very-long-line-length-in-source-file test-suite/coq-makefile/timing/precomputed-time-tests/007-no-output-sync/time-of-build.log.in line 891 is 2713 characters long (>512)
|
| 14 | 8 |
coq source: very-long-line-length-in-source-file test-suite/coqdoc/Record.html.out line 22 is 570 characters long (>512)
|
|
| 22 | 16 |
coq source: very-long-line-length-in-source-file test-suite/output/StringSyntax.out line * is * characters long (>512)
|
| 23 | 17 |
# that long line is actually a comment giving the source code generating the following source lines
|
| 24 | 18 |
coq source: very-long-line-length-in-source-file theories/extraction/ExtrHaskellString.v line 49 is 2018 characters long (>512)
|
| 25 | |
coq source: very-long-line-length-in-source-file theories/extraction/ExtrOcamlChar.v line 40 is 2018 characters long (>512)
|
| 26 | 19 |
coq source: very-long-line-length-in-source-file theories/extraction/ExtrOcamlNativeString.v line 21 is 2018 characters long (>512)
|
| 27 | 20 |
# it's a very long line, but it looks like it's source code
|
| 28 | 21 |
coq source: very-long-line-length-in-source-file tools/TimeFileMaker.py line 444 is 617 characters long (>512)
|