chore: update stage0

2026-03-17 18:34:06 +00:00 · 2026-02-11 16:33:52 +00:00
parent 483cad5fd6
commit 6a1550d3be
17 changed files with 0 additions and 1 deletions
--- a/stage0/src/library/ir_interpreter.cpp
+++ b/stage0/src/library/ir_interpreter.cpp
--- a/stage0/src/runtime/mutex.cpp
+++ b/stage0/src/runtime/mutex.cpp
--- a/stage0/src/runtime/thread.h
+++ b/stage0/src/runtime/thread.h
--- a/stage0/src/stdlib_flags.h
+++ b/stage0/src/stdlib_flags.h
@@ -1,4 +1,3 @@
-// update me!
 #include "util/options.h"

 namespace lean {
--- a/stage0/stdlib/Init/Data/Array/Int.c
+++ b/stage0/stdlib/Init/Data/Array/Int.c
--- a/stage0/stdlib/Init/Data/Array/Nat.c
+++ b/stage0/stdlib/Init/Data/Array/Nat.c
--- a/stage0/stdlib/Init/Data/String/Lemmas/Pattern.c
+++ b/stage0/stdlib/Init/Data/String/Lemmas/Pattern.c
--- a/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Char.c
+++ b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Char.c
--- a/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Pred.c
+++ b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Pred.c
--- a/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Split.c
+++ b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Split.c
--- a/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String/Basic.c
+++ b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String/Basic.c
--- a/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String/ForwardSearcher.c
+++ b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String/ForwardSearcher.c
--- a/stage0/stdlib/Init/Notation.c
+++ b/stage0/stdlib/Init/Notation.c
--- a/stage0/stdlib/Lean/Class.c
+++ b/stage0/stdlib/Lean/Class.c
--- a/stage0/stdlib/Lean/Elab/Inductive.c
+++ b/stage0/stdlib/Lean/Elab/Inductive.c
--- a/stage0/stdlib/Lean/Elab/Structure.c
+++ b/stage0/stdlib/Lean/Elab/Structure.c
--- a/stage0/stdlib/LeanChecker.c
+++ b/stage0/stdlib/LeanChecker.c