Update src/CmakeLists.txt - only check style over files starting with [A-z]
Fix memcheck.supp problem
Use unsigned short for the type of interval::bound_deps
Add static assertion to util/safe_arith.cpp
Fix typo in .travis.yml
Fix cpplint warning in util/safe_arith.cpp
Fix bug in normalizer. We must create a scope whenever we extend the value stack.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add support for metavariables in the normalizer.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Simplify metavariable context. Now, we have only 'lift' and 'inst' instead of 'subst', 'lift' and 'lower'

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

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