| .. |
|
basic.lean
|
refactor(library/init/lean): move extern.lean to compiler subdirectory
|
2019-06-25 08:59:55 -07:00 |
|
borrow.lean
|
feat(library/init/lean/compiler): [export] attribute in Lean
|
2019-06-24 15:48:12 -07:00 |
|
boxing.lean
|
refactor(library/init/lean): move extern.lean to compiler subdirectory
|
2019-06-25 08:59:55 -07:00 |
|
checker.lean
|
fix(library/init/lean/compiler/ir): use setTag at expandresetreuse
|
2019-05-23 17:41:14 -07:00 |
|
compilerm.lean
|
refactor(library/init/lean/environment): more flexible PersistentEnvExtensionState
|
2019-06-04 16:35:21 -07:00 |
|
default.lean
|
feat(library/init/data/array/basic): efficient heterogeneous Array.map
|
2019-05-25 16:32:59 -07:00 |
|
elimdead.lean
|
chore(library/init): mimize use of notations
|
2019-06-24 15:48:11 -07:00 |
|
emitcpp.lean
|
feat(library/init/lean/compiler): [export] attribute in Lean
|
2019-06-24 15:48:12 -07:00 |
|
emitutil.lean
|
chore(library/init): avoid local notation
|
2019-06-24 15:48:11 -07:00 |
|
expandresetreuse.lean
|
chore(library/init): mimize use of notations
|
2019-06-24 15:48:11 -07:00 |
|
format.lean
|
fix(library/init/lean/compiler/ir): use setTag at expandresetreuse
|
2019-05-23 17:41:14 -07:00 |
|
freevars.lean
|
chore(library): use >> as notation for andthen
|
2019-06-20 09:54:53 -07:00 |
|
livevars.lean
|
chore(library/init): avoid local notation
|
2019-06-24 15:48:11 -07:00 |
|
normids.lean
|
feat(library/init/data/array/basic): efficient heterogeneous Array.map
|
2019-05-25 16:32:59 -07:00 |
|
pushproj.lean
|
chore(library/init): mimize use of notations
|
2019-06-24 15:48:11 -07:00 |
|
rc.lean
|
fix(library/init/lean/compiler/ir/rc): uset live vars
|
2019-05-31 21:55:57 -07:00 |
|
resetreuse.lean
|
chore(library/init): mimize use of notations
|
2019-06-24 15:48:11 -07:00 |
|
simpcase.lean
|
feat(library/init/data/array/basic): efficient heterogeneous Array.map
|
2019-05-25 16:32:59 -07:00 |
