File tree
158 files changed
+74209
-80570
lines changed- stage0
- src
- kernel
- runtime
- stdlib
- Init
- Data
- Array
- ByteArray
- Fin
- List
- Option
- String
- System
- Lean
- Compiler
- IR
- LCNF
- Simp
- Data
- Json
- Lsp
- Xml
- Elab
- InfoTree
- PreDefinition
- Structural
- WF
- Tactic
- Conv
- Linter
- Meta
- Match
- Tactic
- LinearArith
- Simp
- Parser
- PrettyPrinter/Delaborator
- Server
- FileWorker
- Rpc
- Util
- Widget
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
158 files changed
+74209
-80570
lines changedDiff for: stage0/src/kernel/expr_eq_fn.cpp
+3-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Diff for: stage0/src/kernel/for_each_fn.cpp
-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Diff for: stage0/src/kernel/kernel_exception.h
+4-15
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Diff for: stage0/src/kernel/type_checker.cpp
+3-3
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Diff for: stage0/src/runtime/interrupt.cpp
+5-24
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Diff for: stage0/src/runtime/interrupt.h
+6-44
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Diff for: stage0/stdlib/Init.c
+5-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments