Rename sexpr eqp to is_eqp

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Enable automatic coercion from 'char const *' to hierachical name

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

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add support for cygwin

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add instructions for cygwin

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add scoped_map. Cache type checker results.

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix bug in has_free_vars_fn. Add optimization to type_checker.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add regression test to expose bug fixed in previous commit.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix performance problem in has_free_var. Add new test at src/tests/kernel/free_vars.cpp that exposes the problem.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix nasty crash that only happens when using cygwin.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Remove Flex/Bison requirement, we will not use them.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Update CMakeLists.txt to support OSX + Clang