chore: update stage0

leanprover · Dec 29, 2024 · 536c6a8 · 536c6a8
1 parent 9c0ef2a
commit 536c6a8
Show file tree

Hide file tree

Showing 41 changed files with 54,763 additions and 27,871 deletions.
diff --git a/stage0/stdlib/Init/Grind.c b/stage0/stdlib/Init/Grind.c
diff --git a/stage0/stdlib/Init/Grind/Lemmas.c b/stage0/stdlib/Init/Grind/Lemmas.c
diff --git a/stage0/stdlib/Init/Grind/Tactics.c b/stage0/stdlib/Init/Grind/Tactics.c
diff --git a/stage0/stdlib/Lean/Class.c b/stage0/stdlib/Lean/Class.c
diff --git a/stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c b/stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c
diff --git a/stage0/stdlib/Lean/Elab/Tactic.c b/stage0/stdlib/Lean/Elab/Tactic.c
diff --git a/stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide.c b/stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide.c
diff --git a/stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/Reflect.c b/stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/Reflect.c
diff --git a/stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/ReifiedBVLogical.c b/stage0/stdlib/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/ReifiedBVLogical.c