Leonardo de Moura 905b94311b fix(library/init/lean/compiler/ir/borrow): tail call preservation		2019-05-19 17:08:51 -07:00
..
cmake
frontends/lean	chore(*): get_obj_arg => to_obj_arg	2019-05-16 14:42:02 -07:00
init	feat(kernel/environment): environment as a Lean object	2019-05-13 12:41:33 -07:00
kernel	chore(*): get_obj_arg => to_obj_arg	2019-05-16 14:42:02 -07:00
library	feat(library/init/lean/compiler/ir): explicit RC	2019-05-19 16:46:51 -07:00
runtime	feat(runtime): inline hot path small object allocation	2019-05-17 10:12:43 -07:00
shared
shell	chore(*): get_obj_arg => to_obj_arg	2019-05-16 14:42:02 -07:00
stage0	fix(library/init/lean/compiler/ir/borrow): tail call preservation	2019-05-19 17:08:51 -07:00
tests/util	refactor(util/sexpr): move options and option_declarations to util	2019-05-16 14:37:24 -07:00
util	chore(*): get_obj_arg => to_obj_arg	2019-05-16 14:42:02 -07:00
CMakeLists.txt	chore(tests): remove old tests	2019-05-13 12:43:11 -07:00
config.h.in	feat(CMakeLists): put configuration options relevant to leanc at config.h	2019-04-27 21:04:41 -07:00
CTestConfig.cmake
CTestCustom.cmake.in
Doxyfile
githash.h.in
memcheck.supp
version.h.in