Leonardo de Moura
|
4fe73d3f87
|
fix(frontends/lean/elaborator, kernel/error_msgs): (re-)activate distinguishing_pp_options
|
2017-01-30 11:54:00 -08:00 |
|
Leonardo de Moura
|
29ad781ec2
|
refactor(kernel): remove converter class
This abstraction is not useful after refactoring.
|
2016-03-19 15:58:15 -07:00 |
|
Leonardo de Moura
|
3f06f7b6fd
|
refactor(kernel): move default_converter to its own module
|
2015-02-07 11:33:37 -08:00 |
|
Leonardo de Moura
|
da481c3274
|
refactor(kernel): explicit initialization/finalization
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-09-24 10:12:28 -07:00 |
|
Leonardo de Moura
|
531046626a
|
refactor(*): explicit initialization/finalization for environment extensions
|
2014-09-22 17:30:29 -07:00 |
|
Leonardo de Moura
|
b6781711b1
|
refactor(*): explicit initialization/finalization for serialization
modules, expression annotations, and tactics
|
2014-09-22 15:26:41 -07:00 |
|