Leonardo de Moura e2999d3ff6 feat(*): add component name to check_stack and check_system ... I also reduced the stack size to 8 Mb in the tests at tests/lean and tests/lean/slow. The idea is to simulate stackoverflow conditions. Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2013-12-07 15:11:55 -08:00
..
CMakeLists.txt	Move sexpr_funcs to sexpr_fn. Using consistent file name conventions.	2013-09-12 18:27:46 -07:00
format.cpp	feat(*): add component name to check_stack and check_system	2013-12-07 15:11:55 -08:00
format.h	chore(*): use 'explicit operator bool' everywhere.	2013-12-02 23:02:45 -08:00
option_declarations.h	Apply coding style	2013-09-13 18:48:09 -07:00
options.cpp	refactor(frontends/lua): add lua_migrate_fn, and make copy_values modular	2013-11-27 10:32:19 -08:00
options.h	refactor(bindings/lua): move Lua bindings to the file associated with them	2013-11-26 19:15:56 -08:00
register_module.h	refactor(frontends/lua): rename leanlua_state to script_state, and move it to util	2013-11-27 14:57:36 -08:00
sexpr.cpp	doc(lua): add S-expression documentation	2013-11-28 10:33:32 -08:00
sexpr.h	chore(*): use 'explicit operator bool' everywhere.	2013-12-02 23:02:45 -08:00
sexpr_fn.cpp	Use fullpath in #include directives, add missing STL headers	2013-09-13 03:35:29 -07:00
sexpr_fn.h	Use fullpath in #include directives.	2013-09-12 20:04:10 -07:00