Leonardo de Moura 346c4beb70 feat: elaborate opaque command		2022-06-14 16:36:24 -07:00
..
bin	chore: fix USE_GMP=OFF by removing GMP linking customization	2022-03-26 16:29:52 +01:00
cmake
include/lean	fix: compiled string literals containing null bytes	2022-05-17 09:24:34 -07:00
Init	feat: allow conv mode's arg command to access implicit arguments	2022-06-14 16:15:38 -07:00
initialize
kernel	perf: efficient unsigned hash(expr const & e)	2022-03-15 07:15:00 -07:00
lake@e4f0574f38	chore: adjust codebase	2022-06-14 16:32:53 -07:00
Lean	feat: elaborate opaque command	2022-06-14 16:36:24 -07:00
library	fix: another specialize.cpp bug	2022-05-25 20:36:18 -07:00
runtime	fix: compiled string literals containing null bytes	2022-05-17 09:24:34 -07:00
shell	chore: fix USE_GMP=OFF by removing GMP linking customization	2022-03-26 16:29:52 +01:00
Std	feat: RBTree.union/diff	2022-06-13 11:12:51 +02:00
util	fix: forward lean options to workers	2022-06-03 13:03:52 +02:00
CMakeLists.txt	chore: add option to exclude 'LICENSE' files from 'make install'	2022-05-25 12:39:30 +02:00
config.h.in
githash.h.in
Init.lean	chore: split Notation.lean	2022-05-09 05:20:19 -07:00
Lean.lean	refactor: move Lean.PrettyPrinter.Delaborator.SubExpr to Lean.SubExpr	2022-06-03 12:38:14 -07:00
lean.mk.in	feat: build .ilean files next to .olean files	2022-01-14 09:18:57 +01:00
Leanc.lean	chore: fix USE_GMP=OFF by removing GMP linking customization	2022-03-26 16:29:52 +01:00
Std.lean
stdlib.make.in	chore: fix USE_GMP=OFF by removing GMP linking customization	2022-03-26 16:29:52 +01:00
stdlib_flags.h	Revert "chore: prefer native"	2021-10-26 20:19:27 +02:00
version.h.in