Daan Leijen 36e1cbfdbc change default page_reclaim_max and change reclamation test to potentially address perf regresion in mimalloc v3 with respect to v2 -- see also https://github.com/leanprover/lean4/pull/7786		2025-05-12 18:02:42 -07:00
..
mimalloc	Merge branch 'dev' into dev3	2025-05-04 22:03:19 -07:00
mimalloc-new-delete.h	Fix whitespace	2022-12-03 00:24:20 +01:00
mimalloc-override.h	bump cmake required version to 3.18 and detect libatomic more reliably, see pr #898	2024-05-19 13:25:31 -07:00
mimalloc-stats.h	move arena_t definition to types.h	2025-03-14 10:22:08 -07:00
mimalloc.h	change default page_reclaim_max and change reclamation test to potentially address perf regresion in mimalloc v3 with respect to v2 -- see also https://github.com/leanprover/lean4/pull/7786	2025-05-12 18:02:42 -07:00