Daan 97bd204c42 Merge branch 'dev' into kile/stl

2020-01-16 15:33:13 -08:00

..

mimalloc-atomic.h

merge from dev

2019-11-13 17:52:20 -08:00

mimalloc-internal.h

use delayed free for all pages; reduce size of the page structure for improved address calculation

2020-01-15 17:19:01 -08:00

mimalloc-new-delete.h

put new-delete overrides in separate header file

2019-09-15 19:19:00 -07:00

mimalloc-override.h

put new-delete overrides in separate header file

2019-09-15 19:19:00 -07:00

mimalloc-types.h

merge from dev

2020-01-15 18:03:37 -08:00

mimalloc.h

Merge branch 'dev' into kile/stl

2020-01-16 15:33:13 -08:00