| .. |
|
basic.lean
|
perf(library/init/lean/compiler/ir/boxing): create auxiliary constants for caching the value of boxed/unboxed literals and constants
|
2019-09-11 10:37:35 -07:00 |
|
borrow.lean
|
chore(library/init): fix whitspaces before =>
|
2019-08-09 09:13:49 -07:00 |
|
boxing.lean
|
feat(library/init/lean/compiler/ir/boxing): ignore "cheap" cases when caching boxing operations
|
2019-09-11 10:56:37 -07:00 |
|
checker.lean
|
feat(library/init/lean/compiler/ir): add persistent field to inc/dec
|
2019-09-09 07:42:06 -07:00 |
|
compilerm.lean
|
chore(library/init/lean): export as C functions
|
2019-08-16 20:52:10 -07:00 |
|
default.lean
|
fix(library/init/lean/compiler/ir/default): missing explicitRC
|
2019-09-09 10:53:34 -07:00 |
|
elimdead.lean
|
chore(library/init): fix whitspaces before =>
|
2019-08-09 09:13:49 -07:00 |
|
emitc.lean
|
feat(library/init/lean/compiler/ir): add persistent field to inc/dec
|
2019-09-09 07:42:06 -07:00 |
|
emitutil.lean
|
chore(library/init): fix whitspaces before =>
|
2019-08-09 09:13:49 -07:00 |
|
expandresetreuse.lean
|
feat(library/init/lean/compiler/ir): add persistent field to inc/dec
|
2019-09-09 07:42:06 -07:00 |
|
format.lean
|
feat(library/init/lean/compiler/ir): add persistent field to inc/dec
|
2019-09-09 07:42:06 -07:00 |
|
freevars.lean
|
feat(library/init/lean/compiler/ir): add persistent field to inc/dec
|
2019-09-09 07:42:06 -07:00 |
|
livevars.lean
|
feat(library/init/lean/compiler/ir): add persistent field to inc/dec
|
2019-09-09 07:42:06 -07:00 |
|
normids.lean
|
feat(library/init/lean/compiler/ir): add persistent field to inc/dec
|
2019-09-09 07:42:06 -07:00 |
|
pushproj.lean
|
chore(library/init): fix whitspaces before =>
|
2019-08-09 09:13:49 -07:00 |
|
rc.lean
|
feat(library/init/lean/compiler/ir): add persistent field to inc/dec
|
2019-09-09 07:42:06 -07:00 |
|
resetreuse.lean
|
chore(*): update equation syntax in files and old parser
|
2019-08-09 11:11:34 +02:00 |
|
simpcase.lean
|
chore(library/init): fix whitspaces before =>
|
2019-08-09 09:13:49 -07:00 |
