Leonardo de Moura
|
a29eaf0067
|
feat(kernel): add 'trusted' flag for definitions
|
2016-04-11 15:49:29 -07:00 |
|
Leonardo de Moura
|
d8079aa16a
|
refactor(library): create copy of the kernel type_checker in library
Motivation: it will allow us to simplify the kernel type_checker and
make sure it implements the same API provided by type_context
|
2016-03-18 14:34:10 -07:00 |
|
Leonardo de Moura
|
56d7fc4c23
|
refactor(*): cleanup replace_visitor subclasses, and make sure let-expressions are handled
|
2016-02-29 16:55:19 -08:00 |
|
Leonardo de Moura
|
c9e9fee76a
|
refactor(*): remove name_generator and use simpler mk_fresh_name
|
2016-02-11 18:05:57 -08:00 |
|
Leonardo de Moura
|
8616ed096e
|
fix(library/composition_manager): typo
|
2015-06-27 14:12:26 -07:00 |
|
Leonardo de Moura
|
ca0aa4eb47
|
feat(library/composition_manager): simplify compositions of the form (mk ... (proj (mk ...)) ...)
closes #666
|
2015-06-27 14:07:32 -07:00 |
|
Leonardo de Moura
|
430dc21a28
|
feat(library/composition_manager): disable conversion optimization for automatically generated compositions
see issue #666
|
2015-06-27 14:07:22 -07:00 |
|
Leonardo de Moura
|
aeea8f83c4
|
feat(library/composition_manager): check if existing definition is definitionally equal
|
2015-06-21 16:53:08 -07:00 |
|
Leonardo de Moura
|
c59e1f49db
|
feat(library): add composition manager
|
2015-06-17 14:41:50 -07:00 |
|