pmGenerator 1.0 (patch 1)

pmGenerator-1.0.1-win.7z contains Windows binaries only.

• Compiled by GCC 11.3.0, binaries from winlibs-x86_64-posix-seh-gcc-11.3.0-llvm-14.0.3-mingw-w64msvcrt-10.0.0-r3
• Used oneTBB 2021.8.0-1, libtbb12.dll from MSYS2 package mingw-w64-x86_64-tbb
• Used Boost 1.81.0 (header-only)
• Used compiler options -O3 -fno-align-functions -fno-align-jumps -fno-align-loops -fno-align-labels -pedantic -Wall -c -m64 -fmessage-length=0 -std=c++20 -D_FILE_OFFSET_BITS=64
• Used linker options -s -Wl,--subsystem,console -fuse-ld=lld -lpthread -ltbb12.dll

Known issues:

• The Windows Command Prompt (CMD) does not support UTF-8 encoded output, e.g. ≈ is printed as Ôëê. [won't fix]
  • You can work around this by redirecting all output into a file like pmGenerator [args] > out.txt 2>&1,
    or by using a different console, e.g. Cygwin64 Terminal that comes with Cygwin (requires ./pmGenerator).
• Wrong progress durations are displayed for large maximum numbers (e.g. the amount of D-proof candidates for dProofs35), due to overflows. [fixed since 1.0.2]
• Contents of concurrently loaded D-proof collections may be skipped due to vector reallocation. [fixed since 1.0.2]

Linux

• Exemplary compiler options -O3 -ffast-math -mtune=native -Wall -c -m64 -fmessage-length=0 -std=c++20 -pthread
  • Old compiler (on c++11 branch) -O3 -Wall -c -fmessage-length=0 -std=c++11 -pthread
• Exemplary linker options -pthread -ltbb
  • Old Boost version (e.g. 1.53.0 ; on c++11 branch) additionally requires -lboost_system -lboost_filesystem

Verified to compile also with Clang/LLVM.