search

daanx / mimalloc-bench

Suite for benchmarking malloc implementations.
MIT License
373 stars 53 forks source link

Fix lean3 build with recent compilers #197

Closed cmovcc closed 1 year ago

cmovcc commented 1 year ago

See https://github.com/leanprover-community/lean/pull/813, now working with gcc13. Thanks @msprotz!