Sebastian Ullrich bfbad53540 fix: avoid storing reference to environment in realization result to prevent promise cycle (#11328) ... This PR fixes freeing memory accidentally retained for each document version in the language server on certain elaboration workloads. The issue must have existed since 4.18.0.		2025-11-24 10:16:56 +00:00
..
bench	fix: avoid storing reference to environment in realization result to prevent promise cycle (#11328)	2025-11-24 10:16:56 +00:00
compiler	refactor: use String.Slice in String.take and variants (#11180)	2025-11-18 16:13:48 +00:00
elabissues
ir
lake	chore: lake: update tests/toml (#11314)	2025-11-22 04:41:58 +00:00
lean	refactor: grind linarith ring normalization (#11334)	2025-11-24 03:11:13 +00:00
pkg	feat: improve error message in the case of type class synthesis failure (#11245)	2025-11-21 21:24:27 +00:00
playground
plugin	chore: re-enable tests (#10923)	2025-10-23 08:38:57 +00:00
simpperf
.gitignore
common.sh	chore: make workspaceSymbol benchmarks modules (#11094)	2025-11-05 18:40:39 +00:00
lakefile.toml	fix: detect private references in inferred type of public def (#10762)	2025-10-15 12:51:54 +00:00
lean-toolchain