Sebastian Ullrich
|
fce7aca812
|
feat(frontends/lean/vm_elaborator): recover from unknown identifiers
|
2019-02-07 14:16:28 +01:00 |
|
Leonardo de Moura
|
58e91559d0
|
feat(*): use new inductive datatype module
|
2018-09-06 18:09:22 -07:00 |
|
Gabriel Ebner
|
d79909a1b8
|
refactor(util/lean_path): support leanpkg.path files
|
2017-05-01 14:11:38 -07:00 |
|
Gabriel Ebner
|
baa4c48f1f
|
refactor(util/lean_path): explicitly pass around search path
|
2017-05-01 14:11:38 -07:00 |
|
Leonardo de Moura
|
ccd9a8212a
|
chore(shell/lean_js): compilation warning
|
2017-03-23 12:56:35 -07:00 |
|
Gabriel Ebner
|
c7ca21625c
|
feat(util/log_tree): annotate nodes with detail levels
|
2017-03-23 09:03:43 +01:00 |
|
Gabriel Ebner
|
5f872912e0
|
refactor(shell/lean): set exit status 1 iff at least one error was reported
|
2017-03-23 08:57:56 +01:00 |
|
Gabriel Ebner
|
595cbb8fe9
|
refactor(*): task<T>, log_tree, cancellation_token
|
2017-03-23 08:57:52 +01:00 |
|
Gabriel Ebner
|
2f07bf352c
|
refactor(library/standard_kernel): move standard kernel into kernel
|
2017-01-31 09:39:31 +01:00 |
|
Sebastian Ullrich
|
b180c54c0e
|
feat(shell): move lean.js to server mode
|
2017-01-13 07:34:54 -08:00 |
|
Gabriel Ebner
|
0550d2a6ac
|
refactor(library/module): import all modules in a single call
|
2016-12-20 10:15:19 -08:00 |
|
Gabriel Ebner
|
3ecfddcbd5
|
fix(*): fix build
|
2016-11-29 11:12:43 -08:00 |
|
Gabriel Ebner
|
a8df381d20
|
feat(*): parallel compilation
|
2016-11-29 11:12:40 -08:00 |
|
Gabriel Ebner
|
6d7cf7bace
|
fix(tests/shell): fix build
|
2016-10-16 14:41:35 -07:00 |
|
Gabriel Ebner
|
ec0aa6d248
|
refactor(*): integrate emscripten build
|
2016-10-16 14:41:35 -07:00 |
|