| .. |
|
basic.lean
|
feat(library/init/lean/compiler/ir/expandresetreuse): first draft
|
2019-05-23 14:07:08 -07:00 |
|
borrow.lean
|
fix(library/init/lean/compiler/ir/borrow): visit join point body
|
2019-05-22 17:31:56 -07:00 |
|
boxing.lean
|
fix(library/init/lean/compiler/ir/boxing): created boxed version for externs
|
2019-05-22 10:56:51 -07:00 |
|
checker.lean
|
feat(library/init/lean/compiler/ir/expandresetreuse): first draft
|
2019-05-23 14:07:08 -07:00 |
|
compilerm.lean
|
feat(library/init/lean/compiler/ir): improve checker
|
2019-05-21 13:18:56 -07:00 |
|
default.lean
|
feat(library/init/lean/compiler/ir): add expandresetreuse
|
2019-05-23 08:58:16 -07:00 |
|
elimdead.lean
|
refactor(library/init/lean/compiler/ir): remove redundant field from FnBody.jdecl
|
2019-05-07 12:26:11 -07:00 |
|
emitcpp.lean
|
feat(library/init/lean/compiler/ir/expandresetreuse): first draft
|
2019-05-23 14:07:08 -07:00 |
|
emitutil.lean
|
feat(library/init/lean/compiler/ir): develop expandresetreuse
|
2019-05-23 12:42:31 -07:00 |
|
expandresetreuse.lean
|
feat(library/init/lean/compiler/ir/expandresetreuse): first draft
|
2019-05-23 14:07:08 -07:00 |
|
format.lean
|
feat(library/init/lean/compiler/ir): add del instruction for releasing memory
|
2019-05-23 08:01:15 -07:00 |
|
freevars.lean
|
feat(library/init/lean/compiler/ir/expandresetreuse): first draft
|
2019-05-23 14:07:08 -07:00 |
|
livevars.lean
|
feat(library/init/lean/compiler/ir/expandresetreuse): first draft
|
2019-05-23 14:07:08 -07:00 |
|
normids.lean
|
feat(library/init/lean/compiler/ir/expandresetreuse): first draft
|
2019-05-23 14:07:08 -07:00 |
|
pushproj.lean
|
feat(library/init/lean/compiler/ir): push projections more aggresively
|
2019-05-23 15:03:51 -07:00 |
|
rc.lean
|
feat(library/init/lean/compiler/ir/rc): missing optimization
|
2019-05-22 18:46:43 -07:00 |
|
resetreuse.lean
|
fix(library/init/lean/compiler/ir/resetreuse): bug at D
|
2019-05-23 16:57:59 -07:00 |
|
simpcase.lean
|
fix(library/init/lean/compiler/ir): avoid compilation warning
|
2019-05-21 20:19:45 -07:00 |
