Add missing test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Modify the parser for accepting expressions such as: 'fun a b, f a b', 'forall a, f a > 0', etc. This is just syntax sugar for 'fun (a : _) (b : _), f a b' and 'forall a : _, f a > 0'

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix bug when pretty printing function applications where the head is a meta-variable.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Use expected type of a definition in the elaborator. Improve elaborator solver. Add new example

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Make example 1 less symmetric

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Define divides, and add examples

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Define absolute value function and notation for it. Add new example.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Move examples to lean examples subdir. We should have an example subdirectory for each frontend

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Factor duplicate code. Add more comments

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add build instructions for Fedora19
Use my.cdash.org to store results of unittests, coverage, and valgrind
Use my.cdash.org to store results of unittests, coverage, and valgrind
Fix bug reported by Valgrind. Reason: m_metavars is a vector of metavar_info; each metavar_info has a context; when we invoke mk_metavar the vector can grow in size, and the context is moved to a new location. The previous location is invalidated. To avoid the problem we have to save ctx in a local variable.

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

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Use cdash on cmacslab2 machine due to 10-build per day restriction
Supress gcc warnings on OS X
Fix test coverage problem by forcing to use gcov-4.8
Add MEMCHECK to linux-clang-3.3 build
Update README.md to switch to cdash on CMU machine

[skip ci]