chore: update stage0

leanprover · Jan 23, 2025 · c073da2 · c073da2
1 parent d8bcd6a
commit c073da2
Show file tree

Hide file tree

Showing 135 changed files with 115,998 additions and 54,795 deletions.
diff --git a/stage0/stdlib/Init/Data/Array/Attach.c b/stage0/stdlib/Init/Data/Array/Attach.c
diff --git a/stage0/stdlib/Init/Data/Array/Basic.c b/stage0/stdlib/Init/Data/Array/Basic.c
diff --git a/stage0/stdlib/Init/Data/Array/Count.c b/stage0/stdlib/Init/Data/Array/Count.c
diff --git a/stage0/stdlib/Init/Data/Array/Lemmas.c b/stage0/stdlib/Init/Data/Array/Lemmas.c
diff --git a/stage0/stdlib/Init/Data/Array/MapIdx.c b/stage0/stdlib/Init/Data/Array/MapIdx.c
diff --git a/stage0/stdlib/Init/Data/BitVec/Basic.c b/stage0/stdlib/Init/Data/BitVec/Basic.c
diff --git a/stage0/stdlib/Init/Data/BitVec/Lemmas.c b/stage0/stdlib/Init/Data/BitVec/Lemmas.c
diff --git a/stage0/stdlib/Init/Data/List/Erase.c b/stage0/stdlib/Init/Data/List/Erase.c
diff --git a/stage0/stdlib/Init/Data/Subtype.c b/stage0/stdlib/Init/Data/Subtype.c
diff --git a/stage0/stdlib/Init/Data/Vector.c b/stage0/stdlib/Init/Data/Vector.c