chore: update stage0

leanprover · Sep 10, 2024 · 0b9a4bd · 0b9a4bd
1 parent e41e305
commit 0b9a4bd
Show file tree

Hide file tree

Showing 370 changed files with 165,856 additions and 131,170 deletions.
diff --git a/stage0/src/CMakeLists.txt b/stage0/src/CMakeLists.txt
diff --git a/stage0/src/include/lean/lean.h b/stage0/src/include/lean/lean.h
diff --git a/stage0/src/library/compiler/erase_irrelevant.cpp b/stage0/src/library/compiler/erase_irrelevant.cpp
diff --git a/stage0/src/library/constants.cpp b/stage0/src/library/constants.cpp
diff --git a/stage0/src/library/constants.h b/stage0/src/library/constants.h
diff --git a/stage0/src/library/constants.txt b/stage0/src/library/constants.txt
diff --git a/stage0/src/runtime/object.cpp b/stage0/src/runtime/object.cpp
diff --git a/stage0/src/stdlib.make.in b/stage0/src/stdlib.make.in
diff --git a/stage0/stdlib/Init/Classical.c b/stage0/stdlib/Init/Classical.c
diff --git a/stage0/stdlib/Init/Core.c b/stage0/stdlib/Init/Core.c
diff --git a/stage0/stdlib/Init/Data/Array.c b/stage0/stdlib/Init/Data/Array.c