engineering/java-topology
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
java-topology/defects/lean4/patch
History
russell@unturf.com ae6e04c5bd feat: add lean4-0004 through lean4-0007 patches 
lean4-0004: collapse 3-phase lock in ir_interpreter lookup_symbol to single unique_lock
lean4-0005: replace IO.Ref JobQueue with Std.Mutex in Lake job registry
lean4-0006: register thread-local reset for g_opts in kernel/trace.cpp
lean4-0007: build unordered_set of override keys outside env-var loop (Windows)
2026-04-13 10:24:23 -04:00
..
lean4-0001-lake-guardcycle-hashset.patch patches: lean4-0001 — refine Cycle.lean patch, standalone MonadCallStackFast, low-priority fallback instance 2026-04-13 10:03:58 -04:00
lean4-0002-kernel-inductive-expr-set.patch patches: lean4-0001..0003 — MOAD-0001 Cycle.lean HashSet fix + kernel inductive + util.cpp 2026-04-13 10:03:29 -04:00
lean4-0003-library-util-fresh-name-set.patch patches: lean4-0001..0003 — MOAD-0001 Cycle.lean HashSet fix + kernel inductive + util.cpp 2026-04-13 10:03:29 -04:00
lean4-0004-irinterp-symbol-cache-lock.patch feat: add lean4-0004 through lean4-0007 patches 2026-04-13 10:24:23 -04:00
lean4-0005-lake-jobreg-mutex.patch feat: add lean4-0004 through lean4-0007 patches 2026-04-13 10:24:23 -04:00
lean4-0006-kernel-trace-thread-local-reset.patch feat: add lean4-0004 through lean4-0007 patches 2026-04-13 10:24:23 -04:00
lean4-0007-runtime-process-envvar-keyset.patch feat: add lean4-0004 through lean4-0007 patches 2026-04-13 10:24:23 -04:00