Sebastian Ullrich 544b704a25 test: add Lake tests		2023-07-21 09:19:19 +02:00
..
bin	chore: lean-gdb: recursive values & tag	2022-06-26 18:47:47 +02:00
cmake
include/lean	feat: LLVM backend (#1837)	2022-12-30 12:45:30 +01:00
Init	refactor: simplify String.splitOnAux (#2271)	2023-07-19 11:50:27 +00:00
initialize	fix: calling convention for module initializers	2023-07-10 09:00:17 -07:00
kernel	feat: use nat_pow in the kernel	2023-07-10 09:01:14 -07:00
lake	test: add Lake tests	2023-07-21 09:19:19 +02:00
Lean	chore: better error message for loose bvar in whnf	2023-07-20 13:47:20 -07:00
library	feat: reorder tc subgoals according to out-params	2023-04-10 13:00:04 -07:00
runtime	feat: use nat_pow in the kernel	2023-07-10 09:01:14 -07:00
shell	test: add Lake tests	2023-07-21 09:19:19 +02:00
util	fix: calling convention for module initializers	2023-07-10 09:00:17 -07:00
CMakeLists.txt	fix: ship libLake.a	2023-07-21 09:19:19 +02:00
config.h.in
githash.h.in
Init.lean	chore: move Bootstrap.Dynamic -> Init.Dynamic	2022-09-02 04:36:54 -07:00
Lean.lean	feat: add linter.deprecated option to silence deprecation warnings	2022-10-23 21:11:57 +02:00
lean.mk.in	chore: lean.mk: re-suppress find error messages	2022-11-20 19:55:09 +01:00
Leanc.lean	chore: fix typo in CLI usage (--ldlags) (#1947)	2022-12-14 10:20:50 +01:00
stdlib.make.in	fix: ship libLake.a	2023-07-21 09:19:19 +02:00
stdlib_flags.h	chore: parseQuotWithCurrentStage and quotPrecheck	2022-11-11 13:45:41 +01:00
version.h.in