Leonardo de Moura 1999db1d7c test: add test for performance issue ... This issue has bee reported at https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/deterministic.20timeout.20with.20structures/near/288180087		2022-07-04 07:20:12 -07:00
..
bench	chore: fix tests	2022-07-02 15:25:06 -07:00
compiler	chore: fix tests	2022-06-14 17:27:13 -07:00
elabissues
ir
lean	test: add test for performance issue	2022-07-04 07:20:12 -07:00
pkg	chore: fix tests	2022-07-02 10:37:22 +02:00
playground
plugin
simpperf
.gitignore
common.sh	feat: print panic backtraces on Linux	2022-06-29 16:29:35 +02:00