chore: update stage0

leanprover · Jan 9, 2025 · 5af3e76 · 5af3e76
1 parent fd41c69
commit 5af3e76
Show file tree

Hide file tree

Showing 307 changed files with 146,178 additions and 85,261 deletions.
diff --git a/stage0/src/CMakeLists.txt b/stage0/src/CMakeLists.txt
diff --git a/stage0/src/kernel/environment.cpp b/stage0/src/kernel/environment.cpp
diff --git a/stage0/src/kernel/environment.h b/stage0/src/kernel/environment.h
diff --git a/stage0/src/kernel/kernel_exception.h b/stage0/src/kernel/kernel_exception.h
diff --git a/stage0/src/kernel/trace.cpp b/stage0/src/kernel/trace.cpp
diff --git a/stage0/src/kernel/trace.h b/stage0/src/kernel/trace.h
diff --git a/stage0/src/kernel/type_checker.cpp b/stage0/src/kernel/type_checker.cpp
diff --git a/stage0/src/kernel/type_checker.h b/stage0/src/kernel/type_checker.h
diff --git a/stage0/src/library/CMakeLists.txt b/stage0/src/library/CMakeLists.txt
diff --git a/stage0/src/library/aux_recursors.cpp b/stage0/src/library/aux_recursors.cpp
diff --git a/stage0/src/library/aux_recursors.h b/stage0/src/library/aux_recursors.h
diff --git a/stage0/src/library/class.cpp b/stage0/src/library/class.cpp
diff --git a/stage0/src/library/class.h b/stage0/src/library/class.h