Skip to content

Commit e827467

Browse files
zwarichzwarich
committed
chore: update stage0
1 parent ebec6c1 commit e827467

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

51 files changed

+8574
-1295
lines changed

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

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

‎stage0/stdlib/Lean/Compiler/IR/Borrow.c

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

‎stage0/stdlib/Lean/Compiler/IR/Boxing.c

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

‎stage0/stdlib/Lean/Compiler/IR/Checker.c

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

‎stage0/stdlib/Lean/Compiler/IR/EmitC.c

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

‎stage0/stdlib/Lean/Compiler/IR/EmitLLVM.c

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

‎stage0/stdlib/Lean/Compiler/IR/EmitUtil.c

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

‎stage0/stdlib/Lean/Compiler/IR/ExpandResetReuse.c

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

‎stage0/stdlib/Lean/Compiler/IR/FreeVars.c

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

‎stage0/stdlib/Lean/Compiler/IR/LiveVars.c

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

‎stage0/stdlib/Lean/Compiler/IR/NormIds.c

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

0 commit comments

Comments
 (0)