Higher-order unifier skeleton

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Use consistent naming conventions

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Implement higher-order unification

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Update memcheck.supp, add a new suppression rule for 32bit ubuntu

[skip ci]
Update ubuntu-12.04-detailed.md

- add ppa to install latest version of cmake. old version which came with ubuntu-12.04 has a problem with valgrind.
[skip ci]
Fix bug in ho_unifier

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
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>
Add imitation step for equalities.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add imitation for lambdas and Pis

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add options to ho_unifier

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
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>
Update to suppress unused-parameter warnings
Update cpplint.py, disable "All parameters should be named in a function"
Fix warnings and bugs related to unused variables.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Enable "-Wextra" compiler option and fix code to remove warnings

"-Wextra" option turns on the following warnings:
 -Wclobbered
 -Wempty-body
 -Wignored-qualifiers
 -Wmissing-field-initializers
 -Wmissing-parameter-type (C only)
 -Wold-style-declaration (C only)
 -Woverride-init
 -Wsign-compare
 -Wtype-limits
 -Wuninitialized
 -Wunused-parameter (only with -Wunused or -Wall)
 -Wunused-but-set-parameter (only with -Wunused or -Wall)
Remove invalid use of register

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix wrong message in tcmalloc detection code

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix bugs in Tcmalloc detection.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>