![]() Add support for PGO and LTO for gcc, clang and apple-clang, and add a patch to allow mimalloc as an allocator in operator new/delete, give reduces clingo runtime by about 30%. |
||
---|---|---|
.. | ||
package.py | ||
python38.patch | ||
size-t.patch | ||
vs2022.patch |
![]() Add support for PGO and LTO for gcc, clang and apple-clang, and add a patch to allow mimalloc as an allocator in operator new/delete, give reduces clingo runtime by about 30%. |
||
---|---|---|
.. | ||
package.py | ||
python38.patch | ||
size-t.patch | ||
vs2022.patch |