chore: update stage0

leanprover · Jul 20, 2024 · 696f70b · 696f70b
1 parent 726e162
commit 696f70b
Show file tree

Hide file tree

Showing 43 changed files with 920 additions and 2,745 deletions.
diff --git a/stage0/src/kernel/cache_stack.h b/stage0/src/kernel/cache_stack.h
diff --git a/stage0/src/kernel/replace_fn.cpp b/stage0/src/kernel/replace_fn.cpp
diff --git a/stage0/stdlib/Lean/AddDecl.c b/stage0/stdlib/Lean/AddDecl.c
diff --git a/stage0/stdlib/Lean/Compiler/InlineAttrs.c b/stage0/stdlib/Lean/Compiler/InlineAttrs.c