chore: update stage0

2026-03-17 10:24:07 +00:00 · 2026-03-11 14:53:48 +00:00
parent 652ca9f5b7
commit d3db4368d4
25 changed files with 0 additions and 0 deletions
--- a/stage0/src/stdlib.make.in
+++ b/stage0/src/stdlib.make.in
--- a/stage0/stdlib/Lean/Compiler/IR.c
+++ b/stage0/stdlib/Lean/Compiler/IR.c
--- a/stage0/stdlib/Lean/Compiler/IR/AddExtern.c
+++ b/stage0/stdlib/Lean/Compiler/IR/AddExtern.c
--- a/stage0/stdlib/Lean/Compiler/IR/EmitC.c
+++ b/stage0/stdlib/Lean/Compiler/IR/EmitC.c
--- a/stage0/stdlib/Lean/Compiler/IR/EmitLLVM.c
+++ b/stage0/stdlib/Lean/Compiler/IR/EmitLLVM.c
--- a/stage0/stdlib/Lean/Compiler/IR/SimpCase.c
+++ b/stage0/stdlib/Lean/Compiler/IR/SimpCase.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/Basic.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/Basic.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/EmitC.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/EmitC.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/EmitUtil.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/EmitUtil.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/Internalize.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/Internalize.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/PublicDeclsExt.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/PublicDeclsExt.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/SimpCase.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/SimpCase.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/SplitSCC.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/SplitSCC.c
--- a/stage0/stdlib/Lean/Compiler/LCNF/Toposort.c
+++ b/stage0/stdlib/Lean/Compiler/LCNF/Toposort.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/Do/VCGen/SuggestInvariant.c
+++ b/stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/SuggestInvariant.c
--- a/stage0/stdlib/Lean/Meta/Tactic/Cbv/BuiltinCbvSimprocs/Array.c
+++ b/stage0/stdlib/Lean/Meta/Tactic/Cbv/BuiltinCbvSimprocs/Array.c
--- a/stage0/stdlib/Lean/Meta/Tactic/Cbv/Main.c
+++ b/stage0/stdlib/Lean/Meta/Tactic/Cbv/Main.c
--- a/stage0/stdlib/Lean/Shell.c
+++ b/stage0/stdlib/Lean/Shell.c
--- a/stage0/stdlib/Std/Do/Triple/SpecLemmas.c
+++ b/stage0/stdlib/Std/Do/Triple/SpecLemmas.c
--- a/stage0/stdlib/Std/Tactic/Do/Syntax.c
+++ b/stage0/stdlib/Std/Tactic/Do/Syntax.c