chore: update stage0

leanprover · Aug 14, 2024 · bd5f8ef · bd5f8ef
1 parent 337db03
commit bd5f8ef
Show file tree

Hide file tree

Showing 171 changed files with 33,697 additions and 16,532 deletions.
diff --git a/stage0/src/CMakeLists.txt b/stage0/src/CMakeLists.txt
diff --git a/stage0/src/cmake/Modules/FindLibUV.cmake b/stage0/src/cmake/Modules/FindLibUV.cmake
diff --git a/stage0/src/include/lean/lean_libuv.h b/stage0/src/include/lean/lean_libuv.h
diff --git a/stage0/src/kernel/environment.h b/stage0/src/kernel/environment.h
diff --git a/stage0/src/kernel/expr_eq_fn.cpp b/stage0/src/kernel/expr_eq_fn.cpp
diff --git a/stage0/src/kernel/init_module.cpp b/stage0/src/kernel/init_module.cpp
diff --git a/stage0/src/kernel/init_module.h b/stage0/src/kernel/init_module.h
diff --git a/stage0/src/kernel/instantiate_mvars.cpp b/stage0/src/kernel/instantiate_mvars.cpp
diff --git a/stage0/src/lean.mk.in b/stage0/src/lean.mk.in
diff --git a/stage0/src/library/compiler/init_module.cpp b/stage0/src/library/compiler/init_module.cpp
diff --git a/stage0/src/library/compiler/init_module.h b/stage0/src/library/compiler/init_module.h
diff --git a/stage0/src/library/compiler/ir.h b/stage0/src/library/compiler/ir.h
diff --git a/stage0/src/library/compiler/ir_interpreter.cpp b/stage0/src/library/compiler/ir_interpreter.cpp
diff --git a/stage0/src/library/compiler/ir_interpreter.h b/stage0/src/library/compiler/ir_interpreter.h
diff --git a/stage0/src/library/constructions/init_module.cpp b/stage0/src/library/constructions/init_module.cpp
diff --git a/stage0/src/library/constructions/init_module.h b/stage0/src/library/constructions/init_module.h
diff --git a/stage0/src/library/init_module.cpp b/stage0/src/library/init_module.cpp
diff --git a/stage0/src/library/init_module.h b/stage0/src/library/init_module.h
diff --git a/stage0/src/library/module.h b/stage0/src/library/module.h
diff --git a/stage0/src/library/print.h b/stage0/src/library/print.h