Henrik Böving fe63bd2e8e feat: basic pass manager		2022-08-31 16:28:07 -07:00
..
bin
Bootstrap	chore: move Bootstrap.Data -> Lean.Data	2022-08-31 11:48:57 -07:00
cmake
include/lean	feat: add more float functions	2022-08-12 13:12:59 -07:00
Init	refactor: Init.SimpLemmas proof golf / cleanup	2022-08-31 11:27:58 -07:00
initialize	chore: move Std -> Bootstrap	2022-08-29 01:26:12 -07:00
kernel	perf: improve lazy_delta_reduction_step heuristic	2022-07-24 11:48:45 -07:00
lake@6b0abded61	chore: move Bootstrap.Data -> Lean.Data	2022-08-31 11:48:57 -07:00
Lean	feat: basic pass manager	2022-08-31 16:28:07 -07:00
library	fix: elim_scalar_array_cases	2022-07-24 14:46:46 -07:00
runtime	refactor: generalize ShareCommon to a typeclass (#1537)	2022-08-29 09:34:38 -07:00
shell
util	feat: forward all args to server	2022-07-28 15:58:32 +02:00
Bootstrap.lean	chore: move Bootstrap.Data -> Lean.Data	2022-08-31 11:48:57 -07:00
CMakeLists.txt	chore: move Std -> Bootstrap	2022-08-29 01:26:12 -07:00
config.h.in
githash.h.in
Init.lean	chore: move ShareCommon to Init / Lean	2022-08-30 07:51:43 -07:00
Lean.lean	feat: add [deprecated] attribute	2022-07-24 18:06:03 -07:00
lean.mk.in
Leanc.lean	chore: unused variable warningns	2022-07-09 07:52:59 -07:00
stdlib.make.in	chore: move Std -> Bootstrap	2022-08-29 01:26:12 -07:00
stdlib_flags.h
version.h.in