Sebastian Ullrich 609a05a90a feat: increase default stack size from 8MB to 1GB (#12971) ... This PR increases Lean's default stack size, including for the main thread of Lean executables, to 1GB. As stack pages are allocated dynamically, this should not change the memory usage of programs but can prevent them from stack overflowing. The stack size (of any Lean thread) can now be customized via the `LEAN_STACK_SIZE_KB` environment variable. `main` can be prevented from running on a new thread by setting `LEAN_MAIN_USE_THREAD=0`, in which case the default OS stack size management applies to the main thread again.		2026-03-20 15:40:00 +00:00
..
constructions	chore: delete dead C++ code (#12248)	2026-02-05 09:00:21 +00:00
annotation.cpp
annotation.h
bin_app.cpp
bin_app.h
CMakeLists.txt	perf: fuse fvar substitution into instantiateMVars (#12233)	2026-03-09 17:05:21 +00:00
constants.cpp
constants.h
constants.txt
dynlib.cpp	feat: zero cost BaseIO (#10625)	2025-10-22 10:55:12 +02:00
dynlib.h
elab_environment.cpp	refactor: port shell option processing to Lean (v2) (#11434)	2025-12-02 17:41:51 +00:00
elab_environment.h	perf: mark move constructors and assignment operators as noexcept (#10784)	2025-10-22 14:21:51 +00:00
expr_lt.cpp	feat: add the nondep field of Expr.letE to the C++ data model (#8751)	2025-06-14 23:10:27 +00:00
expr_lt.h
expr_pair.h
expr_pair_maps.h	perf: use lean::unordered_map/set everywhere (#11957)	2026-01-12 17:14:09 +00:00
expr_unsigned_map.h	perf: use lean::unordered_map/set everywhere (#11957)	2026-01-12 17:14:09 +00:00
formatter.cpp
formatter.h
init_attribute.cpp	chore: move the IR interpreter from library/compiler to library (#9265)	2025-07-08 20:45:55 +00:00
init_attribute.h	chore: move the IR interpreter from library/compiler to library (#9265)	2025-07-08 20:45:55 +00:00
init_module.cpp	feat: @[instance_reducible] part 2 (#12263)	2026-02-03 04:01:13 +00:00
init_module.h
instantiate_mvars.cpp	perf: fuse fvar substitution into instantiateMVars (#12233)	2026-03-09 17:05:21 +00:00
ir_interpreter.cpp	feat: increase default stack size from 8MB to 1GB (#12971)	2026-03-20 15:40:00 +00:00
ir_interpreter.h	chore: move the IR interpreter from library/compiler to library (#9265)	2025-07-08 20:45:55 +00:00
ir_types.h	feat: zero cost BaseIO (#10625)	2025-10-22 10:55:12 +02:00
llvm.cpp	feat: zero cost BaseIO (#10625)	2025-10-22 10:55:12 +02:00
max_sharing.cpp	perf: use lean::unordered_map/set everywhere (#11957)	2026-01-12 17:14:09 +00:00
max_sharing.h
module.cpp	perf: avoid double-open per .olean file (#11507)	2025-12-05 09:37:38 +00:00
module.h
num.cpp
num.h
print.cpp	feat: add the nondep field of Expr.letE to the C++ data model (#8751)	2025-06-14 23:10:27 +00:00
print.h
profiling.cpp
profiling.h
replace_visitor.cpp
replace_visitor.h
scope_cache.h	perf: fuse fvar substitution into instantiateMVars (#12233)	2026-03-09 17:05:21 +00:00
suffixes.h	fix: allow arbitrary sorts in structural recursion over reflexive inductive types (#7639)	2025-06-13 21:51:09 +00:00
time_task.cpp	chore: update to c++20 (#12117)	2026-02-11 01:17:40 +00:00
time_task.h
util.cpp	chore: delete obsolete C++ file (#11561)	2025-12-09 15:47:54 +00:00
util.h	refactor: remove unnecessary export attributes (#9281)	2025-07-09 16:55:00 +00:00