Leonardo de Moura
|
651c5d6751
|
Fix warnings and bugs related to unused variables.
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-09-19 22:41:07 -07:00 |
|
Soonho Kong
|
ab6ca82e6f
|
Update to suppress unused-parameter warnings
|
2013-09-19 22:40:34 -07:00 |
|
Leonardo de Moura
|
80a1b96925
|
Remove duplicate solutions in the higher order matching module. Simplify solutions when higher-order matching is used, and we don't have a residue.
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-09-19 18:59:28 -07:00 |
|
Leonardo de Moura
|
ffef055e34
|
Add options to ho_unifier
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-09-19 18:19:25 -07:00 |
|
Leonardo de Moura
|
8c5c17ee12
|
Fix typo
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-09-19 16:30:37 -07:00 |
|
Leonardo de Moura
|
42482622f6
|
Add imitation for lambdas and Pis
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-09-19 16:28:23 -07:00 |
|
Leonardo de Moura
|
4afeb1a400
|
Add imitation step for equalities.
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-09-19 16:28:23 -07:00 |
|
Leonardo de Moura
|
b3aa8b37f3
|
Remove cleanup_subst. The residue may still reference auxiliary variable. So, it is not safe to remove then from the resultant partial substitution.
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-09-19 16:28:23 -07:00 |
|
Leonardo de Moura
|
d7cc5d2404
|
Fix bug in ho_unifier
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-09-19 16:28:23 -07:00 |
|
Leonardo de Moura
|
2f29ff70d7
|
Implement higher-order unification
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-09-18 20:46:00 -07:00 |
|
Leonardo de Moura
|
22949051f1
|
Higher-order unifier skeleton
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-09-17 14:43:07 -07:00 |
|