max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src
History
Siddharth Bhat 073c8fed86 feat: LLVM backend: support for visibility Style & DLL storage 
Changes peeled from:
https://github.com/leanprover/lean4/pull/2340

to allow a `stage0` bump on master before merging in the
changes that allow LLVM to build in stage1+.
2023-07-25 11:03:16 +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 style: remove unnecessary space characters 2023-07-23 16:11:11 +02: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 feat: LLVM backend: support for visibility Style & DLL storage 2023-07-25 11:03:16 +02:00
library feat: LLVM backend: support for visibility Style & DLL storage 2023-07-25 11:03:16 +02:00
runtime feat: add IO.FS.rename 2023-07-22 23:21:32 +02: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