lean4-htt/src
2018-04-12 16:43:10 -07:00
..
checker feat(kernel/expr): allow metavariables to have user-facing names 2017-07-16 07:16:41 -07:00
cmake feat(build): add preliminary MSVC support 2018-02-06 10:11:09 -08:00
frontends/lean fix(frontends/lean/definition_cmds): fixes #1956 2018-04-11 16:48:04 -07:00
init chore(util,library): remove small_object_allocator 2018-04-12 16:43:10 -07:00
kernel chore(util): remove dead code 2018-04-12 16:43:10 -07:00
library chore(util): remove dead code 2018-04-12 16:43:10 -07:00
shared
shell chore(shell/CMakeLists): disable leanpkg tests 2018-04-12 13:54:49 +02:00
tests chore(util): remove dead code 2018-04-12 16:43:10 -07:00
util chore(util): remove dead code 2018-04-12 16:43:10 -07:00
CMakeLists.txt chore(*): remove C API 2018-04-10 16:48:02 -07:00
CTestConfig.cmake
CTestCustom.cmake.in
Doxyfile
githash.h.in fix(library): store and validate Lean version of .olean files 2018-01-23 11:14:18 -08:00
memcheck.supp
version.h.in chore(leanpkg/lean_version): recognize nightlies as releases separate from master 2018-03-20 15:14:45 -07:00