Sebastian Ullrich fe2e95def3 fix(library/module_mgr): Revert "feat(library/module_mgr): save .olean files of non-dirty .lean files in server mode" ... This reverts commit 18c2e3739a. The change introduced a bug where a .olean file may have been saved even if the corresponding module had produced errors during processing, as long as these errors were not part of the current region of interest.		2018-02-05 14:36:27 +01:00
..
api	feat(kernel/expr): allow metavariables to have user-facing names	2017-07-16 07:16:41 -07:00
checker	feat(kernel/expr): allow metavariables to have user-facing names	2017-07-16 07:16:41 -07:00
cmake	chore(*): remove last remnants of mpfr	2017-02-24 21:42:58 +01:00
frontends/lean	fix(frontends/lean/elaborator): fix build	2018-02-02 20:53:24 +01:00
init	chore(frontends/smt2): remove SMT2 frontend	2018-01-24 15:21:52 -08:00
kernel	chore(*): annotate candidates for thread local cache reset	2018-02-01 14:59:37 -08:00
library	fix(library/module_mgr): Revert "feat(library/module_mgr): save .olean files of non-dirty .lean files in server mode"	2018-02-05 14:36:27 +01:00
shared	fix(shared/init): shared library initialization	2016-12-05 16:48:29 -08:00
shell	fix(library/module_mgr): Revert "feat(library/module_mgr): save .olean files of non-dirty .lean files in server mode"	2018-02-05 14:36:27 +01:00
tests	chore(util/lp): remove lp module	2018-01-23 12:18:30 -08:00
util	chore(*): annotate candidates for thread local cache reset	2018-02-01 14:59:37 -08:00
CMakeLists.txt	fix(CMakeLists): emscripten build	2018-02-01 15:12:43 +01: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