Nuno Lopes a69541ab67 fix(msvc): crashes in getopt and read_dir		2018-02-06 10:11:10 -08: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	feat(build): add preliminary MSVC support	2018-02-06 10:11:09 -08:00
frontends/lean	fix(msvc): further work on MSVC port	2018-02-06 10:11:10 -08:00
init	chore(frontends/smt2): remove SMT2 frontend	2018-01-24 15:21:52 -08:00
kernel	feat(msvc): further work on MSVC compatibility	2018-02-06 10:11:09 -08:00
library	fix(msvc): fix a few more compilation errors	2018-02-06 10:11:10 -08:00
shared
shell	fix(msvc): crashes in getopt and read_dir	2018-02-06 10:11:10 -08:00
tests	fix(msvc): fix linking of .exe	2018-02-06 10:11:10 -08:00
util	fix(msvc): crashes in getopt and read_dir	2018-02-06 10:11:10 -08:00
CMakeLists.txt	fix(msvc): crashes in getopt and read_dir	2018-02-06 10:11:10 -08: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