chore: update stage0

leanprover · Dec 18, 2024 · 1214e64 · 1214e64
1 parent 3e942f2
commit 1214e64
Show file tree

Hide file tree

Showing 350 changed files with 388,638 additions and 377,588 deletions.
diff --git a/stage0/src/lake/README.md b/stage0/src/lake/README.md
diff --git a/stage0/src/library/compiler/ir_interpreter.cpp b/stage0/src/library/compiler/ir_interpreter.cpp
diff --git a/stage0/src/runtime/object.h b/stage0/src/runtime/object.h
diff --git a/stage0/src/util/shell.cpp b/stage0/src/util/shell.cpp
diff --git a/stage0/stdlib/Init/Data/Array.c b/stage0/stdlib/Init/Data/Array.c