chore: update stage0

kmill · Oct 26, 2023 · 6c5f79c · 6c5f79c
1 parent 23c68cf
commit 6c5f79c
Show file tree

Hide file tree

Showing 244 changed files with 131,786 additions and 134,671 deletions.
diff --git a/stage0/src/CMakeLists.txt b/stage0/src/CMakeLists.txt
diff --git a/stage0/src/bin/lean.in b/stage0/src/bin/lean.in
diff --git a/stage0/src/include/lean/lean.h b/stage0/src/include/lean/lean.h
diff --git a/stage0/src/initialize/init.cpp b/stage0/src/initialize/init.cpp
diff --git a/stage0/src/kernel/expr_eq_fn.cpp b/stage0/src/kernel/expr_eq_fn.cpp
diff --git a/stage0/src/kernel/for_each_fn.cpp b/stage0/src/kernel/for_each_fn.cpp
diff --git a/stage0/src/kernel/inductive.cpp b/stage0/src/kernel/inductive.cpp
diff --git a/stage0/src/kernel/kernel_exception.h b/stage0/src/kernel/kernel_exception.h
diff --git a/stage0/src/kernel/level.h b/stage0/src/kernel/level.h
diff --git a/stage0/src/kernel/quot.h b/stage0/src/kernel/quot.h
diff --git a/stage0/src/kernel/type_checker.cpp b/stage0/src/kernel/type_checker.cpp
diff --git a/stage0/src/lean.mk.in b/stage0/src/lean.mk.in
diff --git a/stage0/src/library/annotation.h b/stage0/src/library/annotation.h
diff --git a/stage0/src/library/compiler/cse.cpp b/stage0/src/library/compiler/cse.cpp
diff --git a/stage0/src/library/compiler/csimp.cpp b/stage0/src/library/compiler/csimp.cpp
diff --git a/stage0/src/library/compiler/specialize.cpp b/stage0/src/library/compiler/specialize.cpp
diff --git a/stage0/src/library/constructions/no_confusion.cpp b/stage0/src/library/constructions/no_confusion.cpp
diff --git a/stage0/src/library/print.cpp b/stage0/src/library/print.cpp
diff --git a/stage0/src/library/print.h b/stage0/src/library/print.h
diff --git a/stage0/src/runtime/alloc.cpp b/stage0/src/runtime/alloc.cpp