max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: update stage0

Browse source
This commit is contained in:
Leonardo de Moura 2021-01-30 10:52:57 -08:00
parent cde7fd97fa
commit b28c427cb6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
stage0/src/runtime/alloc.cpp generated
View file

@ -10,7 +10,7 @@ Author: Leonardo de Moura
#include <lean/alloc.h>
#include <lean/lean.h>
#define LEAN_PAGE_SIZE 65536 // 64 Kb
#define LEAN_PAGE_SIZE 8192 // 8 Kb
#define LEAN_SEGMENT_SIZE 8*1024*1024 // 8 Mb
#define LEAN_NUM_SLOTS (LEAN_MAX_SMALL_OBJECT_SIZE / LEAN_OBJECT_SIZE_DELTA)
#define LEAN_MAX_TO_EXPORT_OBJS 1024