Leonardo de Moura
487a1e7f89
refactor(kernel): remove extension_context
...
We replaced it with abstract_type_context
2016-03-19 15:15:39 -07:00
Leonardo de Moura
7d61f640f6
refactor(*): add abstract_type_context class
2016-02-26 14:17:34 -08:00
Daniel Selsam
58d41e486c
feat(library/trace): register debug trace class
2016-01-13 15:15:15 -08:00
Leonardo de Moura
b7de10a6d2
feat(library/trace): allow user to disable subclasses of a trace class
...
Example:
set_option trace.blast true -- enables trace.blast class and all subclasses
set_option trace.blast.action false -- disables the given subclass
Result: all blast classes are traced but blast.action
2015-12-11 11:03:16 -08:00
Leonardo de Moura
429527eb72
refactor(library/blast): move to new tracing infrastructure
2015-12-08 19:37:06 -08:00
Leonardo de Moura
370f9a6eec
fix(library/trace): use null output channel when trace environment is not set
...
This is important when multiple threads are being used, and the trace
environment is not set for a child thread
2015-12-08 18:37:57 -08:00
Leonardo de Moura
58ab526d44
feat(library/type_context): use new tracing infrastructure in new type class resolution procedure
2015-12-08 14:34:20 -08:00
Leonardo de Moura
e5a6bc5b85
feat(library/blast/simplifier/simplifier): move to new tracing framework
2015-12-08 12:59:30 -08:00
Leonardo de Moura
6b1469264d
feat(library/trace): add new tracing infrastructure
2015-12-08 11:58:03 -08:00
