chore: update stage0

leanprover · Dec 11, 2024 · 4c599e9 · 4c599e9
1 parent 3f09d74
commit 4c599e9
Show file tree

Hide file tree

Showing 250 changed files with 18,421 additions and 17,619 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