chore: update stage0

leanprover · Jan 31, 2024 · 578a230 · 578a230
1 parent 279607f
commit 578a230
Show file tree

Hide file tree

Showing 119 changed files with 134,203 additions and 86,492 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/kernel/type_checker.cpp b/stage0/src/kernel/type_checker.cpp
diff --git a/stage0/src/library/util.cpp b/stage0/src/library/util.cpp
diff --git a/stage0/src/runtime/interrupt.cpp b/stage0/src/runtime/interrupt.cpp
diff --git a/stage0/src/runtime/interrupt.h b/stage0/src/runtime/interrupt.h
diff --git a/stage0/src/runtime/io.cpp b/stage0/src/runtime/io.cpp
diff --git a/stage0/src/runtime/object.cpp b/stage0/src/runtime/object.cpp
diff --git a/stage0/src/runtime/object.h b/stage0/src/runtime/object.h
diff --git a/stage0/src/version.h.in b/stage0/src/version.h.in
diff --git a/stage0/stdlib/Init/Core.c b/stage0/stdlib/Init/Core.c
diff --git a/stage0/stdlib/Init/Data/AC.c b/stage0/stdlib/Init/Data/AC.c