Leonardo de Moura
|
ee196bbf1a
|
fix(frontends/lean/pp): pretty printing coercions to functions, fixes #151
|
2014-09-09 12:49:32 -07:00 |
|
Leonardo de Moura
|
ed299c0914
|
feat(library/coercion): add has_coercions_to function
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-06-26 18:38:27 -07:00 |
|
Leonardo de Moura
|
52ff29a6f7
|
feat(frontends/lean): add 'coercion' command
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-06-26 08:08:39 -07:00 |
|
Leonardo de Moura
|
2d31c6c0b2
|
feat(library/coercion): improve get_user_coercions API
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-05-25 11:35:47 -07:00 |
|
Leonardo de Moura
|
ef14c3d67e
|
fix(library/coercion): coercion replacement
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-05-25 09:49:26 -07:00 |
|
Leonardo de Moura
|
fc1819aadd
|
test(lua): coercion serialization
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-05-25 08:38:50 -07:00 |
|
Leonardo de Moura
|
e9e61fec51
|
feat(library/coercion): add for_each_coercion procedure
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-05-25 07:45:49 -07:00 |
|
Leonardo de Moura
|
6536232107
|
feat(library/coercion): expose coercion module in the Lua API
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-05-25 06:05:31 -07:00 |
|
Leonardo de Moura
|
2be9bcef78
|
feat(library/coercion): add coercion management implementation
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-05-24 19:28:42 -07:00 |
|
Leonardo de Moura
|
2e3ffea2ec
|
feat(library): add new coercion API
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2014-05-15 16:50:12 -07:00 |
|