Leonardo de Moura 2c3e3cb544 refactor(kernel/abstract): add abstract_locals, and remove abstract_p ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2014-06-21 12:25:54 -07:00
..
CMakeLists.txt	chore(*): remove dead code	2014-06-06 10:35:17 -07:00
environment.cpp	refactor(kernel): add mk_local function that has only two arguments	2014-06-16 14:27:26 -07:00
expr.cpp	refactor(kernel/abstract): add abstract_locals, and remove abstract_p	2014-06-21 12:25:54 -07:00
free_vars.cpp	refactor(kernel): improve names	2014-05-16 11:28:05 -07:00
instantiate.cpp	refactor(kernel): the type in let-exprs is not optional anymore, if the user does not provide it, we use a metavariable	2014-03-18 10:27:55 -07:00
level.cpp	refactor(kernel): (de)serialization procedures don't need to be in the kernel	2014-05-15 17:23:36 -07:00
max_sharing.cpp	feat(kernel/expr): add optional expression caching (aka "partial" hash-consing)	2014-06-03 15:35:47 -07:00
metavar.cpp	fix(tests/kernel/metavar): typo	2014-05-01 12:58:09 -07:00
replace.cpp	refactor(kernel): improve names	2014-05-16 11:28:05 -07:00