Leonardo de Moura
|
ef28ae5073
|
feat(library/vm/vm_format,library/tactic): use thunks unit->format when producing error messages
|
2016-08-04 19:19:09 -07:00 |
|
Leonardo de Moura
|
61de427699
|
feat(library/init/meta/fun_info): expose fun_info
|
2016-06-22 14:00:00 -07:00 |
|
Leonardo de Moura
|
831a887bdb
|
feat(library/init/meta/format): add trace_fmt
|
2016-06-09 10:51:49 -07:00 |
|
Leonardo de Moura
|
6157c66ac3
|
feat(library/vm/vm): allow vm_external subclasses to use their own memory allocation policy
|
2016-06-06 12:50:55 -07:00 |
|
Leonardo de Moura
|
3b57246a62
|
feat(library/meta/format): add 'pp' helper function
|
2016-06-02 17:57:29 -07:00 |
|
Leonardo de Moura
|
801a57dba1
|
feat(library/vm): expose C++ 'format' object
|
2016-06-02 17:37:27 -07:00 |
|