Leonardo de Moura 98edae152a fix(runtime): replace lean::alloca with macro ... Functions using `alloca` are not inlined even when marked with `inline` in some compilers. Remark: GCC will _not_ inline a function calling alloca unless it is annotated with always_inline.		2019-02-04 09:36:53 -08:00
..
apply.cpp	fix(runtime): replace lean::alloca with macro	2019-02-04 09:36:53 -08:00
apply.h	feat(library/compiler/emit_cpp): emit _apply instruction	2019-01-30 14:37:21 -08:00
CMakeLists.txt	feat(library/compiler/builtin): register io primitives	2018-11-15 16:14:50 -08:00
compact.cpp	chore(runtime): make sure we use the same naming convention for getters and setters	2018-09-09 10:07:00 -07:00
compact.h	chore(*): fix style	2018-08-21 09:32:01 -07:00
compiler_hints.h	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
debug.cpp	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
debug.h	refactor(*): use C++11 std::current_exception and std::rethrow_exception	2018-06-07 16:28:54 -07:00
exception.cpp	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
exception.h	refactor(*): use C++11 std::current_exception and std::rethrow_exception	2018-06-07 16:28:54 -07:00
extensible_object.h	feat(runtime): add object serializer	2018-05-22 16:34:41 -07:00
flet.h	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
init_module.cpp	fix(runtime): add init_module	2018-05-14 20:38:21 -07:00
init_module.h	fix(runtime): add init_module	2018-05-14 20:38:21 -07:00
int64.h	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
interrupt.cpp	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
interrupt.h	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
io.cpp	feat(library/compiler/builtin): register io primitives	2018-11-15 16:14:50 -08:00
io.h	feat(library/compiler/builtin): register io primitives	2018-11-15 16:14:50 -08:00
memory.cpp	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
memory.h	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
mpq.cpp	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
mpq.h	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
mpz.cpp	chore(*): remove redundant code	2018-05-22 16:46:04 -07:00
mpz.h	chore(*): remove redundant code	2018-05-22 16:46:04 -07:00
object.cpp	fix(runtime/object): fix some string primitives	2019-02-01 16:33:11 +01:00
object.h	fix(runtime): replace lean::alloca with macro	2019-02-04 09:36:53 -08:00
optional.h	feat(library/init/lean/elaborator): elaborate constants	2018-12-19 15:04:48 +01:00
serializer.cpp	feat(runtime): implement string.iterator primitives in the new runtime	2018-11-15 10:42:23 -08:00
serializer.h	feat(runtime/serializer): support for tasks	2018-08-18 14:52:29 -07:00
sstream.h	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
stackinfo.cpp	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
stackinfo.h	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
thread.cpp	refactor(*): add runtime folder	2018-05-14 14:23:56 -07:00
thread.h	fix(runtime/thread): MULTI_THREAD=OFF build	2018-08-28 08:08:55 -07:00
utf8.cpp	fix(*): truncation bugs	2018-06-15 16:05:11 -07:00
utf8.h	fix(*): truncation bugs	2018-06-15 16:05:11 -07:00