Issues found in current buildd logs for minisat+:
- E array-bounds SatELite.h:110 (alpha, amd64, arm64, armel, armhf, hppa, hurd-i386, i386, ia64, m68k, mips64el, powerpc, ppc64, ppc64el, s390x, sh4, sparc64, x32)
- I no-compiler-commands (alpha, amd64, arm64, armel, armhf, hppa, hurd-i386, i386, ia64, loong64, m68k, mips64el, powerpc, ppc64, ppc64el, riscv64, s390x, sh4, sparc64, x32)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- alpha 1.0-4 2017-02-23 06:28
- amd64 1.0-4 2017-02-22 21:02
- arm64 1.0-4 2017-02-22 21:03
- armel 1.0-4 2017-02-22 21:04
- armhf 1.0-4 2017-02-22 21:04
- hppa 1.0-4 2017-02-22 21:15
- hurd-i386 1.0-4 2017-02-22 21:09
- i386 1.0-4 2017-02-22 21:03
- ia64 1.0-4 2018-01-10 14:22
- loong64 1.0-4 2023-08-21 06:10
- m68k 1.0-4 2017-02-22 21:21
- mips64el 1.0-4 2017-02-22 21:24
- powerpc 1.0-4 2017-02-22 21:05
- ppc64 1.0-4 2017-02-22 21:55
- ppc64el 1.0-4 2017-02-22 21:03
- riscv64 1.0-4+b1 2024-02-11 13:26
- s390x 1.0-4 2017-02-22 21:05
- sh4 1.0-4 2017-02-23 08:03
- sparc64 1.0-4 2017-02-22 21:01
- x32 1.0-4 2017-02-22 20:58