chore: update stage0

2026-03-17 10:24:07 +00:00 · 2026-02-10 22:17:26 +00:00
parent 5115b8f361
commit d886be121e
71 changed files with 0 additions and 0 deletions
--- a/stage0/src/runtime/hash.cpp
+++ b/stage0/src/runtime/hash.cpp
--- a/stage0/src/runtime/io.cpp
+++ b/stage0/src/runtime/io.cpp
--- a/stage0/stdlib/Init/Data/Ord/Basic.c
+++ b/stage0/stdlib/Init/Data/Ord/Basic.c
--- a/stage0/stdlib/Init/Data/Slice/Array/Lemmas.c
+++ b/stage0/stdlib/Init/Data/Slice/Array/Lemmas.c
--- a/stage0/stdlib/Init/Data/Slice/InternalLemmas.c
+++ b/stage0/stdlib/Init/Data/Slice/InternalLemmas.c
--- a/stage0/stdlib/Init/Data/Slice/Lemmas.c
+++ b/stage0/stdlib/Init/Data/Slice/Lemmas.c
--- a/stage0/stdlib/Init/Data/String/Basic.c
+++ b/stage0/stdlib/Init/Data/String/Basic.c
--- a/stage0/stdlib/Init/Data/String/Defs.c
+++ b/stage0/stdlib/Init/Data/String/Defs.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/String.c
+++ b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String.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/ForwardPattern.c
+++ b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String/ForwardPattern.c
--- a/stage0/stdlib/Init/Data/String/Lemmas/Splits.c
+++ b/stage0/stdlib/Init/Data/String/Lemmas/Splits.c
--- a/stage0/stdlib/Init/System/IO.c
+++ b/stage0/stdlib/Init/System/IO.c
--- a/stage0/stdlib/Lake/Build/Common.c
+++ b/stage0/stdlib/Lake/Build/Common.c
--- a/stage0/stdlib/Lake/Build/ExternLib.c
+++ b/stage0/stdlib/Lake/Build/ExternLib.c
--- a/stage0/stdlib/Lake/Build/Module.c
+++ b/stage0/stdlib/Lake/Build/Module.c
--- a/stage0/stdlib/Lake/Build/Package.c
+++ b/stage0/stdlib/Lake/Build/Package.c
--- a/stage0/stdlib/Lake/Build/Run.c
+++ b/stage0/stdlib/Lake/Build/Run.c
--- a/stage0/stdlib/Lake/Build/Trace.c
+++ b/stage0/stdlib/Lake/Build/Trace.c
--- a/stage0/stdlib/Lake/Config/Monad.c
+++ b/stage0/stdlib/Lake/Config/Monad.c
--- a/stage0/stdlib/Lake/Config/Workspace.c
+++ b/stage0/stdlib/Lake/Config/Workspace.c
--- a/stage0/stdlib/Lean/Compiler/CSimpAttr.c
+++ b/stage0/stdlib/Lean/Compiler/CSimpAttr.c
--- a/stage0/stdlib/Lean/Compiler/IR.c
+++ b/stage0/stdlib/Lean/Compiler/IR.c
--- a/stage0/stdlib/Lean/Compiler/IR/SimpCase.c
+++ b/stage0/stdlib/Lean/Compiler/IR/SimpCase.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/AlphaEqv.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/AlphaEqv.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/PassManager.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/PassManager.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/Passes.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/Passes.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/PhaseExt.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/PhaseExt.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/SimpCase.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/SimpCase.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/ToImpure.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/ToImpure.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c
--- a/stage0/stdlib/Lean/CoreM.c
+++ b/stage0/stdlib/Lean/CoreM.c
--- a/stage0/stdlib/Lean/Elab/Command.c
+++ b/stage0/stdlib/Lean/Elab/Command.c
--- a/stage0/stdlib/Lean/Elab/Structure.c
+++ b/stage0/stdlib/Lean/Elab/Structure.c
--- a/stage0/stdlib/Lean/Elab/Tactic/Do/Attr.c
+++ b/stage0/stdlib/Lean/Elab/Tactic/Do/Attr.c
--- a/stage0/stdlib/Lean/Elab/Tactic/Do/VCGen.c
+++ b/stage0/stdlib/Lean/Elab/Tactic/Do/VCGen.c
--- a/stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Basic.c
+++ b/stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Basic.c
--- a/stage0/stdlib/Lean/Elab/Tactic/Grind/Main.c
+++ b/stage0/stdlib/Lean/Elab/Tactic/Grind/Main.c
--- a/stage0/stdlib/Lean/Elab/Tactic/Grind/Param.c
+++ b/stage0/stdlib/Lean/Elab/Tactic/Grind/Param.c
--- a/stage0/stdlib/Lean/Elab/Tactic/Simp.c
+++ b/stage0/stdlib/Lean/Elab/Tactic/Simp.c
--- a/stage0/stdlib/Lean/Meta/ACLt.c
+++ b/stage0/stdlib/Lean/Meta/ACLt.c
--- a/stage0/stdlib/Lean/Meta/Sym/Simp/ControlFlow.c
+++ b/stage0/stdlib/Lean/Meta/Sym/Simp/ControlFlow.c
--- a/stage0/stdlib/Lean/Meta/Sym/Simp/Have.c
+++ b/stage0/stdlib/Lean/Meta/Sym/Simp/Have.c
--- a/stage0/stdlib/Lean/Meta/Tactic/Cbv.c
+++ b/stage0/stdlib/Lean/Meta/Tactic/Cbv.c
--- a/stage0/stdlib/Lean/Meta/Tactic/Cbv/CbvEvalExt.c
+++ b/stage0/stdlib/Lean/Meta/Tactic/Cbv/CbvEvalExt.c
--- a/stage0/stdlib/Lean/Meta/Tactic/Cbv/ControlFlow.c
+++ b/stage0/stdlib/Lean/Meta/Tactic/Cbv/ControlFlow.c
--- a/stage0/stdlib/Lean/Meta/Tactic/Cbv/Main.c
+++ b/stage0/stdlib/Lean/Meta/Tactic/Cbv/Main.c
--- a/stage0/stdlib/Lean/Meta/Tactic/Grind/Attr.c
+++ b/stage0/stdlib/Lean/Meta/Tactic/Grind/Attr.c
--- a/stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheorem.c
+++ b/stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheorem.c
--- a/stage0/stdlib/Lean/Meta/Tactic/Grind/RegisterCommand.c
+++ b/stage0/stdlib/Lean/Meta/Tactic/Grind/RegisterCommand.c
--- a/stage0/stdlib/Lean/Meta/Tactic/Simp/RegisterCommand.c
+++ b/stage0/stdlib/Lean/Meta/Tactic/Simp/RegisterCommand.c
--- a/stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c
+++ b/stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c
--- a/stage0/stdlib/Std/Data/DTreeMap/Internal/Zipper.c
+++ b/stage0/stdlib/Std/Data/DTreeMap/Internal/Zipper.c
--- a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers.c
+++ b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers.c
--- a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Array.c
+++ b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Array.c
--- a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Monadic.c
+++ b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Monadic.c
--- a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Monadic/Vector.c
+++ b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Monadic/Vector.c
--- a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Slice.c
+++ b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Slice.c
--- a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Vector.c
+++ b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Vector.c
--- a/stage0/stdlib/Std/Data/Iterators/Producers.c
+++ b/stage0/stdlib/Std/Data/Iterators/Producers.c
--- a/stage0/stdlib/Std/Data/Iterators/Producers/Monadic.c
+++ b/stage0/stdlib/Std/Data/Iterators/Producers/Monadic.c
--- a/stage0/stdlib/Std/Data/Iterators/Producers/Monadic/Vector.c
+++ b/stage0/stdlib/Std/Data/Iterators/Producers/Monadic/Vector.c
--- a/stage0/stdlib/Std/Data/Iterators/Producers/Vector.c
+++ b/stage0/stdlib/Std/Data/Iterators/Producers/Vector.c
--- a/stage0/stdlib/Std/Tactic/Do/Syntax.c
+++ b/stage0/stdlib/Std/Tactic/Do/Syntax.c
--- a/stage0/stdlib/Std/Time/Date/PlainDate.c
+++ b/stage0/stdlib/Std/Time/Date/PlainDate.c
--- a/stage0/stdlib/Std/Time/DateTime/PlainDateTime.c
+++ b/stage0/stdlib/Std/Time/DateTime/PlainDateTime.c
--- a/stage0/stdlib/Std/Time/Zoned/Offset.c
+++ b/stage0/stdlib/Std/Time/Zoned/Offset.c