chore: update stage0

leanprover · Dec 10, 2024 · 8a3a806 · 8a3a806
1 parent 5c333ef
commit 8a3a806
Show file tree

Hide file tree

Showing 11 changed files with 1,278 additions and 1,209 deletions.
diff --git a/stage0/src/library/compiler/ir.cpp b/stage0/src/library/compiler/ir.cpp
diff --git a/stage0/src/library/compiler/ir.h b/stage0/src/library/compiler/ir.h
diff --git a/stage0/src/library/compiler/ir_interpreter.cpp b/stage0/src/library/compiler/ir_interpreter.cpp
diff --git a/stage0/src/library/compiler/llnf.cpp b/stage0/src/library/compiler/llnf.cpp
diff --git a/stage0/src/library/compiler/llnf.h b/stage0/src/library/compiler/llnf.h
diff --git a/stage0/src/runtime/object.h b/stage0/src/runtime/object.h