Skip to content

Commit 2970770

Browse files
committed
chore: update-stage0
1 parent 8b076fd commit 2970770

File tree

12 files changed

+14861
-10961
lines changed

12 files changed

+14861
-10961
lines changed

stage0/src/include/lean/lean.h

Lines changed: 3 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

stage0/src/library/ir_interpreter.cpp

Lines changed: 8 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

stage0/src/library/ir_types.h

Lines changed: 2 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

stage0/stdlib/Lean/Compiler/IR/Basic.c

Lines changed: 480 additions & 347 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)